可变参数模板通过typename...定义参数包，利用...展开并结合递归或初始化列表处理，可实现通用函数如打印、元组构造等。
在C++11中，可变参数模板（variadic templates）允许模板接受任意数量和类型的参数。这种机制特别适合实现泛型编程，比如编写通用的工厂函数、日志记录器或递归数据结构。要掌握如何在模板中使用可变参数模板，关键在于理解参数包（parameter pack）的展开方式。
可变参数模板的基本语法
定义一个可变参数模板时，使用typename...或class...来声明模板参数包，用...来表示函数参数包：
template<typename... Args>
void func(Args... args) {
// args 是一个参数包
}
这里的Args是类型参数包，args是函数参数包，可以包含零个或多个参数。
参数包的展开
直接使用参数包会报错，必须对其进行“展开”。最常见的展开方式是在函数调用、初始化列表或递归中使用...操作符：
立即学习“C++免费学习笔记（深入）”；
- 在函数调用中展开所有参数：print(args...);
- 在初始化列表中构造数组或元组：int arr[] = {args...};
- 递归处理每个参数，直到参数包为空
例如，实现一个简单的打印函数：
template<typename T>
void print(T t) {
std::cout << t << std::endl;
}
template<typename T, typename... Args>
void print(T t, Args... args) {
std::cout << t << ", ";
print(args...); // 递归展开
}
调用print(1, "hello", 3.14)会依次输出各个值。
结合std::tuple和完美转发
可变参数模板常与std::tuple和std::forward一起使用，实现高效的数据存储和传递：
template<typename... Args>
auto make_tuple(Args&&... args)
-> std::tuple<Args...> {
return std::tuple<Args...>{std::forward<Args>(args)...};
}
这里Args&&...是万能引用参数包，std::forward<Args>(args)...对每个参数进行完美转发，保持其左值/右值属性。
基本上就这些。只要理解参数包的定义、展开和递归处理方式，就能灵活运用可变参数模板实现各种通用接口。不复杂但容易忽略细节，比如逗号的位置和递归终止条件。
