Иллюстрированный самоучитель по Delphi 7 для профессионалов

Исключительная ситуация как класс

Таблица 3.1. Исключительные ситуации при работе с памятью (порождены от EHeapException).

Тип Условие возникновения
EOutOfMemory Недостаточно места в куче (памяти)
EOutOfResources Нехватка системных ресурсов
EInvalidPointer Недопустимый указатель (обычно nil)

Таблица 3.2. Исключительные ситуации целочисленной математики (порождены от EIntError).

Тип Условие возникновения
EDivByZero Попытка деления на ноль (целое число)
ERangeError Число или выражение выходит за допустимый диапазон
EIntOverflow Целочисленное переполнение

Таблица 3.3. Исключительные ситуации математики с плавающей точкой (порождены от EMathError).

Тип Условие возникновения
EInvalidOp Неверная операция
EZeroDivide Попытка деления на ноль
EOverflow Переполнение с плавающей точкой
EUnderflow Исчезновение порядка
EInvalidArgument Неверный аргумент математических функций

Для этого используется оператор raise, за которым в качестве параметра должен идти экземпляр объекта типа Exception. Обычно сразу за оператором следует конструктор класса ИС:

raise EMathError.Create(' ');

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

var E: EMathError;
begin
E: = EMathError.Create С');
raise E;
end;

Оператор raise передает созданную исключительную ситуацию ближайшему блоку try..except (см. ниже).

if С = 0 then
raise EDivByZero.Create('Деление на ноль')
else
А: = В/С;

Самостоятельная инициализация ИС может пригодиться при программировании реакции приложения на ввод данных, для контроля значений переменных и т. д. В таких случаях желательно создавать собственные классы ИС, специально приспособленные для ваших нужд. Также полезно использовать специально спроектированные исключительные ситуации при создании собственных объектов и компонентов. Так, многие важнейшие классы VCL – списки, потоки, графические объекты – сигнализируют о своих (или ваших?) проблемах созданием соответствующей ИС – EListError, EInvalidGraphic, EPrinter и т. д.

Самый важный отличительный признак объекта Exception – это все же класс, к которому он принадлежит. Именно факт принадлежности возникшей ИС к тому или иному классу говорит о том, что случилось. Если же нужно детализировать проблему, можно присвоить значение свойству Message. Если и этого мало, можно добавить в объект новые поля. Так, в ИС EinOutError (ошибка ввода/вывода) есть поле ErrorCode, значение которого соответствует произошедшей ошибке – запрету записи, отсутствию или повреждению файла и т. д.

try
.FileOpenС с:\myfile.txt', fmOpenWrite);
except
on E: EinOutError do
case E.ErrorCode of
ERROR_FILE_NOT_FOUND {=2}: ShowMessage('Файл не найден!');
ERROR_ACCESS_DENIED {=5}: ShowMessage('Доступ запрещен!');
ERROR_DISK_FULL {=112}: ShowMessage ('Диск переполнен!');
end;
end;

Впрочем, ИС EInOutError возникают только тогда, когда установлена опция компилятора {$IOCHECKS ON} (или иначе {$I+}). В противном случае проверку переменной IOResult (известной еще по Turbo Pascal) нужно делать самому.

Еще более "продвинутый" пример – ИС EDBEngineError. Она имеет свойства ErrorCount и свойство-массив Errors: одна операция с базой данных может породить сразу несколько ошибок.

Если Вы заметили ошибку, выделите, пожалуйста, необходимый текст и нажмите CTRL + Enter, чтобы сообщить об этом редактору.