转载 http://developer.51cto.com/art/200910/159233.htm
这里介绍VB.NET On Error语句,其实On Error并不能算是VB的优点,因为使用它会破坏程序的结构,让带有异常处理的程序难以看懂和调试。
经过长时间学习VB.NET On Error语句,于是和大家分享一下,看完本文你肯定有不少收获,希望本文能教会你更多东西。本次讨论的是异常处理语句。VB.NET推荐使用Try...End Try块来进行结构化的异常处理,但是为了确保兼容性,它也从以前版本的BASIC中借鉴了VB.NET On Error语句。其实On Error并不能算是VB的优点,因为使用它会破坏程序的结构,让带有异常处理的程序难以看懂和调试。但是我一直很惊叹于VB的工程师是怎样实现它的,因为On Error可以让异常的跳转变得很灵活,不像Try那样受到限制。首先看看Try是怎样实现的:
- Public Function F1() As Integer
- Try
- Dim n As Integer = 2 \ n
- Catch ex As Exception
- MsgBox(ex.Message)
- End Try
- End Function
这是最简单的异常处理程序,通过Reflector反汇编(如果用ILDasm,不要选择“展开try-catch”),可以发现整个过程被翻译成19条指令。留意这一句:
- .try L_0000 to L_0006 catch Exception L_0006 to L_0022
这就是典型的try块,在catch处直接指定要捕获的异常,然后指定catch区的位置,非常清晰。还要留意这两句:
- L_0007: call ProjectData.SetProjectError
- L_001b: call ProjectData.ClearProjectError
可以看出,这两句是在catch块的开头和末尾。深入这两个过程我发现它是在为Err对象记录异常。看来使用Err也是语法甜头,性能苦头,凭空添加了这两句(幸好都不太复杂)。
接下来我编写了一个与此功能类似的函数,用的是On语句处理异常:
- Public Function F2() As Integer
- On Error GoTo CATCHBLOCK
- Dim n As Integer = 2 \ n
- Exit Function
- CATCHBLOCK:
- MsgBox(Err.Description)
- End Function
这不比上一个过程复杂,但是反汇编以后,它的IL代码竟然有47条指令,刚才才19条啊!最主要的改变是try部分,现在它是这样:
- .try L_0000 to L_0022 filter L_0022 L_0036 to L_0060
注意,catch不见了,而出现了filter。我从没在C#生成的IL中见过filter。我查询了Meta Data一节的文档,filter大概能够进行一些过滤,满足一定条件才进入处理异常的块中,本例来说,L_0022指令开始就是过滤器,它是:
- L_0022: isinst Exception
- L_0027: brfalse.s L_0033
- L_0029: ldloc.s V_4
- L_002b: brfalse.s L_0033
- L_002d: ldloc.3
- L_002e: brtrue.s L_0033
- L_0030: ldc.i4.1
- L_0031: br.s L_0034
- L_0033: ldc.i4.0
- L_0034: endfilter
endfilter就是异常处理部分代码的开始。而L0030之前的代码是过滤器的判断部分,V_4和V_3是VB自己加入保存错误代码的变量。在整个反汇编中,我发现设计成处理异常部分的代码在IL里其实也是在try块中,也就是说程序的结构已经不是规整的try...catch块,产生异常的语句和处理异常的语句在一起,而真正处理异常的指令是一大堆繁冗拖沓的跳转语句。
下面看看我编写的第三个例子:
- Public Function F3() As Integer
- On Error Resume Next
- Dim n As Integer = 2 \ n
- End Function
这个值有2行的过程动用了VB强大的语法杀手——On Error Resume Next,它将忽略所有异常,让代码紧接产生异常的语句继续执行下去,猜猜这个功能产生了多少IL指令?答案是50条!比普通的On Error还要长。其实现我就不多说了,和前面的On语句差不多。不过50这个数字似乎提醒了大家,不要在程序里偷懒使用On Error处理异常,这样产生的代价是不可接受的。
最后一个例子是VB.NET的When语句,它可以实现对Catch部分的过滤:
- Public Function F1() As Integer
- Dim n As Integer = 0
- Try
- Dim m As Integer = 2 \ n
- Catch ex As Exception When n = 0
- MsgBox(ex.Message)
- End Try
- End Function
里面的When语句进行了对变量n的判断,仅当n = 0的时候才进入处理部分。听到“过滤”两个字,我们已经猜出,它是用try...filter来实现的。没错。这里的filter主要是进行ex是否是 Exception型,n是否等于零等,当过滤成功,就会转移到异常处理段进行处理。这次VB生成的代码要比VB.NET On Error语句规则得多,结构相当清晰。
本次我们还借助VB.NET On Error语句和When语句了解到try filter结构,它是C#不能生成的,因此,我发现它不能被常见的反编译器反编译(因为反编译器的编写者只知道C#,呵呵)。而且用了On Error后程序结构变得异常混乱,这在产生负面作用的时候,是不是能够变相起到保护我们代码的作用呢?