C++17 STL Стандартная библиотека шаблонов

10. Присвоение элементов итератору потока вывода для вывода их на экран — один из корректных способов использования итератора, но его создавали не для этого. Идея заключается в том, чтобы применить их вместе с алгоритмами. Самым простым алгоритмом является std::copy. Можно предоставить начальный и конечный итераторы вектора в качестве входного диапазона данных, а также итератор вывода потока в качестве итератора вывода. Алгоритм выведет все числа, содержащиеся в векторе. Сделаем это для обоих итераторов вывода, а затем сравним полученный результат с результатом работы циклов, написанных нами ранее:

  copy(begin(v), end(v), oit);

  cout << '\n';

  copy(begin(v), end(v), oit_comma);

  cout << '\n';

11. Помните функцию word_num, которая соотносит числа и строки — 1 с "one ", 2 с "two" и т.д.? Можно использовать для вывода данных и ее. Нужен только оператор вывода потока, имеющий шаблон, специализированный для типа string

, поскольку мы больше не выводим целые числа. Вместо алгоритма std::copy станем использовать алгоритм std::transform, поскольку он позволяет применять функцию преобразования для каждого элемента входного диапазона до того, как эти элементы будут скопированы в выходной диапазон.

  transform(begin(v), end(v),

            ostream_iterator<string>{cout, " "},

            word_num);

  cout << '\n';

12. В последней строке выходных данных наконец используем структуру bork. Мы могли бы передать алгоритму std::transform функцию преобразования, но не стали. Вместо этого можно просто создать итератор потока вывода, который специализирован для типа bork в вызове std::copy. В результате экземпляры типа bork

будут неявно создаваться на основе целых чисел, находящихся в диапазоне данных. Это даст интересные выходные данные:

  copy(begin(v), end(v),

       ostream_iterator{cout, "\n"});

}

13. Компиляция и запуск программы дадут следующий результат. Первые две строки полностью идентичны следующим двум строкам, как мы и ожидали.

Далее мы получили «аккуратные» строки, содержащие текстовое написание чисел, разделенное пробелами, а после этого — множество строк bork!, для них был использован разделитель "\n" вместо пробелов.

$ ./ostream_printing 12345

1, 2, 3, 4, 5,

12345

1, 2, 3, 4, 5,

one two three four five bork!

bork! bork!

bork! bork! bork!

bork! bork! bork! bork!

bork! bork! bork! bork! bork!

Как это работает

Мы увидели, что итератор std::ostream_iterator — всего лишь оболочка для функции вывода данных на экран, имеющая форму и синтаксис итератора. Инкрементирование этого итератора ни к чему не приводит. Его разыменование возвращает лишь прокси-объект, чей оператор присваивания перенаправляет аргумент в поток вывода.

Итераторы потока вывода, специализированные для типа T (например, ostream_ iterator), работают для всех типов, для которых предоставлена реализация ostream& operator<<(ostream&, const T&).

Итератор ostream_iterator

всегда пытается вызвать оператор << того типа, для которого он был специализирован, с помощью своего параметра шаблона. Он попробует неявно преобразовать типы, если это разрешено. Когда мы итерируем по диапазону элементов типа A, но копируем данные элементы в экземпляры типа output_iterator, то код будет работать при условии, что тип A можно неявно преобразовать к типу B. Мы сделали именно это для структуры bork: экземпляр типа bork можно неявно получить из целочисленного значения. Как следствие, можно легко сгенерировать множество строк "bork! " на консоли пользователя.

Если неявное преобразование выполнить нельзя, можно провести его самостоятельно с помощью алгоритма std::transform, что мы и сделали в комбинации с функцией word_num.

  Обратите внимание: как правило, разрешение неявного преобразования для пользовательских типов — плохой стиль программирования, поскольку такие преобразования являются распространенным источником ошибок, которые очень трудно найти. В нашем примере неявный конструктор скорее полезен, чем опасен, поскольку класс применяется только для вывода данных на экран.

Перенаправляем выходные данные в файл для конкретных разделов кода