可变参数模板允许函数类型安全地处理任意数量和类型的参数，通过递归或初始化列表展开参数包，可用于日志、工厂函数等场景，提升代码灵活性与安全性。
在C++11之前，处理不定数量的参数通常依赖于C风格的va_list机制，这种方式类型不安全且使用复杂。C++11引入了可变参数模板（Variadic Templates），让函数可以类型安全地接受任意数量和类型的参数，极大提升了灵活性和安全性。
什么是可变参数模板
可变参数模板允许模板定义中包含零个或多个参数的参数包（parameter pack）。通过递归展开或折叠表达式，可以在编译期处理这些参数。
基本语法如下：
templatevoid func(Args... args) {
// 处理参数包
}
其中Args...是模板参数包，args...是函数参数包。
立即学习“C++免费学习笔记（深入）”；
如何展开参数包
由于不能直接遍历参数包，必须通过某种方式展开。常见方法有递归和逗号表达式+初始化列表。
1. 递归展开
将参数包分解为第一个参数和剩余部分，递归处理：
templatevoid print(T t) {
std::cout }
template
void print(T t, Args... args) {
std::cout print(args...);
}
调用print(1, "hello", 3.14)会依次输出每个值。
2. 使用初始化列表展开（C++17前常用技巧）
利用数组构造时的求值顺序，配合逗号表达式实现非递归展开：
template
void print(Args... args) {
std::initializer_list
这里的...会展开每个参数对应的表达式，(void)可用来避免编译器警告。
实际应用场景
可变参数模板不只是用来打印，还能构建更实用的功能。
日志函数
封装带时间戳的日志输出：
templatevoid log_info(Args... args) {
auto time_str = [](){ /* 获取当前时间字符串 */ };
std::cout std::initializer_list
构造对象并转发参数
结合完美转发，可用于工厂函数：
templatestd::unique_ptr
return std::make_unique
}
这个包装能确保异常安全，同时支持任意构造参数。
注意事项与技巧
使用可变参数模板时要注意以下几点：
- 参数包必须在模板声明中出现在最后
- 展开时注意表达式的副作用和求值顺序
- 递归可能导致深层调用栈，编译时间增加
- 错误信息可能较长，调试时需耐心分析
- 可用
sizeof...(Args)获取参数数量
基本上就这些。掌握可变参数模板后，你会发现很多以前需要用宏或重复代码解决的问题，现在可以用更优雅、类型安全的方式实现。关键是理解参数包的展开机制，并选择合适的模式来处理实际需求。
