可变参数模板通过template定义，利用参数包和递归或折叠表达式处理任意数量类型参数。示例中print函数使用C++17折叠表达式(std::cout
在C++中，可变参数模板函数允许你定义一个能接受任意数量、任意类型参数的函数。这主要通过参数包（parameter pack）和递归展开或折叠表达式来实现。下面介绍其定义方式与常见用法。
可变参数模板的基本语法
使用template
函数参数中的args...称为参数包，...被称为“包扩展”操作符。
示例：定义一个简单的打印函数#includetemplate void print(Args... args) { (std::cout << ... << args) << std::endl; // C++17 折叠表达式 }
调用方式：
立即学习“C++免费学习笔记（深入）”；
print("Hello", 42, 3.14, 'A'); // 输出: Hello423.14A
使用递归处理参数包（适用于C++11/14）
在没有折叠表达式的老标准中，常用递归方式逐个处理参数。
// 终止函数：当参数包为空时调用
void print() {
std::cout << std::endl;
}
// 递归主函数
template
void print(T first, Args... rest) {
std::cout << first << " ";
print(rest...);
}
这样每次取出第一个参数输出，再将剩余参数递归传递。
参数包的展开方式
参数包不能直接遍历，必须通过某种方式展开。常见方法包括：
- 函数参数展开：如func(args...)
- 初始化列表展开：常用于逗号表达式执行多次操作
- 折叠表达式（C++17）：支持(expr op ...)形式，简化代码
templatevoid print(Args... args) { int dummy[] = { (std::cout << args << " ", 0)... }; static_cast (dummy); // 避免警告 std::cout << std::endl; }
实际应用场景
可变参数模板广泛用于：
- 日志函数：支持动态参数输出
- 工厂函数：转发参数创建对象（配合完美转发）
- 断言或调试工具：携带上下文信息
templatevoid log(const std::string& level, Args... args) { std::cout << "[" << level << "] "; (std::cout << ... << args) << std::endl; }
调用：log("ERROR", "File not found: ", filename);
基本上就这些。掌握参数包的定义、展开和递归结构，就能灵活使用C++可变参数模板。注意区分C++11/14与C++17在语法上的简化差异。
