std::reduce

è‹¥ binary_op 非结合或非交换，则行为非确定。

è‹¥ binary_op 修改 [first; last] 中任何元素或非法化范围中任何迭代器，含尾迭代器，则行为未定义。

参数

返回值

init 及 *first 、 *(first+1) 、…… *(last-1) 在 binary_op 上的广义和，

其中广义和 GSUM(op, a
1, ..., a
N) 定义如下：

• è‹¥ N=1 ，则为 a
  1
• è‹¥ N > 1 ，则为 op(GSUM(op, b
  1, ..., b
  K), GSUM(op, b
  M, ..., b
  N)) ，其中

• b
  1, ..., b
  N 可以是任何 a1, ..., aN 的排列，且
• 1 < K+1 = M ≤ N

换言之， reduce 表现类似 std::accumulate ，除了范围中的元素可能以任意顺序分组并重排。

复杂度

O(last - first) 次应用 binary_op.

异常

拥有名为 ExecutionPolicy 的模板形参的重载按下列方式报告错误：

• 若作为算法一部分调用的函数的执行抛出异常，且 ExecutionPolicy 为标准策略之一，则调用 std::terminate 。对于任何其他 ExecutionPolicy ，行为是实现定义的。
• 若算法无法分配内存，则抛出 std::bad_alloc 。

注解

若范围为空，则返回不修改的 init 。

示例

#include <iostream>
#include <chrono>
#include <vector>
#include <numeric>
#include <execution>
 
int main()
{
    std::vector<double> v(10'000'007, 0.5);
 
    {
        auto t1 = std::chrono::high_resolution_clock::now();
        double result = std::accumulate(v.begin(), v.end(), 0.0);
        auto t2 = std::chrono::high_resolution_clock::now();
        std::chrono::duration<double, std::milli> ms = t2 - t1;
        std::cout << std::fixed << "std::accumulate result " << result
                  << " took " << ms.count() << " ms\n";
    }
 
    {
        auto t1 = std::chrono::high_resolution_clock::now();
        double result = std::reduce(std::execution::par, v.begin(), v.end());
        auto t2 = std::chrono::high_resolution_clock::now();
        std::chrono::duration<double, std::milli> ms = t2 - t1;
        std::cout << "std::reduce result "
                  << result << " took " << ms.count() << " ms\n";
    }
}

std::accumulate result 5000003.50000 took 12.7365 ms
std::reduce result 5000003.50000 took 5.06423 ms

参阅