一见钟情VB.NET On Error语句-一见钟情sight

经过长时间学习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后程序结构变得异常混乱，这在产生负面作用的时候，是不是能够变相起到保护我们代码的作用呢？

【编辑推荐】