<p>std::inner_product默认计算两范围对应元素乘积之和，等价于∑(a[i] * b[i])；支持自定义二元运算替换乘法与加法，本质是广义归约；优势在于语义清晰、利于编译器向量化优化及调试定位。</p>
std::inner_product 基本用法和默认行为
它默认就是算两个范围的内积：对应元素相乘再累加，等价于 ∑(a[i] * b[i])。不需要手写循环，也不用提前分配临时容器。
- 要求两个输入范围长度一致，否则行为未定义（常见崩溃或越界读）
- 第三个参数是初始值，不是“起点索引”，比如求和要传
0，求积得传1 - 迭代器类型必须支持
operator*和operator+，int、double、float都行，自定义类型需重载这两个操作符
<pre class="brush:php;toolbar:false;">#include <numeric>
#include <vector>
std::vector<double> a = {1.0, 2.0, 3.0};
std::vector<double> b = {4.0, 5.0, 6.0};
double result = std::inner_product(a.begin(), a.end(), b.begin(), 0.0); // 得 32.0
怎么改用自定义二元运算代替乘法和加法？
传入两个函数对象（或 lambda），分别替换“元素间运算”和“累加运算”。这不是可选功能，而是设计原意——std::inner_product 本质是广义归约，内积只是特例。
- 第一个函数作用于
*it1和*it2，返回中间值；第二个函数把当前累加结果和这个中间值合并 - 注意参数顺序：
binary_op1是(a_elem, b_elem)，binary_op2是(acc, value) - 若只改乘法（比如取绝对差），加法仍用
std::plus<>；反之亦然
<pre class="brush:php;toolbar:false;">// 计算曼哈顿距离：∑|a[i] - b[i]|
auto diff_abs = [](double x, double y) { return std::abs(x - y); };
double manhattan = std::inner_product(a.begin(), a.end(), b.begin(), 0.0, std::plus<>{}, diff_abs);
为什么用 std::inner_product 而不是手写 for 循环？
核心优势不在“少写几行”，而在语义明确 + 编译器优化空间大。标准库实现通常能触发向量化（如 AVX），尤其对 double/<code>float 数组；手写朴素循环反而容易阻碍优化。
- 调试时更易定位：出错直接报在
std::inner_product调用点，而不是某行sum += a[i]*b[i] - 不支持
std::span（C++20）直接传参，需用.begin()/.end()，这点容易忽略导致编译失败 - 对
std::valarray或原生数组，别忘了传对迭代器边界，std::end(arr)对原生数组无效，得用arr + N
常见编译错误和运行时陷阱
多数问题出在类型不匹配或迭代器失效，而非算法逻辑本身。
立即学习“C++免费学习笔记（深入）”；
-
error: no match for 'operator+' ...：初始值类型和二元操作返回类型不一致，比如传0但 lambda 返回double - 用
std::vector::data()当迭代器传入，却没保证内存连续（其实vector保证了，但deque不行） - 范围长度不等时不会报编译错，但运行时可能读越界——尤其用
std::vector::at()替代迭代器时会抛异常，而inner_product不会 - 浮点数累加顺序不固定，多次运行结果可能有微小差异（IEEE 754 关联性限制），别拿它做精确等值判断
实际用的时候，最常漏掉的是初始值类型和运算返回类型的隐式转换，比如用 0 初始化但数据是 double，编译器有时不报错但会降级精度。
