c++中的fold expressions(折叠表达式)是什么_c++17简化可变参数模板【语法糖】

折叠表达式是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)))

所有写法都必须加外层括号,否则编译报错。

空参数包怎么处理

这是最容易踩坑的地方:

  • 一元折叠遇到空包,(&& args...) 默认返回 true(|| args...) 返回 false(, args...) 返回 void()
  • 其他一元折叠(如 (+ args...))空包时直接编译失败
  • 二元折叠不怕空包 —— 它直接返回 init,所以更安全、更常用

哪些运算符能用

几乎所有内置二元运算符都支持,包括:

  • 算术:+ - * / %
  • 位运算:& | ^ >>
  • 逻辑:&& ||(带短路)
  • 比较:== != >
  • 流插入:(常用于 std::cout )

不建议用 = 或复合赋值(如 +=),容易引发左值/求值顺序问题。

基本上就这些。写对括号、选对方向、空包有兜底,折叠表达式就能稳稳替你把参数包“串起来”。