C++ fold expression折叠表达式怎么用-C++-PHP中文网

折叠表达式本质是编译期展开参数包的语法糖，专用于可变参数模板，将参数包用同一运算符连算，如(args + ...)等价于a1 + (a2 + a3)；必须在模板中使用，有左折、右折、一元、二元四种形式，空包需谨慎处理。

c++ fold expression折叠表达式怎么用

fold expression 本质是模板参数包的「连算」

它不是新运算符，而是编译期展开语法糖，专为 template<typename... args></typename...> 这类可变参数模板设计。核心作用：把参数包里的每个类型或值，用同一个二元操作符（如 +、&&、std::cout ）串起来计算 —— 展开后等价于手写 <code>a1 op a2 op a3 ... op aN。

必须在函数模板或变量模板中使用，不能裸写；操作符必须对所有参数类型合法，否则 SFINAE 或硬编译错误。

四种写法别混用：左折、右折、一元左折、一元右折

区别全在括号位置和省略号方向，直接影响结合顺序和是否需要初始值：

(args + ...)：一元右折，等价于 args1 + (args2 + (args3 + ...))，要求至少一个参数
(... + args)：一元左折，等价于 ((... + args1) + args2) + args3，同样要求至少一个参数
(init + ... + args)：二元右折，等价于 init + (args1 + (args2 + ...))，允许零个参数（结果就是 init）
(args + ... + init)：二元左折，等价于 ((init + args1) + args2) + ...，也支持零参数

常见误写：(... args) 缺操作符、(args ...) 省略号位置错 —— 都直接报错，错误信息通常是 expected '...' before 或 syntax error in template argument list。

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

实用场景：日志输出、数值聚合、条件校验

折叠表达式真正省事的地方，是避免手写递归模板或 if constexpr 展开分支：

template<typename... args>
void log(Args&&... args) {
    (std::cout (args)) 
constexpr bool all_true(Bools... bs) {
    return (true && ... && bs); // 二元右折，空包返回 true
}

template<typename t typename... args>
constexpr bool any_same_type(Args&&... args) {
    return (std::is_same_v<t std::decay_t>> || ...); // 右折，短路由编译器决定
}</t></typename></typename...>

注意：流操作符 是左结合，但折叠本身不控制求值顺序 —— <code>std::cout 是从左到右执行，而 <code>(std::cout 展开后也是同样顺序，这点安全。

容易踩的坑：类型不一致、求值顺序陷阱、编译器支持版本

折叠表达式看着简洁，但几个隐性约束常导致失败：

所有参数必须能参与同一操作：比如 (args + ...) 中混入 std::string 和 int，除非你重载了 operator+，否则报错
没有运行时短路：(false && ... && cond()) 会调用全部 cond()，即使第一个是 false —— 折叠是展开后生成完整表达式，不是逻辑短路语义
C++17 起才支持，Clang 5+、GCC 7+、MSVC 2017 15.3+；用 /std:c++17 或 -std=c++17 显式开启，否则报 fold expression not allowed