C++如何使用std::ranges::fold_left进行范围元素的左向折叠运算-C++-PHP中文网

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

c++如何使用std::ranges::fold_left进行范围元素的左向折叠运算

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></ranges>，不用额外引 <numeric></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) 就会编译不过——参数顺序固定。

与 std::accumulate 的关键差异：迭代器 vs 范围，以及 move-only 类型支持

std::accumulate 接收迭代器对，std::ranges::fold_left 直接接收范围（std::ranges::range auto&&），更简洁；但它还支持 move-only 类型折叠，这是老接口做不到的。

比如折叠一个含 std::unique_ptr<int></int> 的 vector：

C++ Code Review Master

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

下载

std::vector<:unique_ptr>> ptrs = {/* ... */};
auto merged = std::ranges::fold_left(ptrs, std::make_unique<int>(0),
    [](auto&& acc, auto&& ptr) {
        *acc += *ptr;
        return std::move(acc);
    });</int></:unique_ptr>

这里 acc 是 move-only，std::accumulate 因要求左值引用传递而无法处理。注意 lambda 中必须显式 return std::move(acc)，否则编译失败。