Обратите внимание на то, что первый аргумент

функции одновременно является ее возвращаемым значением. Это позволяет создавать “цепочки” операторов вывода. Например, мы могли бы вывести сразу две даты.

В этом случае сначала был бы выполнен первый оператор

, а затем второй.

Иначе говоря, сначала происходит первый вывод объекта

в поток , а затем вывод объекта в поток вывода, являющийся результатом выполнения первого оператора. Фактически мы можем использовать любой из указанных трех вариантов вывода объектов и . Однако один из этих вариантов намного проще остальных.

Определение оператора ввода

для заданного типа и формат ввода обычно тесно связаны с обработкой ошибок. Следовательно, эта задача может оказаться довольной сложной.

Рассмотрим простой оператор ввода для типа

из раздела 9.8, который считывает даты, ранее записанные с помощью оператора , определенного выше.

Этот оператор

вводит такие тройки, как , и пытается создать объект типа из заданных трех чисел. Как правило, выполнить ввод данных намного труднее, чем их вывод. Просто при вводе данных намного больше возможностей для появления ошибок, чем при выводе.

Если данный оператор

не находит трех чисел, заданных в формате (целое, целое, целое), то поток ввода перейдет в одно из состояний, , или , а целевой объект типа останется неизмененным. Для установки состояния потока используется функция-член . Очевидно, что флаг переводит поток в состояние . В идеале при сбое во время чтения следовало бы оставить объект класса без изменений; это привело бы к более ясному коду. В идеале хотелось бы, чтобы функция отбрасывала любые символы, которые она не использует, но в данном случае это было бы слишком трудно сделать: мы должны были бы прочитать слишком много символов, пока не обнаружится ошибка формата. В качестве примера рассмотрим тройку . Только когда мы увидим закрывающую фигурную скобку, , обнаружится ошибка формата, и нам придется вернуть в поток много символов. Функция позволяет вернуть только один символ. Если функция считывает неправильный объект класса , например , конструктор класса сгенерирует исключение, которое приведет к прекращению выполнения оператора .

В разделе 10.5 мы видели, как считываются и записываются файлы. Однако тогда мы еще не рассматривали обработку ошибок (см. раздел 10.6) и считали, что файл считывается от начала до конца. Это разумное предположение, поскольку мы часто отдельно проверяем корректность файла. Тем не менее мы часто хотим выполнять проверку считанных данных в ходе их ввода. Рассмотрим общую стратегию, предполагая, что объект

относится к классу .

Иначе говоря, мы считываем последовательность значений, записывая их переменные, а когда не можем больше считать ни одного значения, проверяем состояние потока, чтобы понять, что случилось. Как показано в разделе 10.6, эту стратегию можно усовершенствовать, заставив поток

генерировать исключение типа failure в случае сбоя. Это позволит нам не постоянно выполнять проверку.