Д. Стефенс - C++. Сборник рецептов

Пример 7.9. Преобразование данных

#include

#include

#include

#include

#include

#include

#include

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

using namespace std;

// Преобразуем строки к верхнему регистру

string strToUpper(const string& s) {

string tmp;

for (string::const_iterator p = s.begin(); p != s.end(); ++p)

tmp += toupper(*p);

return(tmp);

}

string strAppend(const string& s1, const string& s2) {

return(s1 + s2);

}

int main() {

cout << "Введите несколько строк: ";

istream_iterator start(cin);

istream iterator end;

list lst(start, end), out;

// Используем преобразование с помощью унарной функции...

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. Написание собственного алгоритма

#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), так что с помощью указания имени параметра шаблона Inмы объявляем именно этот тип итератора. Стандартного соглашения здесь нет ( Inи Out— это мои соглашения, которые я описал в первом рецепте этой главы), но вы легко можете придумать свои собственные соглашения об именах: InIter, Input_Tили даже InputIterator.Второй параметр шаблона Out— это тип итератора, который указывает на диапазон, в который будут копироваться элементы, copyIfдолжен иметь возможность записать разыменованное значение в выходной итератор и увеличить его значение, что дает нам описание оператора вывода. Объявив требования к итераторам с помощью имен параметров шаблона, вы делаете соглашения о вызовах алгоритма понятными без документации. Но зачем использовать две разные категории итераторов?

Имеется, по крайней мере, две причины использования в copyIfдвух различных категорий итераторов. Во-первых, операции с каждым диапазоном несколько отличаются друг от друга, и так как мне никогда не потребуется возвращаться назад по входному диапазону или присваивать ему значения, все, что мне требуется, — это итератор ввода. Аналогично мне никогда не потребуется читать из выходного диапазона, так что все, что здесь требуется, — это итератор вывода. Имеются требования к каждому из итераторов, которые не применимы к другому итератору, так что нет никакого смысла использовать для обоих диапазонов, например, два двунаправленных итератора. Во-вторых, использование различных типов итераторов позволяет вызывающему коду читать из одного типа диапазона и записывать в другой. В примере 7.10 я читаю из vectorи записываю в list.