return os << '(' << d.year()
<< ',' << d.month()
<< ',' << d.day() << ')';
}
Таким образом, дата 30 августа 2004 года будет представлена как
(204,8,30)
. Такое простое представление элементов в виде списка типично для типов, содержащих небольшое количество членов, хотя мы могли бы реализовать более сложную идею или точнее учесть специфические потребности.
В разделе 9.6 мы упоминали о том, что оператор, определенный пользователем, выполняется с помощью вызова соответствующей функции. Рассмотрим пример. Если в программе определен оператор вывода
<<
для типа
Date
, то инструкция
cout<<d1;
где объект
d1
имеет тип
Date
, эквивалентна вызову функции
operator<<(cout,d1);
Обратите внимание на то, что первый аргумент
ostream&
функции
operator<<()
одновременно является ее возвращаемым значением. Это позволяет создавать “цепочки” операторов вывода. Например, мы могли бы вывести сразу две даты.
cout<<d1<<d2;
В этом случае сначала был бы выполнен первый оператор
<<
, а затем второй.
cout << d1 << d2; // т.е. operator<<(cout,d1) << d2;
// т.е. operator<<(operator<<(cout,d1),d2);
Иначе говоря, сначала происходит первый вывод объекта
d1
в поток
cout
, а затем вывод объекта
d2
в поток вывода, являющийся результатом выполнения первого оператора. Фактически мы можем использовать любой из указанных трех вариантов вывода объектов
d1
и
d2
. Однако один из этих вариантов намного проще остальных.
10.9. Операторы ввода, определенные пользователем
Определение оператора ввода
>>
для заданного типа и формат ввода обычно тесно связаны с обработкой ошибок. Следовательно, эта задача может оказаться довольной сложной.
Рассмотрим простой оператор ввода для типа
Date
из раздела 9.8, который считывает даты, ранее записанные с помощью оператора
<<
, определенного выше.
istream& operator>>(istream& is, Date& dd)
{
int y, m, d;
char ch1, ch2, ch3, ch4;
is >> ch1 >> y >> ch2 >> m >> ch3 >> d >> ch4;
if (!is) return is;
if (ch1!='(' || ch2!=',' || ch3!=',' || ch4!=')') { // ошибка
// формата
is.clear(ios_base::failbit);
return is;
}
dd = Date(y,Date::Month(m),d); // обновляем объект dd
return is;
}
Этот оператор
>>
вводит такие тройки, как
(2004,8,20)
, и пытается создать объект типа
Date
из заданных трех чисел. Как правило, выполнить ввод данных намного труднее, чем их вывод. Просто при вводе данных намного больше возможностей для появления ошибок, чем при выводе.
Если данный оператор
>>
не находит трех чисел, заданных в формате (
целое, целое, целое), то поток ввода перейдет в одно из состояний,
fail
,
eof
или
bad
, а целевой объект типа
Date
останется неизмененным. Для установки состояния потока
istream
используется функция-член
clear()
. Очевидно, что флаг
ios_base::failbit
переводит поток в состояние
fail()
. В идеале при сбое во время чтения следовало бы оставить объект класса
Date
без изменений; это привело бы к более ясному коду. В идеале хотелось бы, чтобы функция
operator>>()
отбрасывала любые символы, которые она не использует, но в данном случае это было бы слишком трудно сделать: мы должны были бы прочитать слишком много символов, пока не обнаружится ошибка формата. В качестве примера рассмотрим тройку
(2004, 8, 30}
. Только когда мы увидим закрывающую фигурную скобку,
}
, обнаружится ошибка формата, и нам придется вернуть в поток много символов. Функция
unget()
позволяет вернуть только один символ. Если функция
operator>>()
считывает неправильный объект класса
Date
, например
(2004,8,32)
, конструктор класса
Date
сгенерирует исключение, которое приведет к прекращению выполнения оператора
operator>>()
.
10.10. Стандартный цикл ввода
В разделе 10.5 мы видели, как считываются и записываются файлы. Однако тогда мы еще не рассматривали обработку ошибок (см. раздел 10.6) и считали, что файл считывается от начала до конца. Это разумное предположение, поскольку мы часто отдельно проверяем корректность файла. Тем не менее мы часто хотим выполнять проверку считанных данных в ходе их ввода. Рассмотрим общую стратегию, предполагая, что объект
ist
относится к классу
istream
.
