折叠表达式是C++17标准为可变参数模板引入的一种编译期语法特性，它允许我们用非常简洁的运算符表达式，直接对参数包（parameter pack）中的所有元素进行“折叠”操作，而不再需要手写递归终止函数和逐层展开逻辑。借助这一特性，原本冗长易错的可变参数模板代码可以被压缩成一行表达式，既提升了可读性，也减少了模板实例化带来的代码膨胀风险。
一、传统可变参数模板的痛点
在C++11和C++14中，如果我们想写一个可以接收任意数量参数的求和函数，通常需要定义两个模板：一个处理剩余参数大于零的递归展开版本，另一个作为递归终止的空参数版本。这种写法不仅模板层数多，而且当参数类型不一致或者需要换一种运算符时，几乎要重写整套逻辑。
下面是一段典型的C++14风格可变参数求和实现，可以明显看到代码里充满了样板结构：
#include <iostream>
// 递归终止函数
template<typename T>
T sum(T t) {
return t;
}
// 递归展开函数
template<typename T, typename... Args>
T sum(T first, Args... rest) {
return first + sum(rest...);
}
int main() {
std::cout << sum(1, 2, 3, 4) << std::endl; // 输出10
return 0;
}
上述代码在编译期会实例化出多个sum函数，并且开发者必须保证递归终止版本的参数类型与展开版本兼容。如果需要改成求乘积或者字符串拼接，就得再写一套差不多的模板，维护成本较高。
二、折叠表达式的基本语法
C++17的折叠表达式分为一元折叠和二元折叠，每种又分左折叠和右折叠。一元折叠的写法是将参数包放在运算符的一侧，并用括号包裹，例如(... + args)表示左折叠，(args + ...)表示右折叠。对于大多数满足结合律的运算符，左右折叠结果一致；对于不满足结合律的运算符（如减法），顺序会影响结果。
二元折叠则允许我们提供一个初始值，写法如(init + ... + args)或(args + ... + init)。这种方式可以避免参数包为空时编译失败的问题，因为即使args为空，表达式依然有init作为返回值。
#include <iostream>
// 一元左折叠求和
template<typename... Args>
auto sum(Args... args) {
return (... + args); // 等价于 ((1+2)+3)+4
}
// 二元折叠带初值
template<typename... Args>
auto sum_with_init(Args... args) {
return (0 + ... + args); // 即使args为空也返回0
}
int main() {
std::cout << sum(1, 2, 3, 4) << std::endl; // 10
std::cout << sum_with_init() << std::endl; // 0
std::cout << sum_with_init(5, 10) << std::endl; // 15
return 0;
}
从示例可以看出，折叠表达式把原本需要递归实现的展开过程完全交给编译器，函数体只剩一个return语句。同时二元折叠通过初值解决了空参数包导致编译错误的问题，这是传统递归写法要额外加模板重载才能做到的。
三、常见运算符与实用场景
折叠表达式支持绝大多数二元运算符，包括算术、逻辑、比较、逗号以及位运算等。利用逗号运算符，我们可以实现按顺序执行一系列操作；利用逻辑与、逻辑或，可以简洁地做参数校验；利用加号，则可以轻松做数值累加。
下面展示一个用逗号运算符依次打印所有参数的例子，这种写法在测试或日志场景中非常方便：
#include <iostream>
template<typename... Args>
void print_all(Args... args) {
// 逗号折叠：从左到右依次执行std::cout语句
( (std::cout << args << " "), ... );
std::cout << std::endl;
}
int main() {
print_all(1, "hello", 3.14, 'A'); // 输出：1 hello 3.14 A
return 0;
}
再比如需要判断所有参数是否都大于零，传统写法要递归判断，而折叠表达式只需一行：
#include <iostream>
template<typename... Args>
bool all_positive(Args... args) {
return (... && (args > 0)); // 逻辑与折叠
}
int main() {
std::cout << std::boolalpha;
std::cout << all_positive(1, 2, 3) << std::endl; // true
std::cout << all_positive(1, -2, 3) << std::endl; // false
return 0;
}
这些例子说明折叠表达式不仅能简化数值计算，还能替代很多原本需要递归或初始化列表技巧才能实现的逻辑，并且由于全部在编译期展开，不会带来额外的运行时负担。
四、使用时的注意事项
首先，折叠表达式只能用于参数包，不能直接用于普通变量；其次，当使用不满足结合律的运算符（如减号、右移）时，必须明确左折叠还是右折叠，否则结果可能和预期相反。此外，如果运算符重载行为在参数类型间不一致，也可能引发编译错误或奇怪的实例化。
对于空参数包，一元折叠在多数运算符下是非法的（例如空包求和没有意义），因此如果业务上允许空包，应优先使用带初值的二元折叠。最后要注意，折叠表达式本质是语法糖，它生成的展开代码和传统手写递归在语义上等价，但调试时展开后的代码不可见，新手可以通过查看编译器实例化的中间代码来理解其原理。
#include <iostream>
// 错误示例：一元减法折叠在不明确顺序时易出错
template<typename... Args>
auto wrong_sub(Args... args) {
return (args - ...); // 右折叠：1-(2-(3-4)) 结果为 -2
}
// 明确左折叠才是常规理解
template<typename... Args>
auto right_sub(Args... args) {
return (... - args); // 左折叠：((1-2)-3)-4 结果为 -8
}
int main() {
std::cout << wrong_sub(1, 2, 3, 4) << std::endl;
std::cout << right_sub(1, 2, 3, 4) << std::endl;
return 0;
}
通过上面的对比可以看到，运算符的结合顺序会直接改变结果，所以在写折叠表达式时，一定要根据业务语义选择左或右，并且用简短的单元测试覆盖边界情况，例如单参数、空参数和负参数等。
fold_expressionsC++17可变参数模板修改时间：2026-08-02 01:21:34