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

Поскольку алгоритмы используют функции итераторов, а потоковые итераторы поддерживают по крайней мере некоторые функции итератора, потоковые итераторы можно использовать с некоторыми из алгоритмов. Какие именно алгоритмы применимы с потоковыми итераторами, рассматривается в разделе 10.5.1. В качестве примера рассмотрим вызов функции accumulate()с парой итераторов istream_iterators:

istream_iterator in (cin), eof;

cout << accumulate(in, eof, 0) << endl;

Этот вызов создаст сумму значений, прочитанных со стандартного устройства ввода. Если ввод в этой программе будет таким:

23 109 45 89 6 34 12 90 34 23 56 23 8 89 23

то результат будет 664.

То, что итератор istream_iteratorсвязан с потоком, еще не гарантирует, что он начнет читать поток немедленно. Некоторые реализации разрешают задержать чтение потока, пока итератор не будет использован. Гарантированно, что поток будет прочитан перед первым обращением к значению итератора. Для большинства программ не имеет никакого значения, будет ли чтение немедленным или отсроченным. Но если создается итератор istream_iterator, который удаляется без использования, или если необходима синхронизация чтения того же потока из двух разных объектов, то тогда придется позаботиться и о моменте чтения.

Итератор ostream_iteratorможет быть определен для любого типа, у которого есть оператор вывода (оператор <<). При создании итератора ostream_iteratorможно (необязательно) предоставить второй аргумент, определяющий символьную строку, выводимую после каждого элемента. Это должна быть символьная строка в стиле С (т.е. строковый литерал или указатель на массив с нулевым символом в конце). Итератор ostream_iteratorследует связать с определенным потоком. Не бывает пустого итератора ostream_iteratorили такового после конца.

Таблица 10.4. Операторы итератора ostream_iterator

Итератор ostream_iteratorможно использовать для записи последовательности значений:

ostream_iterator out_iter(cout, " ");

for (auto e : vec)

*out_iter++ = e; // это присвоение запишет элемент в cout

cout << endl;

Эта программа запишет каждый элемент вектора vecв поток cout, сопровождая каждый элемент пробелом. При каждом присвоении значения итератора out_iterпроисходит запись.

Следует заметить, что при присвоении итератору out_iterможно пропустить обращение к значению и инкремент. Таким образом, этот цикл можно переписать так:

for (auto е : vec)

out_iter = е; // это присвоение запишет элемент в cout

cout << endl;

Операторы *и ++ничего не делают с итератором ostream_iterator, поэтому их пропуск никак не влияет на программу. Но предпочтительней писать цикл как в первом варианте. Он использует итератор единообразно с тем, как используются итераторы других типов. Этот цикл можно легко изменить так, чтобы он выполнялся итераторами других типов. Кроме того, поведение этого цикла понятней читателям нашего кода.

Чтобы не сочинять цикл самостоятельно, можно легко ввести элементы в вектор vecпри помощи алгоритма copy():

copy(vec.begin(), vec.end(), out_iter);

cout << endl;

Итератор istream_iteratorможно создать для любого типа, у которого есть оператор ввода ( >>). Точно так же итератор ostream_iteratorможно определить для любого типа, обладающего оператором вывода ( <<). Поскольку у класса Sales_itemесть оба оператора (ввода и вывода), итераторы ввода-вывода вполне можно использовать, чтобы переписать программу книжного магазина из раздела 1.6: