Стефан Дэвис - С++ для чайников .

_________________

292 стр. Часть 5. Полезные особенности

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

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

Важная особенность разворачивания стека состоит в том, что на каждом его этапе все объекты, которые выходят из области видимости, уничтожаются так же, как если бы функция выполнила команду return . Это оберегает программу от потери ресурсов и "праздно шатающихся" неуничтоженных объектов.

Когда необходимый блок try найден, программа ищет первый блок catch ( который должен находиться сразу за закрывающей скобкой блока try ). Если тип сгенерированного объекта совпадает с типом аргумента, указанным в блоке catch , управление передаётся этому блоку; если же нет, проверяется следующий блок catch . Если в результате подходящий блок не найден, программа продолжает поиск уровнем выше, пока не будет обнаружен необходимый блок catch . Если искомый блок не обнаружен, программа аварийно завершается. Рассмотрим приведённый ниже пример.

/* CascadingException — при компиляции данная программа */

/* может вызвать предупреждения о */

/* том, что переменные f, i и pMsg */

/* не используются */

#include

#include

#include

#include

using namespace std ;

class Obj

{

public :

Obj( char c )

{

label = c ;

cout << "Конструирование объекта " << label << endl ;

}

~Obj ( )

{

cout << "Деструкция объекта " << label << endl ;

}

protected :

char label ;

} ;

void f1( ) ;

void f2( ) ;

int f3( )

{

Obj a( 'a' ) ;

try

{

_________________

293 стр. Глава 25. Обработка ошибок и исключения

Obj b( 'b' ) ;

f1( ) ;

}

catch( float f )

{

cout << "Перехват float" << endl ;

}

catch( int i )

{

cout << "Перехват int" << endl ;

}

catch ( ... )

{

cout << string( "Обобщённое исключение" ) << endl ;

}

return 0;

}

int main( int nNumberofArgs , char* pszArgs[ ] )

{

/* печать кириллицы, если Вы не установите программки gccrus.exe и g++rus.exe */

setlocale ( LC_ALL , ".1251" ) ;

f3( ) ;

/* Пауза для того, чтобы посмотреть на результат работы программы */

system( "PAUSE" ) ; return 0 ;

}

void f1( )

{

try

{

Obj c( 'c' ) ;

f2( ) ;

}

catch( string msg )

{

cout << "Перехват строки" << endl ;

}

}

void f2( )

{

Obj d( 'd' ) ;

throw 10 ;

}

В результате работы этой программы на экран будет выведен следующий текст:

Конструирование объекта а

Конструирование объекта b

Конструирование объекта с

Конструирование объекта d

Деструкция объекта d

Деструкция объекта с

Деструкция объекта b

Перехват int

Деструкция объекта а

Press any key to continue...

_________________

294 стр. Часть 5. Полезные особенности

Как видите, прежде чем в функции f2( ) происходит исключение int , конструируются четыре объекта — а , b , с и d . Поскольку в f2( ) блок try не определён, С++ разворачивает стек вызовов функций, что приводит к ликвидации объекта d при разворачивании стека f2( ) . В функции f1( ) определён блок try , но его блок catch воспринимает только char* , что не совпадает с брошенным объектом int . Поэтому С++ продолжает просмотр, что приводит к разворачиванию стека функции f1( ) ( при этом ликвидируется объект с ).

В функции f3( ) С++ находит ещё один блок try . Выход из этого блока приводит к выходу из области видимости объекта и b . Первый за блоком try блок catch принимает float , что вновь не совпадает с нашим int , поэтому пропускается и этот блок. Однако следующий блок catch наконец-то воспринимает int , и управление переходит к нему. Последний блок catch , который воспринимает любой объект, пропускается, поскольку необходимый блок catch уже найден и исключение обработано.