以前總結(jié)的是：finally總是在return 前執(zhí)行。

這句話是沒錯(cuò)，但是遇到如下代碼。分析返回值時(shí)卻解釋不通了。

public int inc(){int x;try{x = 1;return x;}catch( Exception e ){x =2 ;return x;}finally{x = 3;}}這個(gè)方法執(zhí)行完后，返回的是多少呢？

如果按照前面的結(jié)論( finally 總是在return 前執(zhí)行 )，那么變量x 總是被賦值為 3。所以返回值應(yīng)該是 3。

實(shí)際運(yùn)行結(jié)果是：1 ！！！

為什么會(huì)這樣呢？

通過單步調(diào)試發(fā)現(xiàn)執(zhí)行路徑如下：

先是， x = 1 ;

然后，return x ;

在然后，x = 3 ;

最后，return x ;

原來， return x 這一句有兩步操作：

第一步，將 x 的值復(fù)制一份副本到最后一個(gè)本地變量表的 Slot 中（這個(gè) Slot 里面的值在 ireturn 指令執(zhí)行前會(huì)被重新讀到操作棧頂，作為返回值使用 ）

第二步，ireturn 返回 Slot中的值

這樣也就解釋的通，為什么最后返回值是1 了！

finally 語句塊中的 x = 3，無法改變 Slot 中的值，所以返回的仍然是1。

上面的是針對(duì)原始類型操作而言，如果是引用類型呢？是不是會(huì)改變（畢竟同一引用）？

如下代碼

public StringBuilder append(){StringBuilder sb = new StringBuilder();try{sb.append( "1" );return sb;}catch( Exception e ){sb.append( "2" );return sb;}finally{sb.append( "3" );}}運(yùn)行結(jié)果：13

表明上面的結(jié)論是正確的。

--------------------------------------------------------

下面是針對(duì)會(huì)拋出異常的情形，分析同上，僅做演示：

public int inc(){int x;try{x = 1;throwMethod();return x;}catch( Exception e ){x =2 ;return x;}finally{x = 3;}}public StringBuilder append(){StringBuilder sb = new StringBuilder();try{sb.append( "1" );throwMethod();return sb;}catch( Exception e ){sb.append( "2" );return sb;}finally{sb.append( "3" );}}public void throwMethod() throws Exception{throw new Exception( "拋出異常" );}運(yùn)行結(jié)果為：

2

123

總結(jié)

以上是生活随笔為你收集整理的try-catch-finally-return执行路径总结的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。