可变参数模板解包的核心是递归展开与折叠表达式：递归适用于逐个处理参数，折叠表达式简洁但仅限支持二元运算或函数调用的上下文；sizeof...仅返回参数个数，不触发解包或求值，故不能用于访问单个参数。
可变参数模板解包的核心是：递归展开适用于需要逐个处理参数的场景，折叠表达式更简洁但只适合支持二元运算或函数调用的上下文；两者不能混用，选错会导致编译失败或逻辑错误。
为什么sizeof...不能直接用于解包逻辑
sizeof...只返回参数包长度，不提供访问单个参数的能力。它常被误当作“解包入口”，但实际无法触发模板实例化或参数求值。
- 错误写法：
std::cout —— 只输出数字，没展开任何参数 - 正确起点必须是函数调用或模板特化，比如
print(args...)或process<Args...>() - 若仅需计数或静态断言，
sizeof...够用；一旦要访问值、类型或执行副作用，必须进入递归或折叠
递归展开必须提供终止特化，否则无限实例化
没有基础情形的递归模板会触发编译器不断生成新实例，直到内存耗尽或达到深度限制，报错类似error: template instantiation depth exceeds maximum。
- 终止特化通常针对空参数包：
void print() { }或template<> void print<>() { } - 递归版本中，每次展开一个参数，剩余部分以
args...形式传给下一层：print(head, args...) - 注意参数顺序：
print(args..., head)会反转输出顺序，容易被忽略 - 示例片段：
template<typename T, typename... Args><br>void print(T&& head, Args&&... args) {<br> std::cout << head << " ";<br> print(std::forward<Args>(args)...); // 尾递归，但C++不优化，仍占栈帧<br>}
折叠表达式(... <op> expr)的三种形态与限制
折叠只在表达式上下文中合法，不能单独成句；且op必须是支持该操作符重载的类型，或为函数调用(f(args), ...)这类逗号表达式。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
- 一元右折叠：
(expr ...)等价于expr1 op (expr2 op (... op exprN)) - 一元左折叠：
(... op expr)等价于((... op expr1) op expr2) ... op exprN - 函数调用常用逗号折叠：
(print(args), ...)—— 每个print(arg)依次执行，无返回值依赖 - 陷阱：若
expr含副作用（如i++），折叠顺序由编译器决定，C++17起保证从左到右，但旧标准不保证
参数包转发时std::forward<Args>(args)...不能省略引用限定
直接写func(args...)会丢失值类别，所有参数都变成左值；而std::forward配合万能引用才能保留原始实参是左值还是右值。
- 错误：
inner(args...)→ 所有args在inner内被视为左值，可能触发不必要的拷贝 - 正确：
inner(std::forward<Args>(args)...)，前提是inner也声明为template<typename... U> void inner(U&&...) - 若参数包来自非模板上下文（如普通函数参数），则无需
forward，直接展开即可
递归展开和折叠表达式不是替代关系，而是分工关系：前者可控、可中断、可嵌套逻辑；后者简洁、高效、但受限于语法结构。最容易被忽略的是折叠中逗号表达式的求值顺序依赖标准版本，以及转发时忘记std::forward导致移动语义失效。
