Java的異常,在我們編寫代碼的過程中非常的常見,并且我們通常按照固定的范式去寫它:

try {
    ....
} catch( e ) {
    ...
} finally {}

那么,這么寫會有什么樣的陷阱呢？我們來看下一個簡單的例子:

public static int testTryCatch() {
        try {
            int i = 1/0;
        } catch(Exception e) { //2
            return 1;
        }finally{
            return 2;
        }
    }

這個函數(shù)的返回值會是多少呢？有人說是1有人說是2?實際上,我們在控制臺輸出的時候會輸出一個2,也就是說exception代碼塊中的代碼并沒有返回。這又是為什么呢？Java的編譯器到底做了什么呢？我們打開JVM的匯編碼,跟蹤一下最后編譯器編譯的結(jié)果:

Code:
      stack=2, locals=2, args_size=0
         0: iconst_0
         1: istore_0
         2: iconst_1
         3: iconst_0
         4: idiv     //throw exception
         5: istore_0     //code int i = 1/0;
         6: goto          14
         9: astore_1
        10: goto          14
        13: pop
        14: iconst_2 //return 2;
        15: ireturn
      Exception table:
         from    to  target type
             2     6     9   Class java/lang/Exception
             2    13    13   any

我們看到,由于我們代碼中使用了一個i變量和一個Exception變量,因此我們將使用兩個局部變量(但實際上由于i變量的作用域,根本沒有必要用到兩個局部變量,實際上用一個slot就能解決問題)。在代碼第4行的位置,idiv指令發(fā)生了異常,按照異常處理表的指引"2 6 9 Class java/lang/Exception",代碼將跳轉(zhuǎn)到第9行:

9: astore_1  //存入一個Exception對象到局部變量中
10: goto          14 //跳轉(zhuǎn)到14行中

我們發(fā)現(xiàn),實際上,當(dāng)程序拋出異常的時候,如果發(fā)現(xiàn)finally有return指令的時候,會cancel掉exception塊中的return指令。

我們再看下另外一個例子:

        try {
            int i = 1/0;
            return 10;
        } catch(Exception e) { //2
            obj.v= 2;
            return obj.v;
        }finally{
            obj.v= 3;
        }

在finally語句塊中并不存在return指令,并且,在Exception語句塊中,返回了obj.v成員。如果finally語句塊在return指令之前執(zhí)行,那么我們將得到結(jié)果3。但實際上,我們得到的結(jié)果是2，但是obj.v的值是3。這似乎也合理,但是編譯器到底是怎么做的呢？

 Code:
      stack=2, locals=4, args_size=1
         0: iconst_1
         1: iconst_0
         2: idiv   //1/0
         3: istore_1     // int i = 1/0
         4: aload_0
         5: iconst_3
         6: putfield      #29                 // Field Demo$Obj.v:I
         9: bipush        10
        11: ireturn
        12: astore_1  //存入Exception變量
        13: aload_0
        14: iconst_2
        15: putfield      #29                 // Field Demo$Obj.v:I
        18: aload_0     
        19: getfield      #29                 // Field Demo$Obj.v:I  //obj.v = 2
        22: istore_3   //將obj.v的值存入第四個局部變量中去
        23: aload_0
        24: iconst_3
        25: putfield      #29                 // Field Demo$Obj.v:I
        28: iload_3
        29: ireturn
        .....
      Exception table:
         from    to  target type
             0     4    12   Class java/lang/Exception
             0     4    30   any
            12    23    30   any

我們看到,這個指令集合很特殊,為什么呢？因為實際上我們只用到了3個局部變量,但是它卻給你生成了四個局部變量。而這第四個局部變量就是這個代碼的關(guān)鍵。當(dāng)?shù)诙l指令"idiv"發(fā)生異常的時候,按照異常表的指示,我們將跳轉(zhuǎn)到12行,按照指令的指示,會先將一個2存入obj變量的v屬性中去,然后將該變量值存入slot 3所對應(yīng)的局部變量中去。這時候,根據(jù)24行代碼的指示,將常量3存入obj.v中,然后從局部變量[3]中取出值,作為返回值,返回給上層。