Программирование. Принципы и практика использования C++ Исправленное издание, стр. 143

// стоп!

if (ist.fail()) { // очищаем путаницу как можем и сообщаем

// об ошибке

ist.clear(); // очищаем состояние потока

// и теперь снова можем искать признак

// завершения

char c;

ist>>c; // считываем символ, возможно, признак

// завершения

if (c != terminator) { // неожиданный символ

ist.unget(); // возвращаем этот символ назад

ist.clear(ios_base::failbit); // переводим поток

// в состояние fail()

}

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

fill_vector()

, может попытаться вывести поток из состояния

fail()

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

fail()

. Для этого выполняется инструкция

ist.clear(ios_base::failbit)

. Обратите внимание на потенциально опасное использование функции

clear()

: на самом деле функция

clear()

с аргументом устанавливает указанные флаги (биты) состояния потока

iostream

, сбрасывая (только) не указанные. Переводя поток в состояние

fail()

, мы указываем, что обнаружили ошибку форматирования, а не нечто более серьезное. Мы возвращаем символ обратно в поток

ist

, используя функцию

unget()

; функция, вызывающая функцию

fill_vector()

, может использовать его по своему усмотрению. Функция

unget()

представляет собой более короткий вариант функции

putback()

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

Если вы вызвали функцию

fill_vector()

и хотите знать, что вызвало прекращение ввода, то можно проверить состояния

fail()

eof()

. Кроме того, можно перехватить исключение

runtime_error

, сгенерированное функцией

error()

, но понятно, что маловероятно получить больше данных из потока

istream

, находящегося в состоянии

bad()

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

bad()

, — сгенерировать исключение.

Для того чтобы облегчить себе жизнь, можем поручить потоку

istream

сделать это за нас.

// поток ist генерирует исключение, если попадает в состояние bad

ist.exceptions(ist.exceptions()|ios_base::badbit);

Эти обозначения могут показаться странными, но результат простой: если поток

ist

окажется в состоянии

bad()

, он сгенерирует стандартное библиотечное исключение

ios_base::failure

. Вызвать функцию

exceptions()

можно только один раз. Все это позволяет упростить циклы ввода, игнорируя состояние

bad()

void fill_vector(istream& ist, vector<int>& v, char terminator)

// считываем целые числа из потока ist в вектор v, пока не

// достигнем конца файла eof() или признака завершения

{

int i = 0;

while (ist >> i) v.push_back(i);

if (ist.eof()) return; // отлично: обнаружен конец файла

// не good(), не bad() и не eof(),

// поток ist должен быть переведен в состояние fail()

ist.clear(); // сбрасываем состояние потока

char c;

ist>>c; // считываем символ в поисках признака завершения ввода

if (c != terminator) { // Ох: это не признак завершения ввода,

// значит, нужно вызывать функцию fail()

ist.unget(); // может быть, вызывающая функция

// может использовать этот символ

ist.clear(ios_base::failbit); // установить состояние fail()

}

Класс

ios_base

является частью потока

iostream

, в котором хранятся константы, такие как

badbit

, исключения, такие как

failure

, и другие полезные вещи. Для обращения к нему необходим оператор

::

, например

ios_base::badbit

(раздел B.7.2). Мы не планируем подробно описывать библиотеку

iostream;

для этого понадобился бы отдельный курс лекций. Например, потоки

iostream

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

iostream,

можно найти в книгах Страуструп (Stroustrup), The C++ Programming Language Страуструпа и Лангер (Langer), Standard C++ IOStreams and Locales.