Безопасность Чрезвычайной Ситуации

Лекция

Begin

Except

Begin

Except

Begin

Except

Except

Try

Begin

Else

Except

Try

Except

Try

ОБРАБОТКА ИСКЛЮЧИТЕЛЬНЫХ СИТУАЦИЙ В DELPHI

Исключительная ситуация – это некоторое ошибочное состояние, возникающее во время выполнения программы. Исключительные ситуации (исключения) могут возникать по самым разным причинам, например из-за невозможности выполнить преобразование, при делении на ноль и др. В любом случае приложение получает сообщение о возникновении исключения.

В Delphi предусмотрен глобальный обработчик исключительных ситуаций и могут быть задействованы локальные обработчики. Глобальная обработка исключений реализуется через объект Application. Глобальная обработка обеспечивает пользователя информацией об ошибке, но не устраняет причины.

Локальная обработка исключительных ситуаций позволяет при возникновении ошибки перейти к специально подготовленному коду программы. Такой подход реализуется с помощью языковых конструкций, которые как бы «охраняют» фрагмент кода программы и определяют обработчики ошибок, которые будут вызываться, если в защищённом участке кода что-то пойдет не так, как предполагалось.

Для обозначения начала защищенного участка кода используется служебное слово try, завершается конструкция словом end. Существует два типа защищенных участков: try...except и try...finally, которые имеют похожий синтаксис, но отличаются по назначению. Первый тип используется для обработки исключительных ситуаций. Его синтаксис:

{Операторы, выполнение которых может вызвать ошибку}

{Операторы, которые должны быть выполнены в случае ошибки}

end;

Конструкция try...except применяется для перехвата исключительной ситуации и позволяет восстановить работоспособность программы. Секция except может быть разбита на несколько частей on...do для обработки разных классов исключений. После конструкций on...do может быть помещён раздел else, который относится ко всему блоку. По логике работы группа конструкций on...do напоминает оператор case. К исключениям, не имеющим своих локальных обработчиков, применяется механизм глобальной обработки через объект Application.

{Операторы, выполнение которых может вызвать ошибку}

{Операторы, которые должны быть выполнены в случае ошибки}

on Exception1 do...;

on Exception2 do...;

...

..

. end;

Рассмотрим следующий пример. В поля Edit1 и Edit2 записываются целые числа. При щелчке по кнопке Button1 выполняется перевод введённых строк в числовой формат, первое число делится на второе и результат выводится в Edit3. Затем в Memo1 записываются исходные строки, сумма чисел и частное от деления первого числа на второе.

procedure TForm1.Button1Click(Sender: TObject);

Var a,b:integer;

rez:extended;

a:=strtoint(Edit1.Text);

b:=strtoint(Edit2.Text);

rez:=a/b;

Edit3.Text:=floattostr(rez);

Memo1.Lines.Add(Edit1.Text);

Memo1.Lines.Add(Edit2.Text);

Memo1.Lines.Add(inttostr(a+b));

emo1.Lines.Add(floattostr(rez));

M end;

Во время работы приложения исключительные ситуации могут возникнуть при выполнении преобразования строка-число и при вычислении частного от деления, если делитель равен нулю или нулю равны оба введённых числа. Если запустить программу на выполнение, то при возникновении любого из исключений сработает глобальная система обработки исключительных ситуаций. При этом выполнение процедуры будет прервано и будут выводиться сообщения о причине ошибки.

Введём локальную обработку исключительных ситуаций. Для этого сформируем защищённый блок.

procedure TForm1.Button1Click(Sender: TObject);

Var a,b:integer;

ez:extended;

r begin

a:=strtoint(Edit1.Text);

b:=strtoint(Edit2.Text);

rez:=a/b;

Edit3.Text:=floattostr(rez);

ShowMessage('Ошибка!');

end;

Memo1.Lines.Add(Edit1.Text);

Memo1.Lines.Add(Edit2.Text);

Memo1.Lines.Add(inttostr(a+b));

Memo1.Lines.Add(floattostr(rez));

end;

В этом случае при возникновении любого исключения будет прерываться выполнение операторов защищённого блока, в Edit3 результат не появится. На экран будет выведено окно с сообщением «Ошибка!». Операторы, расположенные после защищённого блока, будут выполняться, то есть в Memo1 появятся записи.

