19.2.7. Конструкторы и функциональные try-блоки

19.2.7. Конструкторы и функциональные try-блоки

Можно объявить функцию так, что все ее тело будет заключено в try-блок. Такие try-блоки называются функциональными. (Мы упоминали их в разделе 11.2.) Например:

int main() {

try {

// тело функции main()

}

catch ( pushOnFull ) {

// ...

}

catch ( popOnEmpty ) {

// ...

}

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

Функциональный try-блок необходим для конструкторов класса. Почему? Определение конструктора имеет следующий вид:

имя_класса( список_параметров )

// список инициализации членов:

: член1(выражение1 ) , // инициализация член1

член2(выражение2 ) , // инициализация член2

// тело функции:

{ /* ... */ }

выражение1 и выражение2 могут быть выражениями любого вида, в частности функциями, которые возбуждают исключения.

Рассмотрим еще раз класс Account, описанный в главе 14. Его конструктор можно переопределить так:

nline Account::

Account( const char* name, double opening_bal )

: _balance( opening_bal - ServiceCharge() )

{

_name = new char[ strlen(name) + 1 ];

strcpy( _name, name );

_acct_nmbr = get_unique_acct_nmbr();

}

Функция ServiceCharge(), вызываемая для инициализации члена _balance, может возбуждать исключение. Как нужно реализовать конструктор, если мы хотим обрабатывать все исключения, возбуждаемые функциями, которые вызываются при конструировании объекта типа Account?

Помещать try-блок в тело функции нельзя:

inline Account::

Account( const char* name, double opening_bal )

: _balance( opening_bal - ServiceCharge() )

{

try {

_name = new char[ strlen(name) + 1 ];

strcpy( _name, name );

_acct_nmbr = get_unique_acct_nmbr();

}

catch (...) {

// специальная обработка

// не перехватывает исключения,

// возбужденные в списке инициализации членов

}

}

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

Использование функционального try-блока – это единственное решение, гарантирующее, что все исключения, возбужденные при создании объекта, будут перехвачены в конструкторе. Для конструктора класса Account такой try-блок можно определить следующим образом:

inline Account::

Account( const char* name, double opening_bal )

try

: _balance( opening_bal - ServiceCharge() )

{

_name = new char[ strlen(name) + 1 ];

strcpy( _name, name );

_acct_nmbr = get_unique_acct_nmbr();

}

catch (...) {

// теперь специальная обработка

// перехватывает исключения,

// возбужденные в ServiceCharge()

}

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