18.1.3. Блок try функции и конструкторы

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

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

template <typename Т>

Blob<T>::Blob(std::initializer list<T> il) try :

 data(std::make_shared<std::vector<T>>(il)) {

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

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

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

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

Упражнения раздела 18.1.3

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