折叠表达式写作必须严格遵循(... op args)左折叠或(args op ...)右折叠格式，...须紧贴括号与操作符，空格或换行将导致编译错误。
折叠表达式怎么写，括号和逗号位置不能错
折叠表达式不是语法糖，是 C++17 引入的原生特性，用来在变参模板中对参数包做二元运算展开。核心就两条：左折叠 (... op args) 和右折叠 (args op ...)，中间那个 ... 必须紧贴括号和操作符，多空格、换行或放错位置都会编译失败。
常见错误现象：error: expected '(' before '...' token 或 error: pack expansion does not contain any unexpanded parameter packs，基本都是因为 ... 没挨着操作符，比如写成 (... + args)（漏空格）或 (... + args )（括号后多空格）都可能崩。
-
(a + ... + b)是合法右折叠，等价于a + arg1 + arg2 + ... + b -
(... + args)是左折叠，等价于((arg1 + arg2) + arg3) + ... - 一元折叠必须带初始值或至少一个参数包，
(+ ... + args)不合法，但(0 + ... + args)可以
什么时候该用折叠，而不是手写递归或 std::apply
折叠表达式本质是编译期展开，零运行时开销；而 std::apply 走的是 tuple 拆包 + 运行时调用，有构造 tuple 和函数对象的代价。如果你只是做简单聚合（求和、逻辑与、输出拼接），折叠更直接；如果要对每个参数做复杂处理（比如类型分发、条件跳过），还是递归 SFINAE 或 if constexpr 更可控。
使用场景举例：日志函数把所有参数转字符串拼起来、断言宏检查所有条件是否为 true、初始化列表构造器转发多个参数。
立即学习“C++免费学习笔记（深入）”；
- 求和：
template<typename... ts> auto sum(Ts&&... args) { return (0 + ... + args); }</typename...> - 全真判断：
template<typename... bs> bool all_true(Bs&&... bs) { return (true && ... && bs); }</typename...> - 不推荐用折叠做「依次执行」：比如
(f(args), ...)虽然语法合法，但顺序依赖未定义行为（C++17 前），且无法捕获中间返回值
折叠里的操作符必须支持对应结合律，否则结果不可靠
左折叠和右折叠生成的求值顺序不同，对非结合操作符（如 -、/、std::string::operator+）会产生不同结果。比如 (1 - 2 - 3) 是 (1 - 2) - 3 = -4，而 (1 - (2 - 3)) = 2 —— 折叠不会帮你重排逻辑，它只忠实展开括号结构。
性能影响：对于移动语义友好的类型（如 std::string），右折叠 (args + ...) 可能比左折叠 (... + args) 多一次拷贝，因为前者从右往左结合，左侧操作数常是临时量，右侧是已构造对象。
- 安全操作符：
+（数值）、&&、||、,（逗号）、==（若语义对称） - 危险操作符：
-、/、%、（流插入，虽常用但依赖重载顺序） - 字符串拼接建议显式用左折叠：
(std::string{} + ... + args)，避免右折叠导致多次std::string构造
参数包为空时折叠怎么处理，别假设它“自动跳过”
空参数包不是被忽略，而是触发“一元折叠”的特殊规则：左折叠 (... op args) 在空包时返回 void（非法），右折叠 (args op ...) 同样未定义；只有带初始值的二元折叠（如 (init op ... op args)）才安全。
常见错误现象：模板实例化时传了零个参数，编译直接报 error: no matching function for call to 'sum()'，哪怕你写了 template<typename... ts> auto sum(Ts&&... args) { return (0 + ... + args); }</typename...> —— 因为 (0 + ... + args) 是合法二元折叠，但若 Ts... 展开为空，整个表达式变成 (0)，没问题；可一旦写成 (... + args)，空包就炸。
- 永远优先用带初始值的写法：
(0 + ... + args)、(true && ... && args) - 如果初始值类型和参数类型不一致（比如想用
0.0但参数是int），编译器会尝试隐式转换，失败则报错 - 自定义类型需确保
operator+等支持与初始值类型的混合运算，否则折叠展开后第一轮就失败
实际用的时候，最易被忽略的是空参数包行为和操作符结合性——这两点不验证，模板一泛化就翻车，而且错误信息极其晦涩。
