C++. Сборник рецептов - [107]

 // Используем преобразование с помощью унарной функции...
 transform(lst.begin(), lst.end(), back_inserter(out),
  strToUpper);
 printContainer(out);
 cin.clear();
 cout << Введите другой набор строк: ";
 list lst2(++start, end);
 out.clear();
 // ...или бинарную функцию и другую входную последовательность
 transform(lst.begin(), lst.end(), lst2.begin(),
  back_inserter(out), StrAppend);
 printContainer(out);
}

Обсуждение

Очевидно, что для преобразования данных используется transform. Он имеет две формы. Первая форма принимает последовательность, итератор вывод и унарный функтор. Он применяет функтор к каждому элементу последовательности и присваивает возвращаемое значение следующему значению, на которое указывает итератор вывода. Итератор вывода может быть другой последовательностью или началом оригинальной последовательности. В этом отношении transfоrm может выполнять преобразование как «на месте», так и копируя результат в другую последовательность.

Вот как выглядит объявление transform.

Out transform(In first, In last, Out result, UnFunc f);
Out transform(In first1, In last1, In first2, In last2,
 Out result, BinFunc f);

Обе версии возвращают итератор, который указывает на один после конца результирующей последовательности.

Использование обеих версий очень просто. Чтобы скопировать строку из одной последовательности в другую, но с преобразованием ее к верхнему регистру, сделайте так, как в примере 7.9.

std::transform(lst.begin(), lst.end(),
 std::back_inserter(out), strToUpper);

Если требуется изменить первоначальную последовательность, просто передайте в качестве результирующего итератора начало этой последовательности.

std::transform(lst.begin(), lst.end(),
 lst.begin(), strToUpper);

Использование двух последовательностей и бинарной операции работает точно так же. и в качестве выходной последовательности можно использовать одну из входных.

Если требуется преобразовать элементы на месте, можно избежать накладных расходов на присвоение каждому элементу возвращаемого значения некоторой функции. Или, если функтор, который требуется использовать, изменяет свой объект-источник, то можно использовать for_each.

void strToUpperInPlace(string& s) {
 for (string::iterator p = s.begin(); p != s.end(); ++p)
  *p = std::toupper(*p);
}

// ...
std::for_each(lst.begin(), lst.end(), strToUpperInPlace);

Если же все, что требуется сделать, — это изменить саму последовательность, не изменяя каждый из ее элементов, то в рецепте 7.6 описывается множество стандартных алгоритмов для реорганизации элементов в последовательностях.

Смотри также

Рецепты 7.1 и 7.6.

7.10. Написание собственного алгоритма

Проблема

Для диапазона требуется выполнить алгоритм, и ни один из стандартных алгоритмов не удовлетворяет требованиям.

Решение

Напишите алгоритм в виде шаблона функции и с помощью имен параметров шаблона укажите свои требования к итератору. В примере 7.10 показан измененный стандартный алгоритм сору.

Пример 7.10. Написание собственного алгоритма

#include
#include
#include
#include
#include
#include
#include
#include "utils.h" // Для printContainer(): см. 7.10

using namespace std;

template
Out copyIf(In first, In last, Out result, UnPred pred) {
 for ( ; first != last; ++first)
  if (pred(*first)) *results = *first;
 return(result);
}

int main() {
 cout << "Введите несколько строк: ";
 istream_iterator start(cin);
 istream_iterator end; // Здесь создается "маркер"
 vector v(start, end);
 list lst;
 copyIf(v.begin(), v.end(), back_inserter >(lst),
  bind2nd(less(), "cookie"));
 printContainer(lst);
}

Запуск примера 7.10 будет выглядеть примерно так.

Введите несколько строк: apple banana danish eclaire
^Z
-----
apple banana

Вы видите, что он копирует в результирующий диапазон только те значения, которые меньше, чем «cookie».

Обсуждение

Стандартная библиотека содержит шаблон функции сору, который копирует элементы из одного диапазона в другой, но нет стандартной версии, которая принимает предикат и выполняет условное копирование элементов (т.е. алгоритм copy_if), так что пример 7.10 делает именно это. Его поведение довольно просто: при наличии диапазона-источника и начала диапазона-приемника производится копирование в целевой диапазон элементов, для которых унарный функтор-предикат возвращает true.

Этот алгоритм прост, но в его реализации есть еще кое-что, что привлекает внимание. Посмотрев на объявление, вы увидите, что в нем присутствует три параметра шаблона.

template
Out copyIf(In first, In last, Out result UnPred pred) {

Первый параметр шаблона In — это тип входного итератора. Так как это входной диапазон, все, что должен иметь возможность сделать с ним copyIf, — это извлечь разыменованное значение этого итератора и перевести итератор на следующий элемент. Это дает описание категории итератора ввода (категории итераторов описаны в рецепте 7.1), так что с помощью указания имени параметра шаблона