std::transform_reduce
定义于头文件 <numeric> |
||
template< class InputIt1, class InputIt2, class T > T transform_reduce( InputIt1 first1, InputIt1 last1, |
(1) | (C++17 起) (C++20 起为 constexpr) |
template< class ExecutionPolicy, class ForwardIt1, class ForwardIt2, class T > |
(2) | (C++17 起) |
template< class InputIt1, class InputIt2, class T, class BinaryOp1, class BinaryOp2 > |
(3) | (C++17 起) (C++20 起为 constexpr) |
template< class ExecutionPolicy, class ForwardIt1, class ForwardIt2, class T, |
(4) | (C++17 起) |
template< class InputIt, class T, class BinaryOp, class UnaryOp > |
(5) | (C++17 起) (C++20 起为 constexpr) |
template< class ExecutionPolicy, class ForwardIt, class T, |
(6) | (C++17 起) |
std::plus<>(), std::multiplies<>()),实际上是默认 std::inner_product 的并行化版本。
[
first1,
last1)
和从 first2 开始的 std::distance(first1, last1) 个元素的范围中的每对元素应用 transform,并与初始值 init 一起通过 reduce 归约结果(可能以未指定的方式置换和聚合)。T
,则程序格式错误- reduce(init, init)
- reduce(init, transform(*first1, *first2))
- reduce(transform(*first1, *first2), init)
- reduce(transform(*first1, *first2), transform(*first1, *first2))
-
T
不是 可移动构造 (MoveConstructible) 的。 - transform 或 reduce 修改了
[
first1,
last1)
或[
first2,
last2)
的任何元素。 - transform 或 reduce 使
[
first1,
last1]
或[
first2,
last2]
的任何迭代器或子范围失效。
[
first,
last)
中的每个元素应用 transform,并与初始值 init 一起通过 reduce 归约结果(可能以未指定的方式置换和聚合)。T
,则程序格式错误- reduce(init, init)
- reduce(init, transform(*first))
- reduce(transform(*first), init)
- reduce(transform(*first), transform(*first))
-
T
不是 可移动构造 (MoveConstructible) 的。 - transform 或 reduce 修改了
[
first,
last)
的任何元素。 - transform 或 reduce 使
[
first,
last]
的任何迭代器或子范围失效。
std::is_execution_policy_v<std::decay_t<ExecutionPolicy>> 为 true。 |
(C++20 前) |
std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>> 为 true。 |
(C++20 起) |
目录 |
[edit] 参数
first1, last1 | - | 定义作为 transform 的左操作数的元素的范围的迭代器对 |
first2 | - | 作为 transform 的右操作数的元素的范围的开始 |
first, last | - | 定义作为 transform 的操作数的元素的范围的迭代器对 |
init | - | 广义和的初始值 |
policy | - | 要使用的 执行策略 |
reduce | - | 二元函数对象,将以未指定顺序应用于 transform 的结果、其他 reduce 的结果和 init。 |
transform | - | 一元或二元函数对象,将应用于输入范围的每个元素。返回类型必须是 reduce 可接受的输入。 |
类型要求 | ||
-InputIt1, InputIt2, InputIt 必须满足 LegacyInputIterator 的要求。 | ||
-ForwardIt1, ForwardIt2, ForwardIt 必须满足 LegacyForwardIterator 的要求。 |
[edit] 返回值
一组元素在二元操作 binary_op 下的广义和定义如下
- 如果组中只有一个元素,则和就是该元素的值。
- 否则,按顺序执行以下操作:
- 从组中取出任意两个元素 elem1 和 elem2。
- 计算 binary_op(elem1, elem2) 并将结果放回组中。
- 重复步骤 1 和 2,直到组中只剩下一个元素。
[edit] 复杂度
给定 N 为 std::distance(first1, last1)(或 std::distance(first, last) 用于重载 (5,6))
[edit] 异常
带有模板参数 ExecutionPolicy
的重载按如下方式报告错误
- 如果作为算法一部分调用的函数执行抛出异常,并且
ExecutionPolicy
是标准策略之一,则调用 std::terminate。对于任何其他ExecutionPolicy
,行为是实现定义的。 - 如果算法未能分配内存,则抛出 std::bad_alloc。
[edit] 注意
transform 从未应用于 init。
如果 first == last 或 first1 == last1,则返回未修改的 init。
[edit] 示例
transform_reduce
可用于并行化 std::inner_product。某些系统可能需要额外的支持才能获得并行执行的优势。例如,在 GNU/Linux 上,可能需要安装 Intel TBB 并向 gcc/clang 编译器提供 -ltbb 选项。
#if PARALLEL #include <execution> #define PAR std::execution::par, #else #define PAR #endif #include <algorithm> #include <functional> #include <iostream> #include <iterator> #include <locale> #include <numeric> #include <vector> // to parallelize non-associate accumulative operation, you'd better choose // transform_reduce instead of reduce; e.g., a + b * b != b + a * a void print_sum_squared(long const num) { std::cout.imbue(std::locale{"en_US.UTF8"}); std::cout << "num = " << num << '\n'; // create an immutable vector filled with pattern: 1,2,3,4, 1,2,3,4 ... const std::vector<long> v{[n = num * 4] { std::vector<long> v; v.reserve(n); std::generate_n(std::back_inserter(v), n, [i = 0]() mutable { return 1 + i++ % 4; }); return v; }()}; auto squared_sum = [](auto sum, auto val) { return sum + val * val; }; auto sum1 = std::accumulate(v.cbegin(), v.cend(), 0L, squared_sum); std::cout << "accumulate(): " << sum1 << '\n'; auto sum2 = std::reduce(PAR v.cbegin(), v.cend(), 0L, squared_sum); std::cout << "reduce(): " << sum2 << '\n'; auto sum3 = std::transform_reduce(PAR v.cbegin(), v.cend(), 0L, std::plus{}, [](auto val) { return val * val; }); std::cout << "transform_reduce(): " << sum3 << "\n\n"; } int main() { print_sum_squared(1); print_sum_squared(1'000); print_sum_squared(1'000'000); }
可能的输出
num = 1 accumulate(): 30 reduce(): 30 transform_reduce(): 30 num = 1,000 accumulate(): 30,000 reduce(): -7,025,681,278,312,630,348 transform_reduce(): 30,000 num = 1,000,000 accumulate(): 30,000,000 reduce(): -5,314,886,882,370,003,032 transform_reduce(): 30,000,000 // Compile-options for parallel execution on POSIX: // g++ -O2 -std=c++17 -Wall -Wextra -pedantic -DPARALLEL ./example.cpp -ltbb -o tr; ./tr
[edit] 另请参阅
对一个范围的元素进行求和或折叠 (函数模板) | |
对一个范围的元素应用函数,并将结果存储在目标范围中 (函数模板) | |
(C++17) |
类似于 std::accumulate,但顺序是乱序的 (函数模板) |