Сгенерировать исключение — это только полдела. Как уже отмечалось, исключение надо перехватить и обработать. Проверка возникновения исключения делается с помощью оператора try, с которым неразрывно связаны одна или несколько блоков обработки исключений — catch. Оператор try объявляет в любом месте программы контролируемый блок, который имеет следующий вид:
try { /* контролируемый блок */ }
Контролируемый блок, помимо функции контроля, обладает функциями обычного блока: все переменные, объявленные внутри него, являются локальными в этом блоке и не видны вне его.
После блока try обязательно прописывается один или несколько блоков catch, которые обычно называют обработчиками исключений, или секциями-ловушками. Форма записи секции-ловушки следующая:
catch (спецификация_параметра_исключения) { /* блок обработки */}
Спецификация параметра исключения может иметь следующие три формы:
(тип имя) (тип)
(...)
Тип должен быть одним из допустимых типов исключений: либо встроенным, либо определенным программистом1. Первый вариант спецификации означает, что объект-исключение передается в блок обработки, чтобы там его как-то использовать, например, для вывода информации в сообщении об ошибке.
ВНИМАНИЕ
При выполнении оператора throw создается временный объект-исключение, который и передается в секцию-ловушку (см. п. п. 15.1/3 в [1]).
При этом объект-исключение может передаваться в секцию-ловушку любым способом: по значению, по ссылке или по указателю, например:
catch (TException е) // по значению
catch (TException& е) // по ссылке
catch (const TException& е) // по константной ссылке
catch (TException *е) // по указателю
Однако, в отличие от параметров функций, никаких преобразований по умолчанию не производится2. Жироотделитель EuroREK NS 4 SL. Это означает, что если в программе написан следующий заголовок обработчика, то попадают в соответствующую ловушку только те исключения, тип которых совпадает с double:
catch (double е) // по значению
Еще пример: throw 1
Этот оператор генерирует исключение целого типа, поэтому будет обрабатываться секцией-ловушкой с заголовком, в котором прописан целый тип исключения, например, одним из следующих способов:
catch (int е) // по значению
catch (int) // без передачи информации в секцию-ловушку
Это легко проверить, выполнив следующую простую тестовую программу: int main()
{ try { throw 1; // генерация исключения
}
catch(unsigned int)
{ cout << "unsigned integer" << endl; }
В качестве параметра секции-ловушки ничто не мешает нам задать, например, указатель на функцию, а затем обычным образом вызвать ее в блоке обработки. 2 Это касается только встроенных типов и независимых классов. Наследование классов (см. главу 8) вносит некоторую специфику в это сопоставление типов.
catch(int) // перехватывается здесь
{ cout << "integer" << endl; }
catch(double)
{ cout << "double" << endl; }
return 0;
}
На экране появится слово integer, так как константа 1 по умолчанию имеет тип int.
Первые две формы из приведенных спецификаций исключения предназначены для обработки конкретного типа исключений. Если же на месте спецификации исключения написано многоточие (как в функциях с переменным числом параметров), то такой обработчик перехватывает все исключения.
Работа конструкции try...catch напоминает работу оператора switch. Секции-лову Шки похожи на альтернативы case, а блок catch с многоточием соответствует альтернативе default оператора-переключателя. Если в блоке try возникает исключение, то начинается сравнение типа сгенерированного исключения и типов параметров в секциях-ловушках. Выполняется тот блок catch, тип параметра которого совпал с типом исключения. Если такого типа не найдено, выполняется блок catch с многоточием. Если же такого блока в текущем списке обработчиков не обнаруживается, то ищется другой список обработчиков в вызывающей функции. Этот поиск продолжается вплоть до функции main(). Если же и там не обнаружится нужного блока catch, то вызывается стандартная функция завершения terminate() (см. п. п. 15.5.1 в [1]), которая вызывает функцию abort().
Для загородного дома вам может пригодиться. Жироотделитель представляет из себя отстойник в котором за счет различных планок проиходит разделение жидкости и жира.
Таким образом, очень важен порядок записи секций-ловушек после контролируемого блока. Если в качестве первого обработчика после блока try задан блок catch с параметром-многоточием, то такой обработчик будет обрабатывать все возникающие исключения — до остальных секций-ловушек дело просто не дойдет. Поэтому усвойте следующее простое правило: блок catch с параметром-многоточием всегда должен быть последним. Секция-ловушка с многоточием — это крайняя мера: если уж мы в нее попали, то в программе произошло что-то совсем непредусмотренное. Поэтому в такой секции обычно выводят сообщение о непредвиденном исключении и завершают работу программы. |