Изменим секцию except. Проверим одну из возможных ошибок – деление на ноль. Далее приводится фрагмент кода, в который внесены изменения.

on EZeroDivide do

ShowMessage('Попытка деления на ноль!');

Edit2.SetFocus;

end;

В этом случае при возникновении других исключений сработает глобальный обработчик, то есть выполнение процедуры будет прервано.

Добавим локальный обработчик для контроля за преобразованием вводимых данных. При этом глобальная обработка исключений будет задействована только для нулевых введённых значений (0/0).

on EZeroDivide do

ShowMessage('Попытка деления на ноль!');

Edit2.SetFocus;

end;

on EConvertError do ShowMessage('Ошибка преобразования!');

Если ввести секцию else, то все исключения будут обработаны локально.

on EZeroDivide do

ShowMessage('Попытка деления на ноль!');

Edit2.SetFocus;

end;

on EConvertError do ShowMessage('Ошибка преобразования!')

else ShowMessage('Ошибка в защищённом блоке!');

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

try

...{Операторы, выполнение которых может вызвать ошибку}

finally

{Операторы, которые должны быть выполнены даже в случае ошибки}

end;

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

Базовым классом для всех исключений является класс Exception. Потомки этого класса охватывают большое количество исключений, которые могут возникнуть в процессе работы приложений. Имена потомков класса

Exception начинаются с буквы E. Ниже приведены наиболее часто используемые классы исключений.

EConvertError – ошибка преобразования типов, может возникнуть при выполнении функций StrToInt и StrToFloat.

EInOutError – ошибка ввода/вывода при включенной директиве {$I+}.

EDivByZero – деление целого на ноль.

EIntOverflow – переполнение в операции с целыми переменными.

ERangeError – присвоение значения, выходящего за пределы допустимого диапазона. Например, при попытке обращения к элементам массива по индексу, выходящему за пределы массива.

EInvalidGraphic – попытка загрузки методом LoadFromFile файла, несовместимого графического формата.

EInvalidPointer – некорректная операция с указателем.

EFCreateError – ошибка создания файла

EFOpenError – ошибка открытия файла

EListError, EStringListError – ошибка при работе со списками.

EMathError – предок исключений, возникающих при выполнении операций с плавающей точкой.

EInvalidOp – попытка передачи математическому сопроцессору ошибочной инструкции.

EOverflow – переполнение при слишком больших величинах.

EUnderflow – потеря значимости при операции с плавающей точкой (слишком малая величина). Результат получает нулевое значение.

EZeroDivide – попытка деления на ноль.

EMenuError – ошибка при работе с пунктами меню для компонент TMenu, TMenuItem, TPopupMenu и их наследников.

EOutOfMemory – вызов методов New, GetMem или конструкторов классов при невозможности распределения памяти.

EOutOfResources – ошибка при выполнении запроса на выделение или заполнение Windows-ресурсов (например, обработчика handles).

Структурную обработку исключительных ситуаций, реализованную в Delphi, можно дополнять традиционным подходом к обработке ошибок, который заключается в анализе кодов ошибок, возвращаемых функциями.

ВОПРОСЫ ДЛЯ САМОКОНТРОЛЯ

1. В чём принципиальное отличие локальной и глобальной обработки исключительных ситуаций?

2. Какие типы ошибок (синтаксические, логические или динамические) позволяет обработать имеющийся в Delphi механизм?

3. Какая конструкция используется для восстановления работоспособности программы?

4. В каких случаях в код включают блок try...finally?

5. Проанализируйте приведённые примеры обработки исключительных ситуаций и определите, какие значения будут выводиться в редактор Memo в каждом случае. При выполнении анализа следует рассматривать все возможные комбинации некорректного задания данных.

6. Можно ли было в рассмотренных ранее примерах заменить конструкцию try...except на try...finally?

7. Почему при анализе исключительных ситуаций целесообразно использовать exe-файл?

8. Можно ли создать свой класс исключения?

9. Можно ли создать собственный глобальный обработчик исключений?

10. Как будет вести себя приложение, если на форму помещён компонент ApplicationEvents1 и сформирована процедура:

procedure TForm1.ApplicationEvents1Exception(Sender: TObject; E: Exception);

begin

ShowMessage ('Ошибка при исполнении приложения');

end;