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

О исключение класса invalid argument сообщает о недопустимых значениях аргументов, например, когда битовые поля (массивы битов) инициализируются данными char, отличными от О и 1;

О исключение класса length error сообщает о попытке выполнения операции, нарушающей ограничения на максимальный размер, например, при присоединении к строке слишком большого количества символов;

О исключение класса out of range сообщает о том, что аргумент не входит в интервал допустимых значений, например, при использовании неправильного индекса в коллекциях наподобие массивов или в строках;

О исключение класса domain error сообщает об ошибке выхода за пределы области допустимых значений.

Кроме того, в подсистеме ввода-вывода определен специальный класс исключения ios base::failure. Это исключение обычно генерируется при изменении состояния потока вследствие ошибки или достижения конца файла. Поведение этого класса исключений подробно описано на с. 576,

Классы исключений для внешних ошибок

Исключения, производные от runtime error, сообщают о событиях, не контролируемых программой. В стандартную библиотеку С++ включены следующие классы ошибок времени вьшолнения:

О исключение класса range error сообщает об ошибках выхода за пределы допустимого интервала во внутренних вычислениях;

О исключение класса overfIow erTor сообщает о математическом переполнении;

О исключение класса underfIow erTor сообщает о математической потере значимости.

Исключения, генерируемые стандартной библиотекой

Стандартная библиотека С++ тоже генерирует исключения классов гапде еггог» out of range и invalid argument, а так как библиотека использует языковые средства и пользовательский код, эти исключения могут генерироваться еще и косвенно. В частности, любая операция выделения памяти может привести к исключению bad alloc.

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

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

Содержимое строки определяется реализацией. В частности, это может быть строка с многобайтовой кодировкой, завершенная нулем, интерпретируемая как w/string (класс w/string описан на с. 463). Строка, возвращаемая функцией what(), продолжает существовать вплоть до уничтожения объекта исключения, от которого она была получена

Остальные члены стандартных классов исключений предназначены для создания, копирования, присваивания и уничтожения объектов исключений. Стандартные классы не имеют членов, содержахцих дополнительную информацию об исключении (помимо функции w/hat()). Например, пе существует переносимых средств для получения информации о контексте исключения или неверного индекса при ошибке выхода из интервала. Переносимые возможности обработки дополнительной информации фактически ограничиваются выводом сообщения, полученного от what():

try {

catch (const std::exception& error) {

Вывод сообщения об ошибке, определяемого реализацией std::cerr « error.whatO « std::endl;

Время жизни вознращаемого значения what() н исходном стандарте не оговорено. Для решения проблемы было внесено специа.?1Ы1ое предложение.

Заголовочные файлы классов исключений

Базовые классы exception и bad exception определяются в заголовочном файле <exception>. Класс bad alloc определяется в заголовочном файле <new>. Классы bad cast и bad typeid определены в заголовочном файле <typeinfo>. Класс ios base::failure определен в заголовочном файле <ios>. Все остальные классы определяются в заголовочном файле <stdexcept>.

Члены классов исключений

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

namespace std {

class exception { public:

virtual const char* whatO const throwO;

Единственным источником информации об исключении, помимо функции what(), является конкретный тип исключения. Например, при обработке исключения bad al!oc программа может попытаться выделить дополнительную память.

Генерирование стандартных исключений

Стандартные исключения также могут генерироваться в пользовательских библиотеках или программах. Объекты всех классов стандартных исключений, предоставляющих такую возможность, создаются с одним параметром: объектом string (см. главу И) с описанием, которое должно возвращаться функцией what(). Например, определение класса logic error выглядит так:

namespace std {

class logic error ; public exception [ public:

explicit logic error (const strings whatString);

Набор стандартных исключений, которые могут генерироваться в пользовательских библиотеках или программах, включает класс logic error с производными классами, класс runtime error с производными классами, а также класс ios base:;failure. Следовательно, вы не сможете генерировать исключения базового класса exception, а также любых классов исключений, предоставляющих языковую поддержку.

Чтобы генерировать стандартное исключение, просто создайте строку с описанием и передайте ее объекту исключения в команде throw:

std:;string s:

throw std::out of range(s):

Автоматическое преобразование char* в string позволяет использовать строковый литерал:

throw std::out of range("out of range (somewhere, somehow)");

Классы исключений, производные от exception

Существует и другой вариант использования стандартных классов исключений в программах. Он основан на определении специализированных классов, прямо или опосредованно производных от exception. При этом необходимо обеспечить работу механизма what() в производном классе.

Функция what() объявлена виртуальной, поэтому один из вариантов предоставления функции whatO основан на ее самостоятельной реализации:

namespace MyLib {

/* Пользовательский класс исключений * объявлен производным от стандартного класса исключений */