Объект исключения

Объект исключения автоматически создается компилятором. Он строится на основе того объекта, который «выбрасывает» инструкция throw. Например:

throwstd::length_error(“Недопустимо большой размер ” “объекта \n”);

После того как отработает инструкция throw, временный анонимный объект будет уничтожен. Но перед его уничтожением компилятор снимет копию с этого временного объекта. Эта копия будет сохранена компилятором в надежном месте. Указанная копия и называется объектом исключения. Объект исключения доступен любому обработчикуcatch, который способен обрабатывать данный тип исключений.

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

Раскрутка стека

В процессе раскрутки стека происходит уничтожение локальных объектов. Для локальных объектов, имеющих пользовательский тип, автоматически вызываются деструкторы. Для удаления локальных объектов, имеющих встроенный тип, компилятор ничего не делает. Для объектов, созданных с помощью оператора new, компилятор не будет автоматически вызывать операторdeleteс целью принудительного освобождения памяти.

Перейдем теперь к рассмотрению второй обязанности разработчика функции, которая состоит в том, что необходимо уведомить клиента о том какие исключения он должен обрабатывать. Одна из специальных возможностей предусмотрена стандартом языка C++. Эта возможность носит название спецификации исключения.

Спецификации исключений

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

<α>[β];

Здесь α – заголовок функции, β – необязательная спецификация исключения. Отметим, что имеются два формата спецификаций исключения.

• throw(γ), где γ – список типов исключений.

• throw().

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

Приведем пример.

class A { }; class B { }; class C { }; void f() throw(A, B); void h() throw();

В программном коде этого примера вначале имеются определения трех классов исключений с именами A,B и С. Затем приводятся прототипы двух функций, которые содержат спецификации исключений. Предполагается, что функцияf()может выбросить исключения типаAи B. Функцияh()не должна выбрасывать исключений.

Теперь казалось бы все хорошо. Клиент знает, что ему необходимо создать два обработчика catch. Один из них должен обрабатывать исключения типаA, а второй обработчик – для типаB.

Но что произойдет в том случае, когда функция выбросит исключение класса C. Это может, например, произойти так:

void f() throw(A, B) { //.. g(); } void g() { //.. throw C(); }

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