可变参数模板通过递归和折叠表达式解包参数包，C++11使用递归或逗号表达式展开，C++17引入折叠表达式简化操作，提升代码简洁性与效率。
可变参数模板是C++11引入的重要特性，它允许模板接受任意数量和类型的参数。这一机制为编写通用、灵活的代码提供了强大支持，尤其在实现泛型库、日志系统、工厂模式等场景中非常实用。核心在于如何正确解包参数包（parameter pack），常见方式包括模板递归和C++17引入的折叠表达式（fold expression）。
模板递归解包参数包
在C++11中，由于没有折叠表达式，处理参数包主要依赖函数重载与递归展开。基本思路是将参数包拆分为第一个参数和剩余参数包，逐层递归直到参数包为空。
例如，打印所有参数：
#include <iostream>
// 递归终止函数：无参数版本
void print() {
std::cout << std::endl;
}
// 可变参数模板函数
template<typename T, typename... Args>
void print(T first, Args... args) {
std::cout << first << " ";
print(args...); // 递归调用，逐步解包
}
调用 print(1, "hello", 3.14) 会依次输出每个值。每次调用取出一个参数，直到最后调用无参版本结束递归。
立即学习“C++免费学习笔记（深入）”；
使用逗号表达式与参数包展开
虽然C++11不支持折叠表达式，但可以通过逗号运算符和初始化列表技巧模拟“遍历”效果。这种方法避免了函数调用开销，适合简单操作。
例如，实现不递归的打印：
template<typename... Args>
void print(Args... args) {
(std::cout << ... << args) << std::endl; // C++17 fold expression
}
但在C++11中可改写为：
template<typename... Args>
void print(Args... args) {
int dummy[] = { (std::cout << args << " ", 0)... };
static_cast<void>(dummy); // 避免警告
std::cout << std::endl;
}
这里利用初始化列表对每个参数执行 cout 操作，逗号表达式确保输出行为发生，而数组元素被初始化为0。这种技巧广泛用于C++11兼容代码中。
折叠表达式（C++17）简化代码
C++17引入折叠表达式，极大简化了参数包的处理。语法形式为 (... op args) 或 (args op ...)，支持一元左/右折叠、二元折叠。
例如，计算参数之和：
template<typename... Args>
auto sum(Args... args) {
return (... + args);
}
调用 sum(1, 2, 3, 4) 返回10。编译器自动展开为 ((1+2)+3)+4。同样可用于逻辑判断、字符串拼接等场景。
折叠表达式还支持条件操作，比如检查所有参数是否为真：
template<typename... Args>
bool all_true(Args... args) {
return (... && args);
}
基本上就这些。C++11通过递归和逗号表达式技巧实现参数包解包，C++17则用折叠表达式让代码更简洁直观。理解两者差异有助于在不同标准环境下写出高效、可维护的模板代码。
