Синтаксис обработки исключительных ситуаций

В язык Object Pascal было добавлено ключевое слово try. Оно используется для обозначения первой части защищенного участка кода. Существует два типа защищенных участков:

Первый тип используется для обработки исключительных ситуаций. 

Блок try..finally

Для уверенности в том, что ресурсы, занятые вашим приложением, освободятся в любом случае, Вы можете использовать конструкцию второго типа. Код, расположенный в части finally, выполняется в любом случае, даже если возникает исключительная ситуация. 

Доступ к экземпляру объекта Exception

При вызове исключительной ситуации (raise) автоматически создается экземпляр соответствующего класса, который и содержит информацию об ошибке. Обработчик может получить доступ к этому объекту используя следующий синтаксис:

procedure NewA; begin writeln('Enter A'); try writeln('Enter A''s try block'); B; writeln('After B call'); except on E: ESampleError do writeln(E.Message); on ESomethingElse do writeln('Inside A''s ESomethingElse handler'); end; writeln('Exit A'); end;

on E: ESampleError do writeln(E.Message);

Пример демонстрирует еще одно новшество в языке Object Pascal - создание локальной переменной. В примере локальной переменной является E - это экземпляр класса ESampleError, который был создан в процедуре C в момент вызова исключительного состояния. Переменная E доступна только внутри блока do. Свойство Message объекта E содержит сообщение, которое было передано в конструктор Create в процедуре C. 

Еще один способ доступа к объекту исключительной ситуации  - использовать функцию ExceptionObject: 

Некоторые классы исключительных ситуаций

• Exception - базовый класс-предок всех обработчиков исключительных ситуаций.
• EAbort - "скрытое" исключение. Используйте его тогда, когда хотите прервать тот или иной процесс с условием, что пользователь программы не должен видеть сообщения об ошибке. Для повышения удобства использования в модуле SysUtils предусмотрена процедура Abort
• EConvertError - происходит в случае возникновения ошибки при выполнении функций StrToInt и StrToFloat, когда конвертация строки в соответствующий числовой тип невозможна.
• EInOutError - происходит при ошибках ввода/вывода при включенной директиве {$I+}.
• EInvalidCast - происходит при попытке приведения переменных одного класса к другому классу, несовместимому с первым (например, приведение переменной типа TListBox к TMemo).
• EInvalidGraphic - вызывается при попытке передачи в LoadFromFile файла, несовместимого графического формата.
• EInvalidGraphicOperation - вызывается при попытке выполнения операций, неприменимых для данного графического формата (например, Resize для TIcon)
• EIntError - предок исключений, случающихся при выполнении целочисленных операций.
• EDivByZero - вызывается в случае деления на ноль, как результат RunTime Error 200.
• EIntOverflow - вызывается при попытке выполнения операций, приводящих к переполнению целых переменных, как результат RunTime Error 215 при включенной директиве {$Q+}.
• ERangeError - вызывается при попытке обращения к элементам массива по индексу, выходящему за пределы массива, как результат RunTime Error 201 при включенной директиве {$R+}.
• EInvalidObject - реально нигде не используется, объявлен в Controls.pas.
• EInvalidOperation - вызывается при попытке отображения или обращения по Windows-обработчику (handle) контрольного элемента, не имеющего владельца (например, сразу после вызова MyControl:=TListBox.Create(...) происходит обращение к методу Refresh).
• EInvalidPointer - происходит при попытке освобождения уже освобожденного или еще неинициализированного указателя, при вызове Dispose(), FreeMem() или деструктора класса.
• EListError - вызывается при обращении к элементу наследника TList по индексу, выходящему за пределы допустимых значений (например, объект TStringList содержит только 10 строк, а происходит обращение к одиннадцатому).
• EMathError - предок исключений, случающихся при выполнении операций с плавающей точкой.
• EInvalidOp - происходит, когда математическому сопроцессору передается ошибочная инструкция. Такое исключение не будет до конца обработано, пока Вы контролируете сопроцессор напрямую из ассемблерного кода.
• EOverflow - происходит как результат переполнения операций с плавающей точкой при слишком больших величинах. Соответствует RunTime Error 205.
• Underflow - происходит как результат переполнения операций с плавающей точкой при слишком малых величинах. Соответствует RunTime Error 206.
• EZeroDivide - вызывается в результате деления на ноль.
• EMenuError - вызывается в случае любых ошибок при работе с пунктами меню для компонент TMenu, TMenuItem, TPopupMenu и их наследников.
• EOutlineError - вызывается в случае любых ошибок при работе с TOutLine и любыми его наследниками.
• EOutOfMemory - происходит в случае вызовов New(), GetMem() или конструкторов классов при невозможности распределения памяти. Соответствует RunTime Error 203.
• EOutOfResources - происходит в том случае, когда невозможно выполнение запроса на выделение или заполнение тех или иных Windows ресурсов (например таких, как обработчики - handles).

Пример

Когда исключительная ситуация прошла через все блоки try except которые защищали участок кода в котором она произошла и нигде не было обработано, приложение вызывает метод Application.HandleException(Sender), который проводит стандартную обработку исключительной ситуации путём вывода диалогового окна с сообщением об ошибке.

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