Стенли Липпман - Язык программирования C++. Пятое издание

• Адаптер inserterсоздает итератор, использующий функцию insert(). Кроме имени контейнера, адаптеру inserterпередают второй аргумент: итератор, указывающий позицию, перед которой должна начаться вставка.

Адаптер front_inserterможно использовать, только если у контейнера есть функция push_front(). Аналогично адаптер back_inserterможно использовать, только если у контейнера есть функция push_back().

Важно понимать, что при вызове адаптера inserter(с, iter)возвращается итератор, который при использовании вставляет элементы перед элементом, первоначально обозначенным итератором iter. Таким образом, если it— итератор, созданный адаптером inserter, то присвоение *it = val;ведет себя, как следующий код:

it = c.insert(it, val); // it указывает на недавно добавленный элемент

++it; // инкремент it, чтобы он указывал на тот же элемент,

// что и прежде

Итератор, созданный адаптером front_inserter, ведет себя прямо противоположно итератору, созданному адаптером inserter. При использовании адаптера front_inserterэлементы всегда вставляются перед текущим первым элементом контейнера. Даже если переданная адаптеру inserterпозиция первоначально обозначает первый элемент, то, как только будет вставлен элемент перед этим элементом, он больше не будет элементом в начале контейнера:

list lst = {1,2,3,4};

list lst2, lst3; // пустой список

// после завершения копирования, lst2 содержит 4 3 2 1

copy(lst.cbegin(), lst.cend(), front_inserter(lst2));

// после завершения копирования, lst3 содержит 1 2 3 4

copy(lst.cbegin(), lst.cend(), inserter(lst3, lst3.begin()));

Когда происходит вызов front_inserter(c), возвращается итератор вставки, который последовательно вызывает функцию push_front(). По мере вставки каждого элемента он становится новым первым элементом контейнера с. Следовательно, адаптер front_inserterвозвращает итератор, который полностью изменяет порядок последовательности, в которую осуществляется вставка; адаптеры inserterи back_inserterтак не поступают.

Упражнение 10.26. Объясните различия между тремя итераторами вставки.

Упражнение 10.27. В дополнение к функции unique()(см. раздел 10.2.3) библиотека определяет функцию unique_copy(), получающую третий итератор, обозначающий назначение копирования уникальных элементов. Напишите программу, которая использует функцию unique_copy()для копирования уникальных элементов вектора в первоначально пустой список.

Упражнение 10.28. Скопируйте вектор, содержащий значения от 1до 9, в три других контейнера. Используйте адаптеры inserter, back_inserterи front_inserterсоответственно для добавления элементов в эти контейнеры. Предскажите вид результирующей последовательности в зависимости от вида адаптера вставки и проверьте свои предсказания на написанной программе.

Хотя типы iostreamне относятся к контейнерам, есть итераторы, применимые к объектам типов ввода-вывода (см. раздел 8.1). Итератор istream_iterator(табл. 10.3) читает входной поток, а итератор ostream_iterator(табл. 10.4) пишет в поток вывода. Эти итераторы рассматривают свой поток как последовательность элементов определенного типа. Используя потоковый итератор, можно применять обобщенные алгоритмы для чтения или записи данных в объекты потоков.

Таблица 10.3. Операторы итератора istream_iterator

Когда создается потоковый итератор, необходимо определить тип объектов, которые итератор будет читать или записывать. Итератор istream_iteratorиспользует оператор >>для чтения из потока. Поэтому тип, читаемый итератором istream_iterator, должен определять оператор ввода. При создании итератор istream_iteratorследует связать с потоком. В качестве альтернативы итератор можно инициализировать значением по умолчанию. В результате будет создан итератор, который можно использовать как значение после конца.

istream_iterator int_it(cin); // читает целые числа из cin

istream_iterator int_eof; // конечное значение итератора

ifstream in("afile");

istream_iterator str_it(in); // читает строки из "afile"

Для примера используем итератор istream_iteratorдля чтения со стандартного устройства ввода в вектор:

istream_iterator in_iter(cin); // читает целые числа из cin

istream_iterator eof; // "конечный" итератор istream

while (in_iter != eof) // пока есть что читать

// постфиксный инкремент читает поток и возвращает прежнее значение

// итератора. Обращение к значению этого итератора предоставляет

// предыдущее значение, прочитанное из потока

vec.push_back(*in_iter++);

Этот цикл читает целые числа из потока cin, сохраняя прочитанное в вектор vec. На каждой итерации цикл проверяет, не совпадает ли итератор in_iterсо значением eof. Этот итератор был определен как пустой итератор istream_iterator, который используется как конечный итератор. Связанный с потоком итератор равен конечному итератору, только если связанный с ним поток достиг конца файла или произошла ошибка ввода-вывода.

Самая трудная часть этой программы — аргумент функции push_back(), который использует обращение к значению и постфиксные операторы инкремента. Это выражение работает точно так же, как и другие выражения, совмещающие обращение к значению с постфиксным инкрементом (см. раздел 4.5). Постфиксный инкремент переводит поток на чтение следующего значения, но возвращает прежнее значение итератора. Это прежнее значение содержит прежнее значение, прочитанное из потока. Для того чтобы получить это значение, осуществляется обращение к значению этого итератора.