以一个例子开始讨论:
int transmogrify(int x); // 该函数更具x生成一个新的值
std::vector<int> values;
...
std::list<int> results;
std::transform(values.begin(), values.end(), results.end(), transmogrify); //
transform将values中的每个元素作为参数,调用transmogrify后将返回值写入到results.end()开始的目标空间(赋值操作)。
可是,results为空,所以results.end()返回的迭代器为空,对其进行操作将导致未定义行为。
SGI STL中transform的实现如下:
template <class _InputIter, class _OutputIter, class _UnaryOperation>
_OutputIter transform(_InputIter __first, _InputIter __last,
_OutputIter __result, _UnaryOperation __opr) {
__STL_REQUIRES(_InputIter, _InputIterator);
__STL_REQUIRES(_OutputIter, _OutputIterator);
for ( ; __first != __last; ++__first, ++__result)
*__result = __opr(*__first); // 赋值
return __result;
}
template <class _InputIter1, class _InputIter2, class _OutputIter,
class _BinaryOperation>
_OutputIter transform(_InputIter1 __first1, _InputIter1 __last1,
_InputIter2 __first2, _OutputIter __result,
_BinaryOperation __binary_op) {
__STL_REQUIRES(_InputIter1, _InputIterator);
__STL_REQUIRES(_InputIter2, _InputIterator);
__STL_REQUIRES(_OutputIter, _OutputIterator);
for ( ; __first1 != __last1; ++__first1, ++__first2, ++__result)
*__result = __binary_op(*__first1, *__first2); // 赋值
return __result;
}
可以使用std::back_inserter(results)代替results.end(),修改如下:
int transmogrify(int x); // 该函数更具x生成一个新的值
std::vector<int> values;
...
std::list<int> results;
std::transform(values.begin(), values.end(), std::back_inserter(results), transmogrify); //
std::back_inserter()
实际调用的是容器的push_back()
。
当然,如果使要在results表头插入,可以使用std::front_inserter()
, 它实际调用得是容器的push_front()
, 修改如下:
int transmogrify(int x); // 该函数更具x生成一个新的值
std::vector<int> values;
...
std::list<int> results;
std::transform(values.begin(), values.end(), std::front_inserter(results), transmogrify); //
无论何时,如果所使用的算法需要指定一个目标空间,那么必须确保目标空间足够大,或者确保它会随着算法的运行而增大。要在算法执行过程中增大目标区间,请使用插入行迭代器,比如
ostream_iterator
或者有back_inserter
、front_inserter
、inserter
返回的迭代器。