std::ranges::fold_left是C++23新增算法,需编译器支持(GCC 13+/Clang 16+/MSVC 17.5+)并启用-std=c++23;必须传入范围、初始值和二元函数,不支持无初值重载,参数顺序固定,支持move-only类型,但不支持短路求值。

std::ranges::fold_left 是 C++23 新增的,不是所有编译器默认启用
你写完 std::ranges::fold_left 却报错“not declared in this scope”,大概率是因为没开 C++23 或标准库不支持。GCC 13+、Clang 16+ 才完整实现,且需显式启用:-std=c++23(不是 c++2b 或 c++latest,后者可能不稳定)。MSVC 2022 17.5+ 支持,但需确认已更新到最新工具集。
头文件只需 #include <ranges>,不用额外引 <numeric>——这点和旧版 std::accumulate 不同,容易漏掉或误加。
折叠操作必须提供二元函数和初始值,不能省略
std::ranges::fold_left 没有“无初值”重载(不像 Haskell 的 foldl1),哪怕范围非空也必须传初值。漏传会编译失败,错误信息通常是“no matching function for call to 'fold_left'”。
- 签名是:
std::ranges::fold_left(range, init, binary_op) -
init类型决定返回类型,且会被复制/移动多次,建议用const T&或T&&避免冗余构造 -
binary_op必须接受两个参数:左操作数(当前累积值)、右操作数(当前元素),返回新累积值;顺序不能反,否则逻辑出错
例如求和:
auto sum = std::ranges::fold_left(v, 0, std::plus{}); 若写成 std::ranges::fold_left(v, std::plus{}, 0) 就会编译不过——参数顺序固定。
立即学习“C++免费学习笔记(深入)”;
与 std::accumulate 的关键差异:迭代器 vs 范围,以及 move-only 类型支持
std::accumulate 接收迭代器对,std::ranges::fold_left 直接接收范围(std::ranges::range auto&&),更简洁;但它还支持 move-only 类型折叠,这是老接口做不到的。
组合式C++代码评审方案,融合静态分析、AI推理、多轮迭代评审和C++专项检查,适用于PR审查、增量代码审查、全项目评审和代码质量评分,触发词包括review cpp、cpp代码评审、C++review、代码审查。
比如折叠一个含 std::unique_ptr<int> 的 vector:
std::vector<std::unique_ptr<int>> ptrs = {/* ... */};
auto merged = std::ranges::fold_left(ptrs, std::make_unique<int>(0),
[](auto&& acc, auto&& ptr) {
*acc += *ptr;
return std::move(acc);
});这里 acc 是 move-only,std::accumulate 因要求左值引用传递而无法处理。注意 lambda 中必须显式 return std::move(acc),否则编译失败。
性能陷阱:fold_left 不做短路,且 binary_op 调用次数等于 range.size()
它不会像某些语言的 fold 那样在中间结果满足条件时提前退出(比如找第一个负数就停)。如果你需要短路逻辑,得自己手写循环或用 std::ranges::find_if + 后续处理。
另外,binary_op 被调用 exactly N 次(N == std::ranges::size(range)),哪怕 init 是默认构造的空对象。这意味着:如果 binary_op 开销大(比如字符串拼接、深拷贝),性能可能比预期差。
小技巧:对简单算术,用 std::plus{}、std::multiplies{} 等标准函子,它们是 constexpr 且无副作用;自定义 lambda 尽量标 constexpr 和 noexcept,帮助编译器优化。
真正麻烦的是当 range 是 lazy view(如 std::views::filter)时,fold_left 会强制遍历全部元素——没法跳过后续未计算项,这点和 eager 操作一致,但容易误以为“lazy view + fold = 懒求值”。

















