Стенли Липпман - Язык программирования C++. Пятое издание

throw;

Пустой оператор throwможет присутствовать только в обработчике или в функции, вызов которой осуществляется из обработчика (прямо или косвенно). Если пустой оператор throwвстретится вне обработчика, будет вызвана функция terminate().

Повторная передача не определяет нового исключения; по цепочке передается текущий объект исключения.

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

catch (my_error &eObj) { // спецификатор ссылочного типа

eObj.status = errCodes::severeErr; // изменение объекта исключения

throw; // переменная-член status объекта исключения имеет

// значение severeErr

} catch (other_error eObj) { // спецификатор нессылочного типа

eObj.status = errCodes::badErr; // изменение только локальной копии

throw; // значение переменной-члена status объекта исключения

// при повторной передаче не изменилось

}

Иногда необходимо обрабатывать все исключения, которые могут произойти, независимо от их типа. Обработка каждого возможного исключения может быть проблематична: иногда неизвестно, исключения каких типов могут быть переданы. Даже когда все возможные типы известны, предоставление отдельной директивы catchдля каждого возможного исключения может оказаться весьма утомительным. Для обработки всех исключений в объявлении исключения используется многоточие. Такие обработчики, называемые обработчиками для всех исключений (catch-all), имеют форму catch(...). Такая директива соответствует исключениям любого типа.

Обработчик catch(...)зачастую используется в комбинации с выражением повторной передачи. Обработчик осуществляет все локальные действия, а затем повторно передает исключение:

void manip() {

try {

// действия, приводящие к передаче исключения

} catch (...) {

// действия по частичной обработке исключения

throw;

}

Директива catch(...)применяется самостоятельно или в составе нескольких директив catch.

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

Упражнение 18.4. Заглянув вперед в иерархию наследования на рис. 18.1, объясните, что неправильно в следующем блоке try. Исправьте его:

try {

// использовать стандартную библиотеку С++

} catch(exception) {

// ...

} catch(const runtime_error &re) {

// ...

} catch(overflow_error eobj) { /* ... */ }

Упражнение 18.5. Измените следующую функцию main()так, чтобы обрабатывались исключения любых типов, представленных на рис. 18.1:

int main() {

// использовать стандартную библиотеку С++

}

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

Упражнение 18.6. С учетом следующих типов исключений и директивы catchнапишите выражение throw, создающее объект исключения, который может быть обработан каждым блоком catch:

(a) class exceptionType { };

catch (exceptionType *pet) { }

(b) catch (...) { }

(c) typedef int EXCPTYPE;

catch (EXCPTYPE) { }

В принципе исключения могут произойти в любой точке программы. В частности, исключение может произойти в процессе инициализации в конструкторе. Инициализация в конструкторе выполняется прежде, чем его тело. Блок catchв теле конструктора не может обработать исключение, которое было передано при инициализации, поскольку блок tryв теле конструктора еще не был задействован в момент передачи исключения.

Для обработки исключения, переданного при инициализации, конструктор следует оформить как блок tryфункции (function tryblock). Блок tryфункции позволяет ассоциировать группу директив catchс фазой инициализации конструктора (или фазой удаления деструктора), а равно с телом конструктора (или деструктора). В качестве примера заключим конструктор Blob()(см. раздел 16.1.2) в блок tryфункции:

template

Blob::Blob(std::initializer list il) try :

data(std::make_shared>(il)) {

/* пустое тело */

} catch(const std::bad_alloc &e) { handle_out_of_memory(e); }

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

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

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

Упражнение 18.7. Определите классы Blobи BlobPtrиз главы 16 так, чтобы для их конструкторов использовались блоки tryфункции.

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

По новому стандарту функция может пообещать не передавать исключения при помощи спецификации noexcept. Ключевое слово noexceptпосле списка параметров функции означает, что функция не будет передавать исключений: