可变参数模板通过参数包支持任意数量类型参数，用于实现类型安全的日志、工厂函数等；通过递归或折叠表达式展开参数包，结合完美转发提升性能。
在C++11中引入的可变参数模板（Variadic Templates）是一种强大的语言特性，它允许模板接受任意数量和类型的参数。这种机制广泛应用于泛型编程中，比如实现类型安全的日志函数、通用工厂函数、完美转发包装器等场景。
基本语法与展开方式
可变参数模板的核心是参数包（parameter pack），包括模板参数包和函数参数包。
定义一个可变参数函数模板的基本形式如下：
templatevoid func(Args... args) {
// 参数包 args 包含0个或多个参数
}
其中 typename... Args 声明了一个类型参数包，而 args 是对应的函数参数包。要使用这些参数，必须对参数包进行“展开”。
立即学习“C++免费学习笔记（深入）”；
常见的展开方式包括：
- 函数调用展开：例如 print(args...)，将每个参数传递给另一个函数
- 初始化列表展开：常用于递归处理，如 int dummy[] = { (process(args), 0)... };
- 逗号表达式结合数组初始化来实现无循环遍历
递归方式处理参数包
由于C++不允许直接遍历参数包，通常通过递归特化来逐个处理参数。
templatevoid print(T t) {
std::cout }
template
void print(T t, Args... args) {
std::cout print(args...); // 递归调用剩余参数
}
这里利用了函数重载匹配规则：当参数包为空时，调用单参数版本结束递归。
参数包展开的高级技巧
为了避免递归带来的额外函数调用开销，可以使用 constexpr if（C++17）或者逗号表达式配合列表初始化实现“循环”展开。
templatevoid print_all(Args... args) {
((std::cout }
这是C++17中的折叠表达式（fold expression），... 操作符会把每个参数代入表达式并连接起来，非常简洁高效。
对于不支持C++17的环境，可用数组初始化加逗号表达式模拟：
templatevoid print_all_legacy(Args... args) {
int dummy[] = { (std::cout static_cast
std::cout }
完美转发与构造优化
可变参数模板常配合 std::forward 实现完美转发，保留参数的值类别（左值/右值）。
templatestd::unique_ptr
return std::unique_ptr
}
这里的 std::forward
基本上就这些。掌握可变参数模板的关键在于理解参数包的声明、展开机制以及如何结合递归或折叠表达式完成实际任务。这类技术在现代C++库开发中极为常见，熟练使用能显著提升代码复用性和性能。
