DELPHI中文帮助手册

第十二章　　异常处理与程序调试

　　在应用程序开发中如何检测、处理程序的运行错误是一个很重要的问题。在 Delphi 的集成开

发环境( IDE )中提供了一个完善的内置调试器，可以帮助你发现大部分程序错误。但并不是所有

的错误都可以被发现，而且当程序涉及到与外设的数据交换或操作外设，如要求用户输入、读写

磁盘等时，错误的发生是程序无法控制的，如输入非法字符、磁盘不能读写等。这些情况不仅会

导致应用程序异常中止而且可能引起系统的崩溃。针对这些问题，Delphi 同时提供了一套强大的

异常处理机制。巧妙地利用它，可以使你的程序更为强健，使用更为友好。

　　虽然 Delphi 为应用程序提供了一套缺省的自动异常处理机制，即当前模块发生错误后退出当

受破坏。如果程序不进行处理，则系统会自动提供一个消息框。

　　异常类是 Delphi 异常处理机制的核心，也是 Delphi 异常处理的主要特色。下面我们对异常类

的概念和体系进行详细的介绍。

　　Delphi 提供的所有异常类都是类 Exception 的子类。用户也可以从 Exception 派生一个自定义

的异常类。

　　Exception 类的定义如下，对于不常用的成员没有列出。

　　

{SysUtils 单元中}

Exception = class(TObject)

private

constructor CreateFmt(const Msg: String; const Args: array of const);

. . .

destructor Destroy; override;

property HelpContext: Longint

property Message: String;

property MessagePtr: PString;

end;

Exception 的一系列构造函数中最重要的参数是显示的错误信息。而数据成员中最重要的也是可

被引用的消息字符串(message，messagePtr)。 这些信息分别对自定义一个异常类和处理一个异常

类有重要作用。

Exception 派生后增加了一个公有数据成员 ErrorCode，用于保存所发生错误的代码。这一成员可

用于在发生 I/O 异常后针对不同情况采取不同的对策。

　　当设置编译指示{$I- } 时，不产生 I/O 异常类而是把错误代码返回到预定义变量 IOResult 中。

12.1.1.2 堆异常

　　堆异常是在动态内存分配中产生的，包括两个类 EOutOfMemory 和 EInvalidPointer。

表 12.1　　堆异常类及其产生原因

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

异常类 引发原因

─────────────────────────────────

EOutOfMemory 没有足够的空间用于满足所要求的内存分配

EInvalidPointer 非法指针。一般是由于程序试图去释放一个业已释

━━━━━━━━━━━━━━━━━━━━━

异常类 引发原因

─────────────────────

EDivByZero 试图被零除

ERangeError 整数表达式越界

EIntOverFlow 整数操作溢出

━━━━━━━━━━━━━━━━━━━━━━

　　ERangeError 当一个整数表达式的值超过为一个特定整数类型分配的范围时引发。比如下面一

段代码将引发一个 ERangeError 异常。

var

end;

　　特定整数类型包括 ShortInt、Byte 以及与整数兼容的枚举类型、布尔类型等。例如：

　　

type

THazard = ( Safety , Marginal , Critical , Catastrophic );

var

Haz: THazard;

Item: Integer;

begin

Item:= 4;

i: Integer;

begin

for i := 1 to 11 do

Values[i] := i;

end;

ERangeError 异常只有当类型检查打开时才会引发。这可以在代码中包含{$R+} 编译指示或设置

IDE Option|Project 的 Range_Checking Option 选择框。

　　EIntOverFlow 异常类在 Integer、Word、Longint 三种整数类型越界时引发。如：

var

for I := 0 to 100 do

begin

c := a*b*c;

end;

end;

引发一个 EIntOverFlow 异常。

EIntOverFlow 异常类只有在编译选择框 Option|Project|Over_Flow_Check Option 选中时才产生。

当关闭溢出检查，则溢出后变量保留该类整数的最大范围值。

━━━━━━━━━━━━━━━━━━━━━━━━━━━

　　───────────────────────────

Shortint -128 .. 127 有符号 8 位

Integer -32768 .. 32767 有符号 16 位

Longint -2147483648 .. 2147483647 有符号 32 位

Byte 0 .. 255 无符号 8 位

　　 表 12.4　浮点异常类及其引发原因

━━━━━━━━━━━━━━━━━━━━━━━━

异常类 引发原因

────────────────────────

EInvalidOp 处理器碰到一个未定义的指令

EZeroDivide 试图被零除

EOverFlow 浮点上溢

EUnderFlow 浮点下溢

━━━━━━━━━━━━━━━━━━━━━━━━

　　EInvalidOp 最常见的引发原因是没有协处理器的机器遇到一个协处理器指令。由于在缺省情

12.1.1.5 类型匹配异常

　　类型匹配异常 EInvalidCast 当试图用 As 操作符把一个对象与另一类对象匹配失败后引发。

特别是当把一个字符串转换为数值时引发。下面程序中的两条执行语句都将引发一个

EConvertError 异常。

var

rl : Real;

int: Integer;

begin

rl := StrToFloat(' $140.48');

int := StrToInt(' 1,402 ');

12.1.2 对象异常类