【轉】Java finally語句到底是在return之前還是之後執行?
網上有很多人探討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返回之前執行的。
1 package com.meng.javalanguage.finallytest; 2 3public class FinallyTest1 { 4 5 public static void main(String[] agrs) { 6 System.out.println(test1()); 7 } 8 9 public static int test1() { 10 int b = 20; 11 try { 12 System.out.println("try block"); 13 14 returnb += 80; 15 }catch(Exception e) { 16 System.out.println("catch block"); 17 } 18 finally { 19 System.out.println("finally block"); 20 21 if(b > 25) { 22 System.out.println("b > 25,b = " + b); 23 } 24 } 25 return b; 26 } 27 }
執行結果是:
說明return語句已經執行了再去執行finally語句,不過並沒有直接返回,而是等finally語句執行完了再返回結果。
如果覺得這個例子不足以說明這個情況的話,下面再加個例子加強證明結論:
1 package com.meng.javalanguage.finallytest; 2 3 public class FinallyTest1 { 4 5 public static void main(String[] args) { 6 System.out.println(test11()); 7 } 8 9 public static String test11() { 10 try { 11 System.out.println("try block"); 12 13 return test12(); 14 } finally { 15 System.out.println("finally block"); 16 } 17 } 18 19 public static String test12() { 20 System.out.println("return statement"); 21 22 return "after return"; 23 } 24 }
執行結果為:
說明try中的return語句先執行了但並沒有立即返回,等到finally執行結束後再返回。
這裡大家可能會想:如果finally裡也有return語句,那麼是不是就直接返回了,try中的return就不能返回了?看下面。
2、finally塊中的return語句會覆蓋try塊中的return返回。
1 package com.meng.javalanguage.finallytest; 2 3 public class FinallyTest2 { 4 5 public static void main(String[] args) { 6 System.out.println(test2()); 7 } 8 9 @SuppressWarnings("finally") 10 public static int test2() { 11 int b = 20; 12 13 try { 14 System.out.println("try block"); 15 16 return b += 80; 17 }catch(Exception e) { 18 19 System.out.println("catch block"); 20 } 21 finally { 22 System.out.println("finally block"); 23 24 if(b > 25) { 25 System.out.println("b > 25, b = " + b); 26 } 27 28 return 200; 29 } 30 31 // return b; 32 } 33 }
執行結果是:
這說明finally裡的return直接返回了,就不管try中是否還有沒有返回語句。這裡還有個小細節需要注意,finally里加上return過後,finally外面的return b;就變成了不可到達的語句,也就是永遠不能被執行到,所以需要註釋掉否則編譯器報錯。
這裡大家可能又想:如果finally裡沒有return語句,但修改了b的值,那麼try中return返回的是修改後的值還是原值?看下面。
3、如果finally語句中沒有return語句覆蓋返回值,那麼原來的返回值可能因為finally裡的修改而改變也可能不變。
測試用例1:
1 package com.meng.javalanguage.finallytest; 2 3 public class FinallyTest3 { 4 5 public static void main(String[] args) { 6 System.out.println(test3()); 7 } 8 9 public static int test3() { 10 int b = 20; 11 12 try { 13 System.out.println("try block"); 14 15 return b += 80; 16 }catch(Exception e) { 17 18 System.out.println("catch block"); 19 } 20 finally { 21 22 System.out.println("finally block"); 23 24 if(b > 25) { 25 System.out.println("b > 25, b = " + b); 26 } 27 28 b = 150; 29 } 30 31 return 2000; 32 } 33 }
執行結果是:
測試用例2:
1 package com.meng.javalanguage.finallytest; 2 3 import java.util.HashMap; 4 import java.util.Map; 5 6 public class FinallyTest6 { 7 public static void main(String[] args) { 8 System.out.println(getMap().get("KEY").toString()); 9 } 10 11 public static Map<String, String> getMap() { 12 Map<String, String> map = new HashMap<String, String>(); 13 14 map.put("KEY","INIT"); 15 16 try { 17 map.put("KEY", "TRY"); 18 return map; 19 }catch(Exception e) { 20 map.put("KEY", "CATCH"); 21 } 22 finally { 23 map.put("KEY", "FINALLY"); 24 map = null; 25 } 26 27 return map; 28 } 29 }
執行結果是:
為什麼測試用例1中finally裡的b = 150;並沒有起到作用而測試用例2中finally的map.put("KEY","FINALLY");起了作用而map = null;卻沒起作用呢?這就是Java到底是傳值還是傳址的問題了,return語句已經執行了:
1)再對b操作(b = 150;)相當於引數傳遞,操作的b是形式引數,不影響實際引數的值;
2)對map的操作(map = null)與1)同理,同樣不影響實際引數的值;
3)對於map.put("KEY","FINALLY"),形參和實參的內容一致,且因為map為引用型別,所以形參和實參儲存的為地址。此時呼叫形參改變自身內容的方法將會影響到該地址指向的物件的內容。所以,map中"KEY"對應的值改變了。
測試用例1還可以說明:返回語句是try中的return語句而不是finally外面的return 2000;這句。
4、try塊裡的return語句在異常的情況下不會被執行,這樣具體返回哪個看情況。
1 package com.meng.javalanguage.finallytest; 2 3 public class FinallyTest4 { 4 public static void main(String[] args) { 5 System.out.println(test4()); 6 } 7 8 public static int test4() { 9 int b = 20; 10 11 try { 12 System.out.println("try block"); 13 14 b = b / 0; 15 16 return b += 80; 17 } catch(Exception e) { 18 19 b += 15; 20 System.out.println("catch block"); 21 } 22 finally { 23 24 System.out.println("finally block"); 25 26 if(b > 25) { 27 System.out.println("b > 25,b = " + b); 28 } 29 30 b += 50; 31 32 } 33 return b; 34 35 36 } 37 38 }
執行結果是:
這裡因為在return之前發生了除0異常,所以try中的return不會被執行到,而是接著執行捕獲異常的catch語句和最終的finally語句,此時兩者對b的修改都影響了最終的返回值,這時return b;就返回了最後對b進行修改後的值。當然如果你這裡將return b改為return 300什麼的,最後返回的就是300,這毋容置疑。
這裡大家可能又有疑問:如果catch中有return語句呢?當然只有在異常的情況下才有可能會執行,那麼是在finally之前就返回嗎?看下面
5、當發生異常後,catch中的return執行情況與未發生異常時try中return的執行情況完全一樣。
1 package com.meng.javalanguage.finallytest; 2 3 public class FinallyTest5 { 4 5 public static void main(String[] args) { 6 System.out.println(test5()); 7 } 8 9 public static int test5() { 10 int b = 20; 11 12 try { 13 System.out.println("try block"); 14 15 b = b / 0; 16 17 return b += 80; 18 }catch(Exception e) { 19 System.out.println("catch block"); 20 21 return b += 15; 22 } 23 finally { 24 25 System.out.println("finally block"); 26 27 if(b > 25) { 28 System.out.println("b > 25,b = " + b); 29 } 30 31 b += 50; 32 } 33 34 // return b; 35 } 36 }
執行結果是:
說明了發生異常後,catch中的return語句先執行,確定了返回值後再去執行finally塊,執行完了catch再返回,finally裡對b的改變對返回值無影響,原因同前面 一樣,也就是說情況與try中的return語句執行完全一樣。
最後總結:finally塊的語句在try或catch中的return語句執行之後返回之前執行,且finally裡的修改語句可能影響也可能不影響try或catch塊中return已經確定的返回值,若finally裡也有return語句則覆蓋try或catch中的return語句直接返回。