可变参数模板通过参数包支持任意数量类型参数的函数定义，核心机制包括递归展开参数包（C++11/14）和C++17的折叠表达式，结合完美转发实现高效泛型编程。
在C++中，可变参数模板函数（Variadic Template Functions）允许我们定义能接受任意数量、任意类型参数的函数。这种机制结合了模板参数包（template parameter pack）和函数参数包（function parameter pack），是实现泛型编程的重要工具。
理解模板参数包与函数参数包
可变参数模板的核心是“参数包”，它用...表示。参数包可以捕获零个或多个模板参数或函数参数。
例如：
templatevoid func(Args... args) { }
这里Args...是模板参数包，args...是函数参数包。它们分别代表一组类型和一组值。
立即学习“C++免费学习笔记（深入）”；
基本实现方式：递归展开参数包
由于不能直接遍历参数包，常用递归方式处理每个参数。
典型例子是打印所有参数：
#include iostream>// 终止函数：参数包为空时调用
void print() { }
// 递归函数模板
template
void print(T first, Args... rest) {
std::cout print(rest...);
}
调用print(1, "hello", 3.14)会依次输出三个值。递归从最外层开始，逐个提取参数，直到参数包为空，调用无参版本结束。
使用 fold 表达式（C++17 起）
C++17 引入了折叠表达式，简化了参数包的处理。
例如，计算所有参数之和：
templateauto sum(Args... args) {
return (args + ...);
}
(args + ...) 会对所有参数进行左折叠加法。支持 +、*、&& 等操作符。
也可以指定初始值：(0 + ... + args) 表示从0开始累加。
转发参数包：完美转发的应用
在泛型编程中，常需将参数包转发给其他函数，比如构造对象或调用成员函数。
使用std::forward保持值类别（左值/右值）：
templatestd::unique_ptr
return std::unique_ptr
}
这里的std::forward
基本上就这些。可变参数模板的关键在于理解参数包的声明与展开方式。递归适用于C++11/14，fold表达式让C++17以后更简洁。配合完美转发，能实现高效通用的泛型接口。不复杂但容易忽略细节，比如递归终止条件或引用折叠规则。
