折叠表达式是C++17引入的特性，用于简化可变参数模板处理，支持通过(... op args)实现右折叠和(args op ...)实现左折叠，直接对参数包应用二元操作符如+、*、||等，提升代码简洁性与可读性。
折叠表达式是 C++17 引入的重要特性，它极大简化了可变参数模板的处理方式。在 C++17 之前，处理参数包通常需要递归展开模板，代码复杂且不易理解。折叠表达式允许你直接对参数包中的每个元素应用某个二元操作符，让代码更简洁、直观。
什么是折叠表达式
折叠表达式利用一个操作符对模板参数包进行“折叠”，即逐个应用该操作符到所有参数上。语法形式如下：
-
(... op args)：右折叠，等价于
arg1 op (arg2 op (arg3 op ...)) -
(args op ...)：左折叠，等价于
((... op arg1) op arg2) op arg3
其中 op 是任意二元操作符（如 +, *, ||, args 是参数包。
常见使用场景
折叠表达式适用于多种实用场景，以下是一些典型例子。
立即学习“C++免费学习笔记（深入）”；
1. 求和或连乘
计算多个参数的总和或乘积非常简单：
templateauto sum(Args... args) {
return (... + args);
}
template
auto product(Args... args) {
return (... * args);
}
调用 sum(1, 2, 3, 4) 返回 10，product(2, 3, 4) 返回 24。
2. 逻辑判断
检查所有参数是否为真，或是否有任意一个为真：
template
bool all_true(Args... args) {
return (... && args);
}
template
bool any_true(Args... args) {
return (... || args);
}
例如 all_true(true, false, true) 返回 false，any_true(false, true) 返回 true。
3. 输出多个值
使用折叠表达式配合流输出，可以一行代码打印所有参数：
templatevoid print(Args&&... args) {
(std::cout }
调用 print("Hello", ", ", "world", "!") 会输出完整句子。
带初始值的折叠
C++17 还支持带初始值的折叠表达式，语法为 (init op ... op args) 或 (args op ... op init)。这在需要默认值时很有用。
例如，即使参数包为空，也能保证有返回值：
templateauto safe_sum(Args... args) {
return (0 + ... + args); // 即使没有参数，也返回 0
}
如果参数包为空，safe_sum() 返回 0，而普通折叠会编译失败。
基本上就这些。折叠表达式让可变参数模板从“难写”变成“好读好写”，是 C++17 值得掌握的核心技巧之一。
