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