定义于头文件
算法库提供大量用途的函数(例如查找、排序、计数、操作),它们在元素范围上操作。注意范围定义为 [first, last)
,其中 last
指代要查询或修改的最后元素的后一个元素。
std::transform
template< class InputIt, class OutputIt, class UnaryOperation > OutputIt transform( InputIt first1, InputIt last1, OutputIt d_first, UnaryOperation unary_op ); | (1) | (C++20 前) |
template< class InputIt, class OutputIt, class UnaryOperation > constexpr OutputIt transform( InputIt first1, InputIt last1, OutputIt d_first, UnaryOperation unary_op ); | (C++20 起) | |
template< class ExecutionPolicy, class ForwardIt1, class ForwardIt2, class UnaryOperation > ForwardIt2 transform( ExecutionPolicy&& policy, ForwardIt1 first1, ForwardIt1 last1, ForwardIt2 d_first, UnaryOperation unary_op ); | (2) | (C++17 起) |
template< class InputIt1, class InputIt2, class OutputIt, class BinaryOperation > OutputIt transform( InputIt1 first1, InputIt1 last1, InputIt2 first2, OutputIt d_first, BinaryOperation binary_op ); | (3) | (C++20 前) |
template< class InputIt1, class InputIt2, class OutputIt, class BinaryOperation > constexpr OutputIt transform( InputIt1 first1, InputIt1 last1, InputIt2 first2, OutputIt d_first, BinaryOperation binary_op ); | (C++20 起) | |
template< class ExecutionPolicy, class ForwardIt1, class ForwardIt2, class ForwardIt3, class BinaryOperation > ForwardIt3 transform( ExecutionPolicy&& policy, ForwardIt1 first1, ForwardIt1 last1, ForwardIt2 first2, ForwardIt3 d_first, BinaryOperation binary_op ); | (4) | (C++17 起) |
std::transform
应用给定的函数到范围并存储结果于始于 d_first
的另一范围。
1) 应用一元函数 unary_op
到 [first1, last1)
所定义的范围。
3) 应用二元函数 binary_op
到来自二个范围的元素对:一个以 [first1, last1)
定义,而另一个始于 first2
。
2,4) 同 (1,3) ,但按照 policy
执行。这些重载仅若 std::is_execution_policy_v
| (C++11 前) |
| (C++11 起) |
first1, last1 | - | 要变换的第一元素范围 |
first2 | - | 要变换的第二元素范围的起始 |
d_first | - | 目标范围的起始,可以等于 first1 或 first2 |
policy | - | 所用的执行策略。细节见执行策略。 |
unary_op | - | 将要应用的一元算符函数。 函数签名应等价于如下者: Ret fun(const Type &a); 签名不必有 const & 。 |
binary_op | - | 被使用的二元函数对象。 该函数的签名应当等价于: Ret fun(const Type1 &a, const Type2 &b); 签名中并不需要有 const &。 |
类型要求 | ||
- InputIt, InputIt1, InputIt2 必须满足遗留输入迭代器 (LegacyInputIterator) 的要求。 | ||
- OutputIt 必须满足遗留输出迭代器 (LegacyOutputIterator) 的要求。 | ||
- ForwardIt1, ForwardIt2, ForwardIt3 必须满足遗留向前迭代器 (LegacyForwardIterator) 的要求。 |
指向最后一个变换的元素的输出迭代器。
1-2) 准确应用 std::distance(first1, last1) 次 unary_op
。
3-4) 准确应用 std::distance(first1, last1) 次 binary_op
。
拥有名为 ExecutionPolicy
的模板形参的重载按下列方式报告错误:
ExecutionPolicy
为标准策略之一,则调用 std::terminate 。对于任何其他 ExecutionPolicy
,行为是实现定义的。- template<class InputIt, class OutputIt, class UnaryOperation>
- OutputIt transform(InputIt first1, InputIt last1, OutputIt d_first,
- UnaryOperation unary_op)
- {
- while (first1 != last1) {
- *d_first++ = unary_op(*first1++);
- }
- return d_first;
- }
- template<class InputIt1, class InputIt2,
- class OutputIt, class BinaryOperation>
- OutputIt transform(InputIt1 first1, InputIt1 last1, InputIt2 first2,
- OutputIt d_first, BinaryOperation binary_op)
- {
- while (first1 != last1) {
- *d_first++ = binary_op(*first1++, *first2++);
- }
- return d_first;
- }
std::transform
不保证按顺序应用 unary_op
或 binary_op
。为按顺序应用函数到数列,或应用修改序列元素的函数,应使用 std::for_each 。
- #include <algorithm>
- #include <cctype>
- #include <iostream>
- #include <string>
- #include <vector>
-
- int main()
- {
- std::string s("hello world");
- std::transform(s.begin(), s.end(), s.begin(),
- [](unsigned char c) -> unsigned char { return std::toupper(c); });
-
- std::vector<std::size_t> ordinals;
- std::transform(s.begin(), s.end(), std::back_inserter(ordinals),
- [](unsigned char c) -> std::size_t { return c; });
-
- std::cout << s << ':';
- for (auto ord : ordinals)
- {
- std::cout << ' ' << ord;
- }
- }