c++
17的fold表达式是一种用于可变参数模板的语法特性，旨在简化对参数包的操作。它支持一元和二元运算符，如+、*、&&、||等，并通过右折叠（expr op ...）和左折叠（... op expr）两种形式实现。例如，(args + ...)执行右折叠，等价于arg1 + (arg2 + (arg3 + ...))；而(... + args)执行左折叠，等价于(((arg1 + arg2) + arg3) + ...)。常见用途包括求和、判断所有参数是否为真、比较最大值/最小值、打印多个参数等。使用时需注意类型一致性、空参数包处理以及运算符优先级问题。掌握fold表达式能显著减少模板代码复杂度，提升开发效率。
C++17引入了fold表达式，极大地简化了可变参数模板的处理方式。特别是在需要对参数包中的所有元素执行某种统一操作（比如求和、拼接、比较等）时，fold表达式可以让代码既简洁又清晰。
什么是fold表达式？
Fold表达式是C++17中为可变参数模板新增的一种语法特性，专门用于在不显式编写递归或循环的情况下，对参数包进行折叠操作。它支持一元和二元操作，适用于常见的运算符如
、
、
、
等。
举个最简单的例子：
立即学习
“
C++免费学习笔记（深入）
”；
调用
就会返回6。这比写一个递归展开的方式要直观得多。
如何使用fold表达式的两种形式
fold表达式有两种形式：
右折叠
和
左折叠
，它们决定了参数展开的方向。
右折叠（Right fold）
语法格式：
例如：
C函数速查手册（CHM版）
C函数速查手册（CHM版）
下载
左折叠（Left fold）
语法格式：
例如：
两者的区别在于操作顺序。如果你的操作具有结合律（比如加法），两者结果是一样的；但如果像减法这种不满足结合律的操作，就会导致不同的结果。
常见用途与示例
fold表达式在实际开发中有几个非常实用的场景，下面列举几个典型应用。
判断所有参数是否都为真
调用
返回
。
计算多个值的最大值或最小值
虽然
标准库
有
，但用fold表达式实现多个值的比较也很方便：
或者更直接一点：
不过这种方式略复杂，适合熟悉语法之后再尝试。
打印多个参数到控制台
利用折叠来简化输出过程：
调用
会输出：
使用时需要注意的小细节
类型一致性很重要
：fold表达式要求参数类型一致或兼容，否则编译器可能会报错。
空参数包问题
：如果参数包为空，有些操作会出错。比如
在没有参数时会导致错误。解决办法是在调用前判断参数数量，或者给一个默认值。
优先级问题
：运算符优先级可能影响折叠顺序，建议多用括号避免歧义。
基本上就这些。fold表达式虽然看起来简单，但在实际使用中能显著减少模板代码的复杂度，尤其是在做通用编程或元编程时特别有用。熟练掌握后你会发现很多以前需要递归展开的地方都可以一行搞定。
+*&&||template
auto sum(Args... args) {
return (args + ...); // 右折叠
} sum(1, 2, 3)(expr OP ...)(args + ...)
// 等价于：arg1 + (arg2 + (arg3 + ...))(... OP expr)(... + args)
// 等价于：(((arg1 + arg2) + arg3) + ...)template
bool all_true(Args... args) {
return (args && ...);
} all_true(true, true, false)falsestd::max#include
template
T max_value(T first, Args... rest) {
return std::max({first, rest...});
} template
auto max_fold(Args... args) {
return (... > args ? ... : args); // 这里用了嵌套三目运算符技巧
} #include
template
void print_all(Args... args) {
((std::cout << args << " "), ...);
std::cout << std::endl;
} print_all("Hello", 42, 3.14)Hello 42 3.14(args + ...)