可变参数模板是C++11核心特性，支持任意数量和类型的模板参数，依赖类型参数包（class.../typename...）和函数参数包（Args... args），通过递归展开或折叠表达式（如f(args...)、(args, ...））实现类型安全的泛型编程。
可变参数模板是 C++11 引入的核心特性之一，它让模板能接受任意数量、任意类型的参数，是实现类型安全的泛型容器、完美转发、日志函数、元编程等高级功能的基础。用得好，代码简洁又高效；用得不熟，容易陷入递归展开和参数包（parameter pack）的迷雾中。
基础写法：声明与展开参数包
可变参数模板的关键在于 参数包（template parameter pack） 和 函数参数包（function parameter pack），以及它们的展开方式。
- 声明模板时用
class...或typename...表示类型参数包，如template<typename... args></typename...> - 函数参数列表中用
Args... args表示值参数包 - 展开必须在支持“逗号表达式上下文”的地方进行，比如函数调用、初始化列表、基类列表等
- 最常用展开方式：
f(args...)（调用时展开）、{f(args)...}（C++17 折叠表达式）、int arr[] = {g(args)...}（初始化数组）
递归展开：处理参数包的经典模式
由于不能直接对参数包做循环，传统做法是靠“头尾分离”+递归终止来逐个处理。典型结构：
- 先写一个只接受一个参数的重载（递归终点），例如
void print(T t) { std::cout - 再写一个可变参数版本，取出第一个参数（
first），其余递归调用自身：template<typename t typename... rest> void print(T first, Rest... rest) { std::cout </typename> - 注意：递归调用
print(rest...)会自动推导剩余参数类型，直到只剩一个参数触发终点重载
折叠表达式（C++17）：一行搞定多数聚合操作
告别繁琐递归！C++17 引入折叠表达式，语法简洁且高效：
立即学习“C++免费学习笔记（深入）”；
- 一元右折叠：
(args && ...)等价于args1 && args2 && args3 && ... - 一元左折叠：
(... && args)同样效果，但结合律不同（对&&/||无影响） - 二元折叠：
(init + ... + args)展开为init + arg1 + arg2 + ... - 实用例子：安全打印所有参数
((std::cout —— 利用逗号表达式顺序求值
完美转发与参数包转发：保持值类别不变
配合 std::forward 和万能引用（T&&），可变参数模板能真正实现“原样转发”：
- 写法：
template<typename... args> void wrapper(Args&&... args) { func(std::forward<args>(args)...); }</args></typename...> - 关键点：
Args&&是万能引用，std::forward<args>(args)</args>恢复原始值类别（lvalue/rvalue） - 这是
std::make_unique、std::thread构造等标准库功能的底层支撑
基本上就这些。可变参数模板不是炫技工具，而是构建现代 C++ 基础设施的砖块——理解参数包、掌握展开时机、善用折叠与转发，就能把黑魔法变成日常生产力。
