VB.NET是怎样做到的（八）——On Error语句和When语句

感觉VB.NET特有的功能快要被我研究完了，那么这个系列也快要终止了，不知道能不能凑足10篇。

本次讨论的是异常处理语句。VB.NET推荐使用Try...End Try块来进行结构化的异常处理，但是为了确保兼容性，它也从以前版本的BASIC中借鉴了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。由于try和filter不属于IL，而是属于元数据，所以我查询了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是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生成的代码要比On Error 语句规则得多，结构相当清晰。

本次我们还借助On Error 语句和When 语句了解到try filter结构，它是C#不能生成的，因此，我发现它不能被常见的反编译器反编译（因为反编译器的编写者只知道C#，呵呵）。而且用了On Error后程序结构变得异常混乱，这在产生负面作用的时候，是不是能够变相起到保护我们代码的作用呢？

End Sub

如果只想指定k，让i和j使用默认值，就可以使用按名传递，如下

TestOptiOnal(k := 2)

而且这种方式不受参数表顺序的限制

TestOptiOnal(k := 2, i := 3, j := 5)

这些的确是相当方便的功能，C#就不支持上述两个特性。我们看看它是怎样在IL级别实现的。上述第一个方法在IL中的定义为

.method public instance void TestOptiOnal([opt] int32 i) cil managed
{
.param [1] = int32(0x00000001)
.maxstack 8

可见，参数被加上了[opt]修饰符，而且.param指定了参数的默认值。这是只有VB能识别的内容，C#会跳过他们。在调用的时候，VB若发现参数被省略，则自动读取.param部分的默认值，并显式传递给过程。这一部分完全由编译器处理，而且没有任何性能损失，和手工传递所有参数是完全一样的。至于按名传递，VB会自动调整参数的顺序，其结果与传统方式的传递也没有任何的不同。这说明我们可以放心地使用这项便利。而且带有可选参数的过程拿到C#中，顶多变成不可选参数，也不会造成什么其他的麻烦。

PS.很多COM组件都使用了默认参数，而且有些过程的参数列表非常长，在VB里可以轻松地处理它们，而在C#中经常让开发者传参数传到吐血。