【C++】STL 算法 - transform 变换算法 ( transform 函数原型 | 将 一个 或 两个 输入容器 中的元素 变换后 存储到 输出容器 中 )

文章目录

• 一、transform 算法
  • 1、transform 算法简介
  • 2、transform 算法函数原型 1 - 将 一个输入容器 中的元素 变换后 存储到 输出容器 中
  • 3、transform 算法函数原型 2 - 将 两个输入容器 中的元素 变换后 存储到 输出容器 中
  • 3、transform 算法源码分析

一、transform 算法

1、transform 算法简介

std::transform 是 STL 标准模板库 中的一个算法 , 该算法的作用是 用于对 容器 或 指定迭代器范围 的 每个元素 进行 指定的 " 转换操作 " , 并将 " 转换结果 " 存储到另一个容器中 ;

std::transform 算法 接受 一个 或 两个输入范围 , 以及一个输出范围 , 并 根据提供的 一元函数对象 或 二元函数对象 对 " 输入范围内的元素 " 进行转换 ;

2、transform 算法函数原型 1 - 将 一个输入容器 中的元素 变换后 存储到 输出容器 中

transform 算法函数原型 : 下面的函数原型作用是 将 一个输入容器 中的元素 变换后 存储到 输出容器 中 ;

template <class InputIt, class OutputIt, class UnaryOperation>  
OutputIt transform(InputIt first1, InputIt last1, OutputIt d_first, UnaryOperation unary_op);  

• 参数解析 :
  • InputIt first1 参数 : 输入容器 的 起始迭代器 ( 包含 ) ;
  • InputIt last1 参数 : 输入容器 的 终止迭代器 ( 不包含 ) ;
  • OutputIt d_first 参数 : 输出容器 的 开始迭代器 , 输出元素个数 根据 输入元素 的 范围确定 , transform 会将 变换结果存储到 输出容器中 ;
  • UnaryOperation unary_op 参数 : 一元函数对象 , 将输入容器 的 每个元素 输入到该 一元函数对象 中 , 将计算结果 输出到 输出容器 中 ;
• 返回值解析 :
  • 该 算法函数 返回 OutputIt 类型的 返回值是一个 迭代器 , 该迭代器指向最后一个被写入元素之后的位置 ;

3、transform 算法函数原型 2 - 将 两个输入容器 中的元素 变换后 存储到 输出容器 中

transform 算法函数原型 : 下面的函数原型作用是 将 两个输入容器 中的元素 变换后 存储到 输出容器 中 ;

template <class InputIt1, class InputIt2, class OutputIt, class BinaryOperation>  
OutputIt transform(InputIt1 first1, InputIt1 last1, InputIt2 first2, OutputIt d_first, BinaryOperation binary_op);

• 参数解析 :
  • InputIt first1 参数 : 第一个 输入容器 的 起始迭代器 ( 包含 ) ;
  • InputIt last1 参数 : 第一个 输入容器 的 终止迭代器 ( 不包含 ) ;
  • InputIt2 first2 参数 : 第二个 输入容器 的 起始迭代器 ( 包含 ) ;
  • OutputIt d_first 参数 : 输出容器 的 开始迭代器 , 输出元素个数 根据 输入元素 的 范围确定 , transform 会将 变换结果存储到 输出容器中 ;
  • BinaryOperation binary_op: 二元函数对象 , 将输入容器1 和 输入容器 2 的 每个元素 输入到该 二元函数对象 中 , 将计算结果 输出到 输出容器 中 ;
• 返回值解析 :
  • 该 算法函数 返回 OutputIt 类型的 返回值是一个 迭代器 , 该迭代器指向最后一个被写入元素之后的位置 ;

3、transform 算法源码分析

std::transform 函数源码分析 :

template <class _InIt1, class _InIt2, class _OutIt, class _Fn>
_OutIt transform(const _InIt1 _First1, const _InIt1 _Last1, const _InIt2 _First2, _OutIt _Dest, _Fn _Func) {
    // transform [_First1, _Last1) and [_First2, ...) with _Func
    _Adl_verify_range(_First1, _Last1);
    auto _UFirst1      = _Get_unwrapped(_First1);
    const auto _ULast1 = _Get_unwrapped(_Last1);
    const auto _Count  = _Idl_distance<_InIt1>(_UFirst1, _ULast1);
    auto _UFirst2      = _Get_unwrapped_n(_First2, _Count);
    auto _UDest        = _Get_unwrapped_n(_Dest, _Count);
    for (; _UFirst1 != _ULast1; ++_UFirst1, (void) ++_UFirst2, ++_UDest) {
        *_UDest = _Func(*_UFirst1, *_UFirst2);
    }

    _Seek_wrapped(_Dest, _UDest);
    return _Dest;
}

• const _InIt1 _First1 和 const _InIt1 _Last1 参数 : 第一个输入序列 的 迭代器范围 , _First1 是 范围起始迭代器 , _Last1 是 范围结束迭代器 ;
• const _InIt2 _First2 参数 : 定义了 第二个输入序列 的开始迭代器 , 该范围的元素个数 要 大于等于 第一输入序列的 元素个数 ;
• _OutIt _Dest 参数 : 输出序列的 开始位置迭代器 ;
• _Fn _Func 参数 : 函数对象 , 可以是 一元函数对象 或 二元函数对象 ;
  • 一元函数对象 : 接受一个参数 , 也就是来自第一个输入序列的元素 , 并返回转换后的值 ;
  • 二元函数对象 : 接受两个参数 , 第一个参数是 来自第一个输入序列的元素 , 第二个参数是 第二个输入序列的元素 , 计算完成后返回转换后的值 ;