可变参数模板通过template声明参数包，利用args...展开并结合递归或折叠表达式处理任意数量类型。
在C++中，实现可变参数模板函数依赖于可变参数模板（variadic templates）和参数包展开（parameter pack expansion）。这种机制允许函数接受任意数量、任意类型的参数，是编写通用工具如日志输出、构造器转发等场景的重要手段。
基本语法：定义可变参数模板函数
使用template声明一个类型参数包，其中Args是一个参数包，可以匹配零个或多个类型。
templatevoid print(Args... args) { // args 是一个值参数包 }
这里的Args...称为参数包，args...表示对应的实参包。
参数包的展开方式
直接使用args...会将所有参数原样展开。常见展开方法包括：
立即学习“C++免费学习笔记（深入）”；
- 表达式展开：在支持逗号表达式的上下文中逐个处理
- 递归调用：通过模式匹配分解参数包
- 折叠表达式（C++17）：简化对参数包的二元操作
例如，使用逗号运算符配合初始化列表实现逐个打印：
#includetemplate
void log(const T& value) { std::cout << value << " "; } template
void print(Args... args) { (log(args), ...); // C++17 左折叠，依次调用 log std::cout << "\n"; }
若使用C++11/14，可用递归方式分解参数包：
// 终止函数：处理空参数包
void print() {
std::cout << "\n";
}
// 递归主体
template
void print(T first, Args... rest) {
std::cout << first << " ";
print(rest...); // 递归展开剩余参数
}
实际应用场景举例
可变参数模板常用于构建类型安全的日志、格式化字符串或完美转发到其他函数。
比如封装一个调试日志函数：
templatevoid debug_log(const char* fmt, Args... args) { printf(fmt, args...); // 简单转发给 printf（注意类型安全） std::cout << "\n"; }
更安全的做法是结合std::forward进行完美转发：
templatevoid forward_call(void(*func)(Args...), Args&&... args) { func(std::forward (args)...); }
参数包也可用于构造对象时转发参数：
templatestd::unique_ptr make_unique(Args&&... args) { return std::unique_ptr (new T(std::forward (args)...)); }
基本上就这些。掌握参数包的声明、展开与递归控制，就能灵活运用可变参数模板解决实际问题。关键是理解...的位置含义：它既能打包也能解包，取决于上下文。
