std::accumulate需传迭代器范围而非容器，初始值不可省略且决定返回类型与中间计算类型，支持自定义二元操作实现左折叠，C++23新增std::ranges::fold_left可直接传容器。
std::accumulate 默认行为就是求和，但必须传迭代器范围
std::accumulate 不直接接收容器，而是要求传入一对迭代器（begin() 和 end()），这是最容易卡住的地方。它底层不关心容器类型，只按迭代器逐个访问元素并累加。
常见错误是写成 std::accumulate(v) 或 std::accumulate(v.begin, v.end)（漏掉括号）——编译直接报错，典型错误信息类似：no matching function for call to 'accumulate'。
- 对
std::vector<int></int>、std::array<double></double>、甚至原生数组（用std::begin(arr)/std::end(arr)）都适用 - 初始值（第三个参数）不能省略：它决定返回类型和累加起点，比如求
vector<long></long>的和却传0，可能因类型提升出问题 - 如果容器为空，结果就是你传的初始值，不会崩溃
类型不匹配时结果意外截断或溢出
初始值类型决定了累加过程中的中间类型。比如容器是 vector<unsigned char></unsigned>，若传 0（int），累加时每个 unsigned char 会先转 int 再加；但若传 0U（unsigned int），整个过程就在无符号域里算。
更隐蔽的问题：用 0.0f 累加 double 容器，中间计算会降精度；用 0 累加 vector<size_t></size_t> 在 32 位环境可能溢出。
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 建议显式写出类型：对
vector<long long></long>用0LL，对vector<float></float>用0.0f - 不要依赖自动推导——
std::accumulate(v.begin(), v.end(), 0)中的0是int，哪怕v是vector<long></long> - 若不确定，用
decltype(*v.begin()){}或v.empty() ? 0 : *v.begin() * 0构造同类型零值（但通常直接写字面量更清晰）
自定义二元操作：不只是加法
std::accumulate 第四个参数可传函数对象，实现乘积、字符串拼接、最大值追踪等。但注意：它仍是左折叠（left fold），即 op(op(op(init, a0), a1), a2)，不是并行归约。
例如求乘积：std::accumulate(v.begin(), v.end(), 1, std::multiplies{})；拼接字符串：std::accumulate(v.begin(), v.end(), std::string{}, [](auto&& a, auto&& b) { return a + "-" + b; })。
- lambda 捕获要谨慎：若需引用外部变量，确保其生命周期覆盖整个 accumulate 调用
- 不能用
std::plus{}替代默认行为——虽然等价，但多此一举；默认就是加法，无需显式传 - 若操作不可交换（如字符串拼接、减法），顺序很重要，
std::accumulate严格从左到右
替代方案：C++23 std::ranges::fold_left 和性能提醒
C++23 引入了 std::ranges::fold_left，可以直接传容器（std::ranges::fold_left(v, 0, std::plus{})），语义更直观，且支持投影（std::ranges::fold_left(v, 0, std::plus{}, &Item::value)）。但目前主流编译器（GCC 13/Clang 16）需开启 -std=c++23 且标准库支持不一。
性能上，std::accumulate 几乎无开销——就是裸循环，比手写 for 循环还可能被更好优化（因语义明确）。唯一例外是传入复杂 lambda 且未内联时，但现代编译器通常能处理。
真正容易被忽略的是：它不检查迭代器有效性，也不做空容器特殊处理（其实不需要），但如果你传了 v.end() 和 v.begin() 反了，行为未定义——这种错误在调试模式下 STL 可能触发断言，但发布版直接崩。
