折叠表达式简化可变参数模板处理，支持求和、逻辑判断等操作。格式为(pack op…)或(… op pack)，可带初始值。支持+、&&、<<等二元操作符，不支持[]、.等。空包时&&结果为true，||为false，逗号为void，算术操作需避免空包或提供默认值。示例：sum(1,2,3)用(args + …)得6；all_true(true,false)用(args && …)得false；print_each用(cout << … << args)输出各参数。注意操作符限制与空包处理即可安全使用。

在C++17中，折叠表达式（fold expressions）是模板参数包的一种简洁处理方式，主要用于可变参数模板中。它能让你不用递归或手动展开参数包，就能对所有参数进行统一操作，比如求和、逻辑判断、逗号分隔输出等。

折叠表达式的语法形式

折叠表达式的基本结构是在圆括号内使用一个操作符和一个省略号（…），形式如下：

• (pack op …) — 左折叠（从左到右）
• (… op pack) — 右折叠（从右到左）
• (pack op … op init) — 带初始值的左折叠
• (init op … op pack) — 带初始值的右折叠

其中 op 是一个有效的二元操作符，pack 是参数包。

常见用法示例

以下是一些典型的折叠表达式应用场景：

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

1. 求和所有参数

template <typename... Args> auto sum(Args... args) {     return (args + ...); } // 调用：sum(1, 2, 3, 4) → 1+2+3+4 = 10 

2. 逻辑与或判断

达芬奇

达芬奇——你的ai创作大师

50

查看详情

template <typename... Args> bool all_true(Args... args) {     return (args && ...); } // 调用：all_true(true, false, true) → false 

3. 使用逗号操作符依次执行函数

template <typename... Args> void print_each(Args... args) {     (std::cout << ... << args) << std::endl; } // 输出所有参数，例如：print_each(1, "hello", 3.14); 

4. 带初始值的折叠

template <typename... Args> auto multiply_with_one(Args... args) {     return (args * ... * 1); // 相当于 (a * (b * (c * 1))) } 

注意事项和限制

并非所有操作符都支持折叠表达式，C++17规定了哪些操作符可以用于折叠：

• 支持的操作符包括：+ - * / % ^ &amp; | ~ = < > << >> += -= *= /= %= ^= &amp;= |= <<= >>= == != <= >= &amp;&amp; || ,
• 不支持的操作符如[] . .* :: ?:不能用于折叠
• 空参数包时，某些折叠有默认值：
  • (&&) 空包结果为 true
  • (||) 空包结果为 false
  • (,) 空包结果为 void()
  • 其他算术操作空包会报错

如果需要处理可能为空的参数包，建议提供默认值：

template <typename... Args> auto safe_sum(Args... args) {     return (... + args) + 0; // 避免空包错误 } 

基本上就这些。折叠表达式让可变参数模板变得更简洁安全，尤其适合写工具函数、日志打印、类型检查等泛型代码。只要注意操作符限制和空包问题，使用起来非常方便。