C++中的std::accumulate怎么用？C++ STL数值算法函数教程【算法库】

std::accumulate是C++ STL中用于数值累加的通用函数，支持默认求和及自定义二元操作，返回类型由初始值类型决定，需注意类型匹配与溢出风险。

std::accumulate 是 C++ STL 头文件里最常用、最直观的数值累加函数，它能把一个范围内的所有元素“加起来”，但不止于加法——还能自定义运算规则。

基础用法：默认求和

最常见场景就是对容器（如 vector、array）做求和：

• 需要包含头文件：#include
• 前两个参数是迭代器范围（左闭右开），第三个是初始值（非常重要！不能漏）
• 默认使用 operator+，所以元素类型必须支持加法

例子：

vector v = {1, 2, 3, 4, 5};
int sum = accumulate(v.begin(), v.end(), 0); // 结果是 15

用自定义二元操作：不只是加法

第四个参数可以传入任意接受两个参数的可调用对象（lambda、函数指针、functor），实现乘积、最大值、字符串拼接等：

• 注意：初始值仍参与第一次运算，逻辑是 op(init, *first)，不是跳过 init
• 操作必须满足结合律（尤其并行版本 accumulate 有要求），但普通版没强制校验

例子（计算乘积）：

vector v = {2, 3, 4};
int product = accumulate(v.begin(), v.end(), 1, multiplies{}); // 24
// 或用 lambda：
auto prod = accumulate(v.begin(), v.end(), 1, [](int a, int b) { return a * b; });

小心类型和溢出：初始值决定返回类型

accumulate 的返回类型完全由第三个参数（init）的类型决定，和容器元素类型无关：

• 如果 init 是 int，哪怕 vector 是 long long，结果也会被截断成 int
• 累加过程不自动提升类型，溢出行为和内置类型一致（有符号整数是未定义行为）
• 建议显式用足够宽的类型作 init，比如 0LL、0.0、ll(0)

反例：

vector bigs = {1000000000LL, 1000000000LL};
int bad = accumulate(bigs.begin(), bigs.end(), 0); // 可能溢出为负数
long long good = accumulate(bigs.begin(), bigs.end(), 0LL); // 安全

进阶技巧：配合其他 STL 组件使用

accumulate 不仅能算数，还能构建更复杂逻辑：

• 统计满足条件的个数：accumulate(v.begin(), v.end(), 0, [](int n, int x) { return n + (x > 0 ? 1 : 0); })
• 拼接字符串：accumulate(vstr.begin(), vstr.end(), string{}, [](const string& a, const string& b) { return a + " " + b; })
• 计算加权和：accumulate(zip_iter, ..., 0.0, [](double s, auto p) { return s + p.first * p.second; })（需配合 zip_view 或手动配对）

注意：它不检查空范围——空区间时直接返回 init，这是合理且安全的设计。

基本上就这些。用熟了你会发现，它比手写 for 循环更简洁，比 reduce 更易理解，是日常数值聚合的首选工具。