一見鐘情VB.NET On Error語句
經過長時間學習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后程序結構變得異常混亂，這在產生負面作用的時候，是不是能夠變相起到保護我們代碼的作用呢？
【編輯推薦】
