Понятие механизма исключений

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

Пример. Предположим, что необходимо отобразить данные в таблице на экране и эти данные хранятся в текстовом файле. Для этого может понадобиться последовательность вложенных процедур, представленная на рис. 5.1.

I-------------------- ¹---------------------- 1 I---------------------------------------

' i

Рис. 5.1. Пример вложенного вызова процедур

При этом DisplayDatalnGrid вызывает RetrieveData, которая в свою очередь вызывает OpanFile, ReadFile, CloseFile.

Если произойдет какая-либо ошибка при открытии файла, то функция

OpenFile должна вернуть соответствующую информацию в функцию

RetrieveData, которая должна содержать код, блокирующий вызовы функций

ReadFile и CloseFile, а также сообщить о произошедшем в функцию

DisplayDatalnGrid, которая не должна в этом случае пытаться выводить данные в таблицу.

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

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

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

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

· Исключения позволяют отделить код обработки ошибок от основного кода, избегая его засорения многочисленными проверками, не имеющими прямого отношения к главной цели.

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

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

. Ключевое слово try указывает начало защищенного блока кода.

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

on <тиа исключительной ситуации> do <оператор>

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

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

При возникновении исключительной ситуации Delphi создает объект одного из классов исключений, определенных в системе. Все эти классы имеют общего предка - класс Exception. Иерархия классов-исключений представлена в табл. 5.1.