折叠表达式是C++17引入的简化可变参数模板操作的特性,支持四种形式:左折叠(... + args)、右折叠(args + ...)、带初始值的左折叠(init + ... + args)和右折叠(args + ... + init),可用于求和、逻辑判断、I/O输出等场景,显著提升代码简洁性与可读性。

折叠表达式(Fold Expressions)是C++17引入的一项特性,主要用于在可变参数模板(variadic templates)中简洁地对参数包进行操作。它能大幅简化递归模板代码,使代码更清晰、易读、高效。
简化可变参数模板的处理
在C++17之前,处理参数包通常需要写递归函数模板,比如计算所有参数之和:
templateT sum(T t) { return t; } template T sum(T t, Args... args) { return t + sum(args...); }
有了折叠表达式后,同样的功能只需一行:
templateauto sum(Args... args) { return (args + ...); }
这里的 (args + ...) 就是一个左折叠,它会把参数包中的每个元素用 + 连接起来。
立即学习“C++免费学习笔记(深入)”;
四种折叠形式及其用途
折叠表达式支持四种语法形式,适用于不同的运算场景:
-
(... + args):左折叠,等价于
((arg1 + arg2) + arg3) + ... -
(args + ...):右折叠,等价于
arg1 + (arg2 + (arg3 + ...)) - (init + ... + args):带初始值的左折叠,从 init 开始累加
- (args + ... + init):带初始值的右折叠
例如,用初始值0安全求和:
templateauto safe_sum(Args... args) { return (0 + ... + args); // 即使参数为空,也返回0 }
空参数包时,若运算符有默认值(如+对应0,*对应1),则结果为该默认值;否则编译报错。
实用示例:类型检查与逻辑判断
折叠表达式常用于静态条件判断。比如检查所有参数是否满足某个条件:
templateconstexpr bool all_integral() { return (std::is_integral_v && ...); } // 使用 static_assert(all_integral ()); // 成功
也可以验证参数值:
templatebool all_positive(Args... args) { return (args > 0 && ...); } all_positive(1, 2, 3); // true all_positive(1, -2, 3); // false
常见应用场景
折叠表达式广泛用于以下场景:
- 数值计算:求和、乘积、最大值(需配合max函数)
- 逻辑判断:全真(&&)、任一真(||)
- I/O 输出:连续输出多个参数
- 容器插入:将多个值插入vector、set等
例如,打印所有参数:
templatevoid print(Args&&... args) { ((std::cout << args << " "), ...); std::cout << "\n"; }
这里利用逗号运算符实现逐个输出。
基本上就这些。折叠表达式让C++的可变参数模板变得更直观、安全、简洁,尤其适合元编程和泛型库开发。掌握它能显著提升模板代码的表达力。不复杂但容易忽略细节,比如空包处理和结合方向。











