std::accumulate是定义在<numeric>头文件中的通用累加算法，接受一对迭代器和初值，支持自定义运算、类型推导与空范围处理，非仅数组求和函数。
std::accumulate 是什么，不是数组求和函数
std::accumulate 是定义在 <numeric> 头文件里的通用算法，作用是「对迭代器范围内的元素做累加操作」，默认用 + 运算符。它不专为 C++ 数组设计，也不接受裸指针数组长度作为参数——它只认一对迭代器（或指针），比如 begin 和 end。
常见误解是把它当“C++ 版 sum()”，但它的行为更底层、更灵活：你可以换累加逻辑（比如乘积、字符串拼接）、指定初值、甚至用自定义函数对象。
对普通数组使用 std::accumulate 的正确姿势
原生 C 风格数组（如 int arr[5] = {1,2,3,4,5};）没有 .begin() 或 .size()，必须显式构造迭代器边界：
- 用
std::begin(arr)和std::end(arr)—— 最推荐，类型安全且可读 - 用
arr和arr + N—— 仅当 N 已知且是编译期常量时可用，易出错 - 不要传
arr和arr + sizeof(arr)：这是字节数，不是元素个数
示例：
立即学习“C++免费学习笔记（深入）”；
#include <numeric>
#include <iostream>
int main() {
int arr[] = {10, 20, 30};
int sum = std::accumulate(std::begin(arr), std::end(arr), 0);
std::cout << sum << "\n"; // 输出 60
}
初值（第三个参数）为什么不能省略？
std::accumulate 必须提供初值（第三个参数），否则编译失败。这不是疏忽，而是设计使然：
- 初值决定返回类型：传
0得int，传0.0得double，传std::string{}可用于拼接 - 空范围时，初值就是结果；若无初值，空容器就无法定义“和”
- 即使数组非空，省略初值会触发重载版本
accumulate(first, last, init, binary_op)的误匹配，导致编译错误
错误写法：std::accumulate(arr, arr+3) → 编译报错：no matching function
std::array 和 std::vector 怎么用？
它们自带 .begin()/.end()，用法一致，但要注意类型推导细节：
-
std::array<int, 3> a = {1,2,3};→std::accumulate(a.begin(), a.end(), 0)安全 -
std::vector<int> v = {1,2,3};→ 同上，但若v.empty()，初值仍直接返回 - 别用
v.data()+v.size()模拟指针范围：虽可行，但绕过迭代器接口，失去泛型优势
性能上无差异：所有情况都展开为简单循环，std::accumulate 本身零开销抽象。
最容易被忽略的是初值类型与容器元素类型的隐式转换风险。比如对 std::vector<unsigned char> 用 0 做初值，结果是 int，可能引发符号扩展或截断——此时应显式写 0U 或 static_cast<unsigned char>(0)。
