DELPHI基础教程：异常处理与程序调试（二）[1]

异常响应

异常响应为开发者提供了一个按自己的需要进行异常处理的机制 try …except …end形成了一个异常响应保护块 与finally不同的是 正常情况下except 后面的语句并不被执行 而当异常发生时程序自动跳到except 进入异常响应处理模块 当异常被响应后异常类自动清除

下面的例子表示了文件打开 删除过程中发生异常时的处理情况

uses Dialogs

var

F: Textfile

begin

OpenDialog Title := Delete File

if OpenDialog Execute then

begin

AssignFile（F OpenDialog FileName）

try

Reset（F）

if MessageDlg（ Erase +OpenDialog FileName + ?

mtConfirmation [mbYes mbNo] ） = mrYes then

begin

System CloseFile（F）

Erase（F）

end

except

on EInOutError do

MessageDlg（ File I/O error mtError [mbOk] ）

on EAccessDenied do

MessageDlg（ File access denied mtError [mbOk] ）

end

end

end

保留字on…do用于判断异常类型 必须注意的是 except后面的语句必须包含在某一个on…do模块中 而不能单独存在 这又是同finally不同的一个地方

使用异常实例

上面所使用的异常响应方法可总结为如下的形式

on ExceptionType do

{响应某一类的异常}

这种方法唯一使用的信息是异常的类型 一般情况下这已能满足我们的需要 但我们却无法获取异常实例中包含的信息 比如异常消息 错误代码等 假设我们需要对它们进行处理 那么就必须使用异常实例

为了使用异常实例 需要为特定响应模块提供一个临时变量来保存它

on EInstance : ExceptionType do  …

在当前响应模块中我们可以象使用一个普通对象那样来引用它的数据成员 但在当前响应模块之外不被承认

下面的代码用于获取异常消息并按自己的方式显示它

{窗口中包括一个ScrollBar部件 一个Button部件}

procedure TErrorForm Button Click（Sender: TObject）

begin

try

ScrollBar Max := ScrollBar Min

except

on E: EInvalidOperation do

MessageDlg（ Ignoring Exception: +E Message

mtInformation [mbOK] ）

end

end

提供缺省响应

在异常响应模块中 一般我们只对希望响应的特定异常进行处理 如果一个异常发生而响应模块并没有包含对它的处理代码 则退出当前响应模块 异常类仍被保留

为了保证任何异常发生后都能在当前响应模块中被清除 可以定义缺省响应

try

{程序正常功能}

except

on ESomething do

{响应特定异常}

else

{提供缺省响应}

end

由于else可以响应任何异常 包括我们一无所知的异常 因此在缺省响应中最好只包括诸如显示一个消息框之类的处理 而不要改变程序的运行状态或数据

响应一族异常

诸如

on ExceptionType do

的异常响应语句不仅可响应本类异常 而且可以响应子类异常 对于象EIntError EMathError等系统不会引发的异常 它们将只响应其子类异常 而对于象

on Exception do

这样的语句将会对任何异常进行响应

下面一段代码对整数越界异常进行单独处理 而对其它整数异常进行统一处理

try

{整数运算}

except

on ERangeError do

{越界处理}

on EIntError do

{其它整数异常处理}

end

由于异常在处理后即被清除 因而上面的代码可保证不会使ERangeError异常被多次处理 假如颠倒两条响应语句的顺序 则ERangeError异常响应将永远没有被执行的机会

由于异常在处理后即被清除 因而当希望对异常进行多次处理时就需要使用保留字raise来重引发一个当前异常

lishixinzhi/Article/program/Delphi/201311/25188

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

var

I : Integer

a b c : Word

begin

a :=

b :=

c :=

for I := to do

begin

c := a*b*c

end

end

引发一个EIntOverFlow异常

EIntOverFlow异常类只有在编译选择框Option|Project|Over_Flow_Check Option选中时才产生 当关闭溢出检查 则溢出后变量保留该类整数的最大范围值

整数类型的范围如下表

表 整数类型的范围

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

类型 范围 格式

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

Shortint   有符号 位

Integer   有符号 位

Longint   有符号 位

Byte   无符号 位

Word   无符号 位

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

浮点异常

浮点异常是在进行实数 *** 作时产生的 它们都从一个EMathError类派生 但与整数异常相同 程序运行中引发的总是它的子类EInvalidOp EZeroDivide EOverFlow EUnderFlow

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

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

异常类 引发原因

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

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

EZeroDivide 试图被零除

EOverFlow 浮点上溢

EUnderFlow 浮点下溢

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

EInvalidOp最常见的引发原因是没有协处理器的机器遇到一个协处理器指令 由于在缺省情况下Delphi总是把浮点运算编译为协处理器指令 因而在 以下微机上常常会碰到这个错误 此时只需要在单元的接口部分设置全局编译指示{$N } 选择利用运行时间库进行浮点运算 问题就可以解决了

各种类型的浮点数（Real Single Double Extended）越界引起同样的溢出异常 这同整数异常类是不同的

类型匹配异常

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

类型转换异常

类型转换异常EConvertError当试图用转换函数把数据从一种形式转换为另一种形式时引发 特别是当把一个字符串转换为数值时引发 下面程序中的两条执行语句都将引发一个EConvertError异常

var

rl : Real

int: Integer

begin

rl := StrToFloat（ $ ）

int := StrToInt（ ）

end

要注意并不是所有的类型转换函数都会引发EConvertError异常 比如函数Val当它无法完成字符串到数值的转换时只把错误代码返回 利用这一点我们在（ ）节中实现了输入的类型和范围检查

硬件异常

硬件异常发生的情况有两种 或者是处理器检测到一个它不能处理的错误 或者是程序产生一个中断试图中止程序的执行 硬件异常不能编译进动态链接库（DLLs）中 而只能在标准的应用中使用

硬件异常都是EProcessor异常类的子类 但运行时间并不会引发一个EProcessor 异常

表   硬件异常类及其产生原因

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

异常类 引发原因

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

Efault 基本异常类 是其它异常类的父类

EGPFault 一般保护错 通常由一个未 初始化的指针或对象引起

EStackFault 非法访问处理器的栈段

EPageFault Windows内存管理器不能正确使用交换文件

EInvalidOpCode 处理器碰到一个未定义的指令 这通常意味着处理器

试图去 *** 作非法数据或未初始化的内存

EBreakPoint 应用程序产生一个断点中断

ESingleStep 应用程序产生一个单步中断

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

EFault EGPFault 往往意味着致命的错误 而EBreakPoint ESingleStep被Delphi IDE的内置调试器处理 事实上前边的五种硬件异常的响应和处理对开发者来说都是十分棘手的问题

lishixinzhi/Article/program/Delphi/201311/25192

---