折叠表达式是C++17引入的语法特性，用于直接对参数包执行二元运算，避免递归模板展开；它提供四种形式（一元左/右折叠、二元左/右折叠），支持+、&&、||等运算符，但不适用于赋值或函数调用等非二元操作。
什么是折叠表达式，它解决什么问题 C++17 引入的折叠表达式（fold expression）本质是让参数包（parameter pack）能直接参与二元运算，省去手写递归模板或展开辅助函数的麻烦。它不是语法糖的堆砌，而是为变参模板提供原生、可读、高效的展开能力——比如你想把所有参数相加、拼接字符串、检查是否全为真，用折叠最直白。
常见错误是把它当成“万能展开工具”去套用，结果编译失败。根本原因是：折叠只支持 +、&&、||、*、== 等有限运算符，且必须明确左右折叠方向（... 在左还是右），不能用于赋值、函数调用等非二元操作。
一元左折叠和一元右折叠怎么选 关键看运算是否满足结合律，以及初始值隐含逻辑。
一元右折叠 (args && ...) 等价于 args1 && (args2 && (args3 && ...))；一元左折叠 (... && args) 等价于 ((args1 && args2) && args3) && ...。对 && 和 || 来说，两者语义一致（短路求值在模板实例化期不生效，所以实际行为相同），但对 + 或 std::string + 就涉及构造顺序和临时对象生命周期。
- 想让最右边的参数作为“基础值”，左边逐个合并（比如字符串拼接希望
"a" + "b" + "c"从左到右执行），用左折叠：(... + args) - 想让最左边的参数打头，右边逐个参与（少见，但某些自定义类型重载了右结合运算符时需要），用右折叠：
(args + ...) - 对逻辑运算，优先用一元右折叠
(args && ...)—— 这是社区惯例，也更贴近“所有都为真”的直觉表达
二元折叠怎么带初始值
当你需要一个默认起点（比如求和从 0 开始、逻辑与从 true 开始），就得用二元折叠：(init + ... + args) 或 (args + ... + init)。
注意：init 类型必须能参与对应运算。例如 (0 + ... + args) 要求所有 args 都能转成整数；(std::string{} + ... + args) 要求每个 args 支持 std::string + T。
-
(init + ... + args)是左二元折叠：等价于((init + arg1) + arg2) + ... -
(args + ... + init)是右二元折叠：等价于arg1 + (arg2 + (... + init)) - 如果
init是字面量（如0、""），确保它不会被静默转换成意外类型（比如0可能推导为int，而参数是long long，导致精度丢失）
哪些地方容易编译失败
折叠表达式看着简洁，但几个细节不注意就报错：
- 参数包为空时，一元折叠非法：
(args && ...) 在零参数模板实例化下不成立，编译器会报错；必须配合 sizeof...(args) > 0 的 SFINAE 或 if constexpr 守卫
- 运算符未重载：比如对自定义类型
Vec3 写 (v + ...)，但没定义 Vec3 operator+(Vec3, Vec3)，错误信息常是 “no match for ‘operator+’”，而非折叠本身的问题
- 括号位置错：写成
args + ... +（漏右括号）或 (args + ...) +（多括号），都会触发语法错误，提示类似 “expected expression before ‘...’”
- 在非模板上下文中使用：折叠只能出现在函数模板或类模板中，且
... 必须作用于参数包名，不能用于普通变量或 auto 推导的值
折叠不是黑魔法，它只是把“展开逻辑”交由编译器生成。真正难的是设计好参数包的约束和 fallback 行为——尤其是空包和类型异构场景，这些地方不加防护，运行时没问题，编译期就卡死。
(args && ...) 在零参数模板实例化下不成立，编译器会报错；必须配合 sizeof...(args) > 0 的 SFINAE 或 if constexpr 守卫Vec3 写 (v + ...)，但没定义 Vec3 operator+(Vec3, Vec3)，错误信息常是 “no match for ‘operator+’”，而非折叠本身的问题args + ... +（漏右括号）或 (args + ...) +（多括号），都会触发语法错误，提示类似 “expected expression before ‘...’”... 必须作用于参数包名，不能用于普通变量或 auto 推导的值
