折叠表达式是c++17引入的简化可变参数模板处理的特性，支持对参数包使用二元操作符进行左/右折叠或带初始值的折叠，适用于求和、逻辑判断、打印等场景，显著减少递归模板代码，提升可读性和安全性。
折叠表达式是C++17引入的一项重要特性，它简化了可变参数模板（variadic templates）中对参数包的处理。通过折叠表达式，你可以直接在一行代码中对模板参数包进行递归操作，比如求和、逻辑判断、打印等，不再需要显式的递归函数定义。
什么是折叠表达式
折叠表达式允许你在表达式中直接“折叠”一个参数包，使用一个二元操作符。语法形式如下：
( 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) 将展开为 ((1 + 2) + 3) + 4。
如果参数包为空，无初始值的折叠表达式会报错。此时可以提供默认值：
template <typename… Args>
auto sum(Args… args) {
return (args + … + 0);
}
这样即使没有参数，也会返回 0。
逻辑与和逻辑或的应用
折叠表达式非常适合做类型或值的批量判断。比如检查所有参数是否为偶数：
template <typename… Args>
bool all_even(Args… args) {
return ((args % 2 == 0) && …);
}
调用 all_even(2, 4, 6) 返回 true，而 all_even(2, 3, 4) 返回 false。
同样可以检查是否有任意一个是奇数：
template <typename… Args>
bool any_odd(Args… args) {
return ((args % 2 == 1) || …);
}
结合 std::cout 的参数打印
利用逗号操作符，可以方便地打印所有参数：
template <typename… Args>
void print(Args… args) {
(std::cout << … << args) << ‘n’;
}
调用 print(“Hello”, 42, 3.14) 会依次输出所有值。
如果你想在每个参数之间加空格，可以稍作调整：
(std::cout << … << args) << ‘n’; // 无分隔
// 或者使用初始化方式加入分隔：
更复杂的分隔可通过辅助函数或额外逻辑实现，但基础折叠已足够简洁。
模板参数包的类型处理
折叠表达式不仅适用于值，也适用于类型。结合 sizeof… 和 std::is_integral 等类型特征，可以做静态检查：
template <typename… Args>
constexpr bool all_integral() {
return (std::is_integral_v<Args> && …);
}
你也可以用于静态断言：
template <typename… Args>
void process(Args… args) {
static_assert((std::is_arithmetic_v<Args> && …),
“All arguments must be arithmetic types.”);
} 基本上就这些。折叠表达式让可变参数模板变得直观易写，减少了模板元编程中的样板代码，提升了代码可读性和安全性。掌握它的基本形式和边界情况，就能在实际项目中高效使用。