明辉站/技术开发/内容

VB.NET是怎么做到的(8)——On Error语句与When语句

技术开发2023-07-23 阅读
[摘要]感觉VB.NET特有的功能快要被我研究完了,那么这个系列也快要终止了,不知道能不能凑足10篇。本次讨论的是异常处理语句。VB.NET推荐使用Try...End Try块来进行结构化的异常处理,但是为了确保兼容性,它也从以前版本的BASIC中借鉴了On Error语句。其实On Error并不能算是...
感觉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#中经常让开发者传参数传到吐血。

……

相关阅读