可变参数模板允许接受任意数量和类型的参数，通过参数包Args...和args...定义，利用递归或C++17折叠表达式展开，常用于类型安全的日志、工厂、元组等场景。
可变参数模板（Variadic Templates）是C++11引入的重要特性，允许模板接受任意数量、任意类型的参数。它极大增强了泛型编程的灵活性，常用于实现类型安全的参数包处理，比如日志函数、工厂模式、元组构造等场景。
基本语法与参数包操作
可变参数模板的核心是参数包（parameter pack），通过省略号 ... 来定义和展开。
templatevoid func(Args... args) {
// args 是一个参数包
return;
}
上面的 Args... 表示类型参数包，args... 表示函数参数包。要使用这些参数，必须对其进行“展开”。
常见展开方式：
立即学习“C++免费学习笔记（深入）”；
- 直接传递： some_function(args...); —— 将所有参数原样转发
- 结合初始化列表：用于逐个处理参数，例如递归或计算
- 结构化绑定（C++17起更方便，但基础仍依赖参数包）
递归展开参数包
由于不能直接遍历参数包，常用递归方式逐个处理。
templatevoid print(T t) {
std::cout }
template
void print(T t, Args... args) {
std::cout print(args...); // 递归调用剩余参数
}
调用 print(1, "hello", 3.14); 会依次输出每个值。第一个匹配可变模板版本，最后一个调用单参数终止版本。
使用fold expressions（折叠表达式，C++17）简化代码
C++17 引入了折叠表达式，让参数包处理更简洁。
templatevoid print_fold(Args... args) {
(std::cout // 一元右折叠
}
上面的 (std::cout 等价于 std::cout 。支持左折叠和右折叠，适用于支持二元运算的操作。
也可用于逻辑判断或数学运算：
templatebool all_true(Args... args) {
return (... && args); // 所有参数为true才返回true
}
完美转发多个参数
结合 std::forward 可实现参数的完美转发，常用于工厂函数或包装器。
templatestd::unique_ptr
return std::make_unique
}
这里的 std::forward
使用示例：
auto ptr = make_unique_ptr
