可变参数模板通过template<typename… Args>定义，利用参数包和递归或折叠表达式处理任意数量类型参数。示例中print函数使用c++17折叠表达式(std::cout << … << args)简化输出，或在C++11/14中采用递归方式逐个处理参数：主函数提取首个参数输出后递归调用剩余参数，终止函数处理空包。参数包可通过函数参数、初始化列表（如int dummy[] = {(std::cout << args << ” “, 0)…}）或折叠表达式展开。常见应用包括日志函数（如带级别前缀的log）、工厂模式中的完美转发及调试工具。关键在于掌握参数包的定义、展开机制与递归结构，并注意C++标准版本间的语法差异。
在C++中，可变参数模板函数允许你定义一个能接受任意数量、任意类型参数的函数。这主要通过参数包（parameter pack）和递归展开或折叠表达式来实现。下面介绍其定义方式与常见用法。
可变参数模板的基本语法
使用template<typename… Args>定义一个可变参数模板，其中Args是一个类型参数包，表示零个或多个类型。
函数参数中的args…称为参数包，…被称为“包扩展”操作符。
示例：定义一个简单的打印函数
#include <iostream> template<typename... Args> 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<typename T, typename... Args> void print(T first, Args... rest) { std::cout << first << " "; print(rest...); }
这样每次取出第一个参数输出，再将剩余参数递归传递。
参数包的展开方式
参数包不能直接遍历，必须通过某种方式展开。常见方法包括：
- 函数参数展开：如func(args…)
- 初始化列表展开：常用于逗号表达式执行多次操作
- 折叠表达式（C++17）：支持(expr op …)形式，简化代码
示例：用初始化列表实现打印（C++11兼容）
template<typename... Args> void print(Args... args) { int dummy[] = { (std::cout << args << " ", 0)... }; static_cast<void>(dummy); // 避免警告 std::cout << std::endl; }
实际应用场景
可变参数模板广泛用于：
示例：带前缀的日志函数
template<typename... Args> void 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在语法上的简化差异。