std:: inner_product

내적(즉, 곱의 합)을 계산하거나 범위 [ first1 , last1 ) 와 std:: distance ( first1, last1 ) 개의 원소로 이루어진 first2 부터 시작하는 범위에 대해 정렬된 map/reduce 연산을 수행합니다.

last2 를 std:: distance ( first1, last1 ) 번째 다음 반복자로 지정할 때, 다음 조건 중 하나라도 만족되면 동작은 정의되지 않습니다:

• T 는 CopyConstructible 이 아닙니다.
• T 는 CopyAssignable 이 아닙니다.
• op1 또는 op2 가 [ first1 , last1 ) 또는 [ first2 , last2 ) 의 어떤 요소도 수정하는 경우.
• op1 또는 op2 가 [ first1 , last1 ] 또는 [ first2 , last2 ] 의 어떤 반복자나 부분 범위를 무효화하는 경우.

매개변수

반환값

acc 모든 수정 후.

가능한 구현

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

template<class InputIt1, class InputIt2, class T,
         class BinaryOp1, class BinaryOp2>
constexpr // since 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)); // std::move since C++20
        ++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++ 표준에 소급 적용되었습니다.

참고 항목