std:: inner_product

计算内积（即元素乘积之和）或对范围 [ first1 , last1 ) 与起始于 first2 的 std:: distance ( first1, last1 ) 个元素范围执行有序映射/归约操作。

给定 last2 作为 std:: distance ( first1, last1 ) th 个 first2 的后继迭代器，若满足以下任意条件，则行为未定义：

• T 不满足 可复制构造 要求。
• T 不满足 可复制赋值 要求。
• op1 或 op2 修改了 [ first1 , last1 ) 或 [ first2 , last2 ) 中的任何元素。
• op1 或 op2 使 [ first1 , last1 ] 或 [ first2 , last2 ] 中的任何迭代器或子范围失效。

参数

返回值

acc 在所有修改之后。

可能的实现

template<class InputIt1, class InputIt2, class T>
constexpr // 自 C++20 起
T inner_product(InputIt1 first1, InputIt1 last1, InputIt2 first2, T init)
{
    while (first1 != last1)
    {
        init = std::move(init) + (*first1) * (*first2); // 自 C++20 起使用 std::move
        ++first1;
        ++first2;
    }
    return init;
}

template<class InputIt1, class InputIt2, class T,
         class BinaryOp1, class BinaryOp2>
constexpr // 自 C++20 起
T inner_product(InputIt1 first1, InputIt1 last1, InputIt2 first2, T init,
                BinaryOp1 op1, BinaryOp2 op2)
{
    while (first1 != last1)
    {
        init = op1(std::move(init), op2(*first1, *first2)); // 自 C++20 起使用 std::move
        ++first1;
        ++first2;
    }
    return init;
}

注释

该算法的并行化版本 std::transform_reduce 要求 op1 和 op2 满足交换律和结合律，但 std::inner_product 无此要求，且始终按给定顺序执行运算。

示例

#include <functional>
#include <iostream>
#include <numeric>
#include <vector>
int main()
{
    std::vector<int> a{0, 1, 2, 3, 4};
    std::vector<int> b{5, 4, 2, 3, 1};
    int r1 = std::inner_product(a.begin(), a.end(), b.begin(), 0);
    std::cout << "向量 a 和 b 的内积: " << r1 << '\n';
    int r2 = std::inner_product(a.begin(), a.end(), b.begin(), 0,
                                std::plus<>(), std::equal_to<>());
    std::cout << "向量 a 和 b 中对应位置相等的元素数量: " <<  r2 << '\n';
}

Inner product of a and b: 21
Number of pairwise matches between a and b: 2

缺陷报告

下列行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。

参见