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
// считываем целые числа из потока 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()
}
}