折叠表达式是C++17引入的语法，用于简化可变参数模板中对参数包的操作。通过（pack op ...）实现右折叠，（... op pack）实现左折叠，还可结合初始值进行带初值折叠，如（pack op ... 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 是初始值。

常见用法示例

折叠表达式适用于多种场景，以下是一些典型应用：

立即学习“C++免费学习笔记（深入）”；

• 数值求和：计算所有参数的总和
template <typename... Args>
auto sum(Args... args) {
    return (args + ...);
}
// sum(1, 2, 3, 4) 返回 10
• 逻辑与/或判断：检查所有条件是否为真
template <typename... Args>
bool all_true(Args... args) {
    return (args && ...);
}
// all_true(true, true, false) 返回 false
• 输出打印多个值：用流操作符依次输出
template <typename... Args>
void print(Args const&... args) {
    (std::cout << ... << args) << '\n';
}
// print(1, "hello", 3.14); 输出: 1hello3.14

左折叠与右折叠的区别

虽然大多数情况下左右折叠结果一致（如加法满足结合律），但在不满足结合律的操作中会有差异。

C++

"空空如也"

下载

• 右折叠 (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
• +、* 等算术操作：空包不合法，编译报错

若要支持空包，可使用带初始值的二元折叠：

template <typename... Args>
auto safe_sum(Args... args) {
    return (args + ... + 0); // 即使args为空，结果为0
}

基本上就这些。折叠表达式让可变参数模板从“难写难懂”变得简洁优雅，是C++17最实用的新特性之一。合理使用能大幅减少模板代码量，提升可读性和维护性。