Алгоритм transform()

template< class InputIterator, class OutputIterator,

class UnaryOperation >

OutputIterator

transform( InputIterator first, InputIterator last,

OutputIterator result, UnaryOperation op );

template< class InputIterator1, class InputIterator2,

class OutputIterator, class BinaryOperation >

OutputIterator

transform( InputIterator1 first1, InputIterator1 last,

InputIterator2 first2, OutputIterator result,

BinaryOperation bop );

Первый вариант transform() генерирует новую последовательность, применяя операцию op к каждому элементу из диапазона [first,last). Например, если есть последовательность {0,1,1,2,3,5} и объект-функция Double, удваивающий свой аргумент, то в результате получим {0,2,2,4,6,10}.

Второй вариант генерирует новую последовательность, применяя бинарную операцию bop к паре элементов, один из которых взят из диапазона [first1,last1), а второй – из последовательности, начинающейся с first2. Поведение программы не определено, если во второй последовательности меньше элементов, чем в первой. Например, для двух последовательностей {1,3,5,9} и {2,4,6,8} и объекта-функции AddAndDouble, которая складывает два элемента и удваивает их сумму, результатом будет {6,14,22,34}.

Оба варианта transform() помещают результирующую последовательность в контейнер с элемента, на который указывает итератор result. Этот итератор может адресовать и элемент любого из входных контейнеров, в таком случае исходные элементы будут заменены на результат выполнения transform(). Выходной итератор указывает на элемент за последним помещенным в результирующий контейнер.

#include <algorithm>

#include <vector>

#include <math.h>

#include <iostream.h>

/*

* печатается:

исходный массив: 3 5 8 13 21

преобразование элементов путем удваивания: 6 10 16 26 42

преобразование элементов путем взятия разности: 3 5 8 13 21

*/

int double_val( int val ) { return val + val; }

int difference( int val1, int val2 ) {

return abs( val1 - val2 ); }

int main()

{

int ia[] = { 3, 5, 8, 13, 21 };

vector<int, allocator> vec( 5 );

ostream_iterator<int> outfile( cout, " " );

cout << "исходный массив: ";

copy( ia, ia+5, outfile ); cout << endl;

cout << "преобразование элементов путем удваивания: ";

transform( ia, ia+5, vec.begin(), double_val );

copy( vec.begin(), vec.end(), outfile ); cout << endl;

cout << "преобразование элементов путем взятия разности: ";

transform( ia, ia+5, vec.begin(), outfile, difference );

cout << endl;

}

Алгоритм unique()

template< class ForwardIterator >

ForwardIterator

unique( ForwardIterator first,

ForwardIterator last );

template< class ForwardIterator, class BinaryPredicate >

ForwardIterator

unique( ForwardIterator first,

ForwardIterator last, BinaryPredicate pred );

Все группы равных соседних элементов заменяются одним. В первом варианте при сравнении используется оператор равенства, определенный для типа элементов в контейнере. Во втором варианте два элемента равны, если бинарный предикат pred для них возвращает true. Таким образом, слово mississippi будет преобразовано в misisipi. Обратите внимание, что три буквы 'i' не являются соседними, поэтому они не заменяются одной, как и две пары несоседних 's'. Если нужно, чтобы все одинаковые элементы были заменены одним, придется сначала отсортировать контейнер.

На самом деле поведение unique() интуитивно не совсем очевидно и напоминает remove(). В обоих случаях размер контейнера не изменяется: каждый уникальный элемент помещается в очередную позицию, начиная с first.

В нашем примере физически будет получено слово misisipippi, где ppi – остаток, “отходы” алгоритма. Возвращаемый итератор указывает на начало этого остатка и обычно передается алгоритму erase() для удаления ненужных элементов. (Поскольку для встроенного массива операция erase() не поддерживается, то лучше воспользоваться алгоритмом unique_copy().)