折叠表达式是C++17引入的语法，用于简化可变参数模板中对参数包的操作。通过（pack op ...）实现右折叠，（... op pack）实现左折叠，还可结合初始值进行带初值折叠，如（pack op ...op init）和（init op ... op pack），支持+、*、&&等二元运算符，使求和、逻辑判断等操作更简洁直观。
op init）和（init op ... op pack），支持+、*、&&等二元运算符，使求和、逻辑判断等操作更简洁直观。C++17引入的折叠表达式（Fold Expressions）极大地简化了可变参数模板的编写，使得处理参数包变得直观且简洁。在C++17之前，处理可变参数模板通常需要递归展开，代码冗长且难以理解。折叠表达式通过一行代码就能对参数包中的每个元素执行某种操作，比如求和、逻辑判断、打印等。
什么是折叠表达式？
折叠表达式是一种专门用于可变参数模板中对参数包进行“折叠”操作的语法。它允许你使用一个二元运算符，将参数包中的所有元素“折叠”成一个单一值。语法形式如下：
( pack op ... ) // 右折叠( ... op pack ) // 左折叠
( pack op ... op init ) // 带初始值的右折叠
( init op ... op pack ) // 带初始值的左折叠
其中 op 是任意二元操作符（如 +, *, &&, pack 是参数包，init 是初始值。
常见用法示例
折叠表达式适用于多种场景，以下是一些典型应用：
- 数值求和：计算所有参数的总和 template
- 逻辑与/或判断：检查所有条件是否为真 template
- 输出打印多个值：用流操作符依次输出 template
auto sum(Args... args) {
return (args + ...);
}
// sum(1, 2, 3, 4) 返回 10
bool all_true(Args... args) {
return (args && ...);
}
// all_true(true, true, false) 返回 false
void print(Args const&... args) {
(std::cout }
// print(1, "hello", 3.14); 输出: 1hello3.14
左折叠与右折叠的区别
虽然大多数情况下左右折叠结果一致（如加法满足结合律），但在不满足结合律的操作中会有差异。
- 右折叠 (args + ...) 展开为：
arg1 + (arg2 + (arg3 + ...)) - 左折叠 (... + args) 展开为：
((arg1 + arg2) + arg3) + ...
例如，在减法中：
// (1 - 2 - 3) 使用右折叠：1 - (2 - 3) = 1 - (-1) = 2// 使用左折叠：((1 - 2) - 3) = (-1) - 3 = -4
因此需根据语义选择合适的折叠方向。
空参数包的处理
对于一元折叠表达式，当参数包为空时，某些操作有默认值：
- && 折叠：空包结果为 true
- || 折叠：空包结果为 false
- +、* 等算术操作：空包不合法，编译报错
若要支持空包，可使用带初始值的二元折叠：
templateauto safe_sum(Args... args) {
return (args + ... + 0); // 即使args为空，结果为0
}
基本上就这些。折叠表达式让可变参数模板从“难写难懂”变得简洁优雅，是C++17最实用的新特性之一。合理使用能大幅减少模板代码量，提升可读性和维护性。
