java中return與finally的執行順序

標籤：exit   覆蓋   補充   ase   分享   而且   final   斷點   試題   

網上有很多人探討Java中異常捕獲機制try...catch...finally塊中的finally語句是不是一定會被執行？很多人都說不是，當然他們的回答是正確的，經過我實驗，至少有兩種情況下finally語句是不會被執行的：（1）try語句沒有被執行到，如在try語句之前就返回了，這樣finally語句就不會執行，這也說明了finally語句被執行的必要而非充分條件是：相應的try語句一定被執行到。（2）在try塊中有System.exit(0);這樣的語句，System.exit(0);是終止Java虛擬機器JVM的，連JVM都停止了，所有都結束了，當然finally語句也不會被執行到。 當然還有很多人探討Finally語句的執行與return的關係，頗為讓人迷惑，不知道finally語句是在try的return之前執行還是之後執行？我也是一頭霧水，我覺得他們的說法都不正確，我覺得應該是：finally語句是在try的return語句執行之後，return返回之前執行。這樣的說法有點矛盾，也許是我表述不太清楚，下面我給出自己實驗的一些結果和樣本進行佐證，有什麼問題歡迎大家提出來。1. finally語句在return語句執行之後return返回之前執行的。public class FinallyTest1 { public static void main(String[] args) { System.out.println(test1()); } public static int test1() { int b = 20; try { System.out.println("try block"); return b += 80; } catch (Exception e) { System.out.println("catch block"); } finally { System.out.println("finally block"); if (b > 25) { System.out.println("b>25, b = " + b); } } return b; } }運行結果是：try block finally block b>25, b = 100 100說明return語句已經執行了再去執行finally語句，不過並沒有直接返回，而是等finally語句執行完了再返回結果。如果覺得這個例子還不足以說明這個情況的話，下面再加個例子加強證明結論：public class FinallyTest1 { public static void main(String[] args) { System.out.println(test11()); } public static String test11() { try { System.out.println("try block"); return test12(); } finally { System.out.println("finally block"); } } public static String test12() { System.out.println("return statement"); return "after return"; } }運行結果為：try block return statement finally block after return說明try中的return語句先執行了但並沒有立即返回，等到finally執行結束後再這裡大家可能會想：如果finally裡也有return語句，那麼是不是就直接返回了，try中的return就不能返回了？看下面。2. finally塊中的return語句會覆蓋try塊中的return返回。public class FinallyTest2 { public static void main(String[] args) { System.out.println(test2()); } public static int test2() { int b = 20; try { System.out.println("try block"); return b += 80; } catch (Exception e) { System.out.println("catch block"); } finally { System.out.println("finally block"); if (b > 25) { System.out.println("b>25, b = " + b); } return 200; } // return b; } }運行結果是：try block finally block b>25, b = 100 200這說明finally裡的return直接返回了，就不管try中是否還有返回語句，這裡還有個小細節需要注意，finally裡加上return過後，finally外面的return b就變成不可到達語句了，也就是永遠不能被執行到，所以需要注釋掉否則編譯器報錯。這裡大家可能又想：如果finally裡沒有return語句，但修改了b的值，那麼try中return返回的是修改後的值還是原值？看下面。3. 如果finally語句中沒有return語句覆蓋傳回值，那麼原來的傳回值可能因為finally裡的修改而改變也可能不變。測試案例1：public class FinallyTest3 { public static void main(String[] args) { System.out.println(test3()); } public static int test3() { int b = 20; try { System.out.println("try block"); return b += 80; } catch (Exception e) { System.out.println("catch block"); } finally { System.out.println("finally block"); if (b > 25) { System.out.println("b>25, b = " + b); } b = 150; } return 2000; } }運行結果是：try block finally block b>25, b = 100 100  測試案例2： import java.util.*; public class FinallyTest6 { public static void main(String[] args) { System.out.println(getMap().get("KEY").toString()); } public static Map<String, String> getMap() { Map<String, String> map = new HashMap<String, String>(); map.put("KEY", "INIT"); try { map.put("KEY", "TRY"); return map; } catch (Exception e) { map.put("KEY", "CATCH"); } finally { map.put("KEY", "FINALLY"); map = null; } return map; } }運行結果是：FINALLY為什麼測試案例1中finally裡的b = 150;並沒有起到作用而測試案例2中finally的map.put("KEY", "FINALLY");起了作用而map = null;卻沒起作用呢？這就是Java到底是傳值還是傳址的問題了，具體請看精選30道Java筆試題解答，裡面有詳細的解答，簡單來說就是：Java中只有傳值沒有傳址，這也是為什麼map = null這句不起作用。這同時也說明了返回語句是try中的return語句而不是 finally外面的return b;這句，不相信的話可以試下，將return b;改為return 294，對原來的結果沒有一點影響。這裡大家可能又要想：是不是每次返回的一定是try中的return語句呢？那麼finally外的return b不是一點作用沒嗎？請看下面。4. try塊裡的return語句在異常的情況下不會被執行，這樣具體返回哪個看情況。public class FinallyTest4 { public static void main(String[] args) { System.out.println(test4()); } public static int test4() { int b = 20; try { System.out.println("try block"); b = b / 0; return b += 80; } catch (Exception e) { b += 15; System.out.println("catch block"); } finally { System.out.println("finally block"); if (b > 25) { System.out.println("b>25, b = " + b); } b += 50; } return 204; } }運行結果是：try block catch block finally block b>25, b = 35 85這裡因 為在return之前發生了除0異常，所以try中的return不會被執行到，而是接著執行捕獲異常的catch 語句和最終的finally語句，此時兩者對b的修改都影響了最終的傳回值，這時return b;就起到作用了。當然如果你這裡將return b改為return 300什麼的，最後返回的就是300，這毋庸置疑。這裡大家可能又有疑問：如果catch中有return語句呢？當然只有在異常的情況下才有可能會執行，那麼是在finally之前就返回嗎？看下面。5. 當發生異常後，catch中的return執行情況與未發生異常時try中return的執行情況完全一樣。public class FinallyTest5 { public static void main(String[] args) { System.out.println(test5()); } public static int test5() { int b = 20; try { System.out.println("try block"); b = b /0; return b += 80; } catch (Exception e) { System.out.println("catch block"); return b += 15; } finally { System.out.println("finally block"); if (b > 25) { System.out.println("b>25, b = " + b); } b += 50; } //return b; } }運行結果如下：try block catch block finally block b>25, b = 35 35說明了發生異常後，catch中的return語句先執行，確定了傳回值後再去執行finally塊，執行完了catch再返回，finally裡對b的改變對傳回值無影響，原因同前面一樣，也就是說情況與try中的return語句執行完全一樣。 最後總結：finally塊的語句在try或catch中的return語句執行之後返回之前執行，且finally裡的修改語句可能影響也可能不影響try或catch中 return已經確定的傳回值，若finally裡也有return語句則覆蓋try或catch中的return語句直接返回。 說明：1、這篇文章覆蓋的測試案例比較全，但是在例子4的情況應該是不正確的，按照理解，加上實驗測實驗證過，最後的輸出結果應該是204而不是85。這也是我想補充的，其實考慮try-catch-finally以及return的執行順序的時候，假如return在block外面，而且try block和catch block裡都沒有return語句，那麼執行時try-catch-finally block裡對return變數的值的修改都是有效，具體情況具體分析。2、在try或者catch block 裡有return語句的話，return的值先計算好，儲存起來，假設為res1，然後繼續運行finally，對上述變數的值已做修改，假設為res2。這時候你用斷點調試的時候就可以看到，在return式子後面的變數的值已經被修改為res2了，但是最終返回的值是res1，這點很重要。至於參考型別的話，因為修改的是堆裡的內容，因此修改是有效，只是之前計算過的引用值的修改無效而已。轉載文章裡的測試案例2中的map就是一個引用值，因為return時已經確定了返回的map，我們假設計算完return後map有個臨時變數儲存為mapTemp，他們兩個都指向了new出來的那塊內容content。後來在finally中map的指向的內容content被修改了，而map的值本身也被修改為null，但是這不影響之前返回的值，因為已經儲存為mapTemp，然而該值指向的內容的確content被修改了，最終列印出FINALLY。大致流程1所示。 圖1

java中return與finally的執行順序