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]中取出值,作為返回值,返回給上層。
