折叠表达式是编译期确定性机制，无需递归特化，支持空包处理与结合律控制：左折叠(args + ...)、右折叠(... + args)，适用于加减、流操作等。
折叠表达式不是“语法糖”，它是编译期展开的确定性机制——只要参数包类型兼容、运算符可重载且结合律不影响语义，(args + ...) 就比手写递归模板更安全、更易读、更少出错。
为什么不用再写递归终止特化？
以前处理可变参数模板，必须定义基础情形（比如单个参数或零参数）和递归情形，稍有疏漏就触发 SFINAE 失败或无限递归。折叠表达式把整个展开逻辑交给编译器，你只管写操作意图。
-
template<typename... args> auto add(Args... args) { return (args + ...); }</typename...>—— 一行覆盖 0 个、1 个、N 个参数的所有情况 - 空参数包时，
(args + ...)直接报错；但加个初始值(0 + ... + args)就能自然返回0，无需额外偏特化 - 没有递归深度限制问题，也不用担心模板实例化爆炸（编译器对折叠有专门优化路径）
(... + args) 和 (args + ...) 的结合方向真会影响结果？
会，尤其当运算符不满足结合律时。比如减法、除法、流插入、逗号运算符都依赖顺序。
-
(args - ...)展开为((a1 - a2) - a3) - a4（左折叠） -
(... - args)展开为a1 - (a2 - (a3 - a4))（右折叠） - 对
std::cout ，必须用左折叠：因为 <code>std::cout 是左结合，<code>((std::cout 才合法 - 对逻辑与
(&& args)，左右折叠行为一致（短路是运行期行为，折叠本身不短路），但语义上仍推荐(args && ...)更直观
哪些运算符不能用于折叠？
不是所有 C++ 运算符都支持。编译器只允许那些在语言标准中明确列为“可折叠”的二元操作符，且要求每个操作都能在编译期完成类型推导。
- 支持的：算术（
+-*/%）、位（&|^<code>>>）、比较（==!=<code>>等）、逻辑（&&||）、逗号（,） - 不支持的：
=+=等赋值类、throw、new、delete、函数调用()、成员访问.或-> - 自定义
operator+可以参与折叠，但所有参数类型必须能统一隐式转换或重载匹配，否则编译失败——这点比运行期更严格
实际项目里最容易被忽略的坑
折叠表达式看着简单，但几个细节一旦漏掉，轻则编译失败，重则行为不符合预期。
- 空参数包无默认值时，
(args + ...)必报错；但(0 + ... + args)或(args + ... + 0)都行，注意后者仍是左折叠（((a1 + a2) + a3) + 0） - 混合类型参数下，
add(1, 2.5, 3LL)会尝试统一类型推导；若没定义跨类型operator+，失败发生在折叠层，错误信息可能指向模板实例化而非具体哪对参数 - 调试时无法单步进入折叠内部——它在编译期完全展开，GDB 看到的是最终生成的表达式，不是“循环”
- 不要试图在折叠中捕获异常或做运行期分支；它纯属编译期构造，所有逻辑必须是常量表达式友好的
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
