Обработка исключений: различия между версиями

За исключением незначительных различий в синтаксисе, существует лишь пара вариантов обработки исключений. В наиболее распространённом из них исключительная ситуация генерируется специальным оператором (<code>throw</code> или <code>raise</code>), а само исключение, с точки зрения программы, представляет собой некоторый [[Объект (программирование)|объект]] данных. То есть, генерация исключения состоит из двух этапов: создания объекта-исключения и возбуждения исключительной ситуации с этим объектом в качестве [[Параметр (программирование)|параметра]]. При этом конструирование такого объекта само по себе выброса исключения не вызывает. В одних языках объектом-исключением может быть объект любого типа данных (в том числе строкой, числом, указателем и так далее), в других — только предопределённого типа-исключения (чаще всего он имеет имя <code>Exception</code>) и, возможно, его производных типов (типов-потомков, если язык поддерживает объектные возможности).

 

 

Некоторые языки также допускают специальный блок (<code>else</code>), который выполняется, если ни одного исключения не было сгенерировано в соответствующей области действия. Чаще встречается возможность гарантированного завершения блока кода (<code>finally</code>, <code>ensure</code>). Заметным исключением является Си++, где такой конструкции нет. Вместо неё используется автоматический вызов [[деструктор]]ов объектов. Вместе с тем существуют нестандартные расширения Си++, поддерживающие и функциональность <code>finally</code> (например в [[MFC]]).