折叠表达式是C++17引入的语法糖,用于简化可变参数模板中对参数包的批量操作,支持一元左折、一元右折、二元左折和二元右折四种写法,需加外层括号,空参数包时一元折叠有默认值而二元折叠返回初始值。

折叠表达式是 C++17 引入的语法糖,专为简化可变参数模板中对参数包(parameter pack)的批量操作而设计。它不是新功能,而是把原本需要递归展开、辅助函数或笨拙技巧(比如 int dummy[] = { (f(args), 0)... };)才能完成的事,浓缩成一行带括号的表达式。
它解决什么问题
以前写一个能打印任意多个参数的函数,得靠递归特化或万能引用+逗号表达式“骗”编译器展开;求和、逻辑判断、流输出等都要重复造轮子。折叠表达式直接让编译器帮你把 args... 按指定顺序和运算符“连起来”,语义清晰、无运行时开销、还支持短路(如 &&/||)。
四种基本写法要记牢
核心就两点:操作符位置 + 是否带初始值。
-
一元左折:
(op args...)→ 展开为((a1 op a2) op a3) op ... -
一元右折:
(args... op)→ 展开为a1 op (a2 op (a3 op ...)) -
二元左折:
(init op args...)→ 展开为(((init op a1) op a2) op a3)... -
二元右折:
(args... op init)→ 展开为a1 op (a2 op (a3 op ( ... op init)))
所有写法都必须加外层括号,否则编译报错。
立即学习“C++免费学习笔记(深入)”;
空参数包怎么处理
这是最容易踩坑的地方:
- 一元折叠遇到空包,
(&& args...)默认返回true,(|| args...)返回false,(, args...)返回void() - 其他一元折叠(如
(+ args...))空包时直接编译失败 - 二元折叠不怕空包 —— 它直接返回
init,所以更安全、更常用
哪些运算符能用
几乎所有内置二元运算符都支持,包括:
- 算术:
+-*/% - 位运算:
&|^>> - 逻辑:
&&||(带短路) - 比较:
==!=>等 - 流插入:
(常用于std::cout )
不建议用 = 或复合赋值(如 +=),容易引发左值/求值顺序问题。
基本上就这些。写对括号、选对方向、空包有兜底,折叠表达式就能稳稳替你把参数包“串起来”。











