函数模板参数包必须显式展开（如f(args...)），不可下标访问；递归展开需明确定义终止重载，折叠表达式优先左折叠处理流操作，tuple解包用std::apply并注意引用和移动语义。
怎么写一个接受任意参数个数的函数模板
直接用 template<typename... args></typename...> 声明参数包，再用 Args... 展开到函数参数列表。关键不是“怎么声明”，而是“展开后怎么用”——多数人卡在递归终止或参数转发上。
常见错误现象：error: parameter pack 'args' was not expanded with '...'，说明写了 Args... args 却没在函数体里对 args 做展开操作。
- 必须显式展开：比如传给另一个函数时写成
f(args...)，不是f(args) - 不能单独取
args[0]—— 参数包不是数组，不支持下标访问 - 若需逐个处理，常用递归展开（首参数 + 剩余参数包）或折叠表达式（C++17 起）
- 注意引用折叠：
T&&在模板中可能退化为T&或T&&，转发时优先用std::forward<args>(args)...</args>
折叠表达式怎么安全展开参数包（C++17）
折叠表达式是目前最简洁的展开方式，但容易误用操作符结合性或忽略求值顺序。
使用场景：打印所有参数、计算乘积、逻辑与/或判断、构造 tuple 等无需中间状态的操作。
立即学习“C++免费学习笔记（深入）”；
- 左折叠：
(init OP ... OP args)，如(std::cout 从左到右输出 - 右折叠：
(args OP ... OP init)，如(args + ... + 0)求和（注意：无 init 时至少一个参数） - 错误示范：
(args 会把 <code>std::endl当作最后一个参数，导致类型不匹配 - 流操作符优先用左折叠，算术运算符注意是否满足结合律（
+可，-不可直接无 init 折叠）
为什么递归展开常崩在“没有匹配的重载”
手动递归展开时，编译器找不到终止版本，是因为特化没写对，或者主模板和特化之间存在歧义。
典型结构是：一个主模板接受 Head, Tail...，一个偏特化（或重载）只接受单个参数。但 C++ 模板匹配不看函数体，只看声明。
- 终止版本必须是明确的非参数包版本，例如
void print(T t)，不能是void print(T... t) - 如果用了
sizeof...(Args) == 0SFINAE 判断，要确保该分支能被选中（比如用std::enable_if_t推导返回类型） - 更稳妥的做法是用变参重载而非特化：先定义
print()空函数作为终止，再定义print(Head h, Tail... t)递归调用 - 注意：递归深度受编译器限制（通常几百层），超深参数包会触发
fatal error: template instantiation depth exceeds maximum
std::tuple 和参数包一起用要注意什么
用 std::make_tuple(args...) 很自然，但真正难的是从 tuple 里按索引取值并保持类型——尤其当参数包含引用、const 或移动语义时。
性能影响：std::get<i>(t)</i> 是编译期索引，零开销；但若用 std::get<size_t></size_t> 运行时索引，则无法编译。
- 获取类型要用
std::tuple_element_t<i decltype></i>，不是decltype(std::get<i>(t))</i>（后者带引用修饰） - 解包 tuple 回参数包，得靠
std::apply（C++17），且被调函数签名必须严格匹配 tuple 元素类型 - 常见坑：
std::apply(f, std::move(t))后，t处于有效但未指定状态，不能再读取其元素 - 若 tuple 含
int&，std::get返回的是引用，转发时别意外转成值（比如漏了std::forward）
