Взаимодействие между независимо написанными фрагментами программы

Вместе с тем необходимо понимать, что «обработка исключительных

ситуаций остается сложной задачей и механизм обработки ситуаций – хотя и

больше формализован, чем заменяемые им средства – все еще остается

Относительно неструктурированным по сравнению со средствами языка для

локального управления выполнением в программе» [1].

ГЕНЕРИРОВАНИЕ И РАСПОЗНАВАНИЕ ИСКЛЮЧЕНИЙ.

Исключение выступает одновременно как переменная и как тип данных

(или как объект и как класс). Оператор throw выбрасывает объект, а catch-

Обработчик ловит класс (или throw выбрасывает переменную, а catch ловит ее

Тип). При генерации исключения функции библиотеки исполняющей системы

осуществляют следующие действия:

Создается и запоминается копия объекта (переменной). Это означает, что

Если в точке генерации исключения оказывается недоступен копирующий

Конструктор (например, он не является public, а исключение заявляется не

Функцией-другом), то возникает сообщение об ошибке.

Разматывает стек, вызывая деструкторы локальных объектов, выходящих

Из области видимости

Передается управление ближайшему catch-обработчику, совместимому с

Типом выброшенного исключения. При этом копия объекта-исключения

Передается, если это предусмотрено, обработчику в качестве параметра.

Обработчик считается найденным, а исключение обработанным, если:

A) тип исключения соответствует типу, ожидаемому в обработчике.

Переменной (объекту) типа T соответствует обработчик,

перехватывающий T, const T, T&, const T&.

B) тип обработчика является публичным базовым классом для

Заявленного исключения

C) обработчик ожидает указатель, и исключение является указателем,

Который может быть преобразован к типу обработчика по