網上有很多人探討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語句在try中的return語句執行之後return返回之前執行的。
例1.1:
public class Main {
public static void main(String[] args) {
System.out.println(test1());
}
private 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 + 5;
}
}
輸出:
說明return語句已經執行了再去執行finally語句,不過並沒有直接返回,而是等finally語句執行完了再返回結果。
如果覺得這個例子還不足以說明這個情況的話,下面再加個例子加強證明結論:
例1.2:
public class Main {
public static void main(String[] args) {
System.out.println(test11());
}
private static String test11() {
try {
System.out.println("try block");
return test12();
} finally {
System.out.println("finally block");
}
}
private static String test12() {
System.out.println("return statement");
return "after return";
}
}
輸出:
說明try中的return語句先執行了但並沒有立即返回,等到finally執行結束後再返回。
這裏大家可能會想:如果finally裏也有return語句,那麼是不是就直接返回了,try中的return就不能返回了?看下面。
2. finally塊中的return語句會覆蓋try塊中的return返回。
例2:
public class Main {
public static void main(String[] args) {
System.out.println(test2());
}
private 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 + 5;
}
}
輸出:
這說明finally裏的return直接返回了,就不管try中是否還有return語句,這裏還有個小細節需要注意,finally里加上return過後,finally外面的“return b + 5;”就變成不可到達語句了,也就是永遠不能被執行到,所以需要註釋掉否則編譯器報錯。也不建議在finally中使用return語句,如果有,一般編譯器會報warning“finally block does not complete normally”。
這裏大家可能又想:如果finally裏沒有return語句,但修改了b的值,那麼try中return返回的是修改後的值還是原值?看下面。
3. 如果finally語句中沒有return語句覆蓋返回值,那麼原來的返回值可能因爲finally裏的修改而改變也可能不變。
例3.1:
public class Main {
public static void main(String[] args) {
System.out.println(test3());
}
private 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;
}
}
輸出:
例3.2:
import java.util.*;
public class Main {
public static void main(String[] args) {
System.out.println(getMap().get("KEY"));
}
private static Map<String, String> getMap() {
Map<String, String> map = new HashMap<>();
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;
}
}
輸出:
爲什麼例3.1中finally裏的b = 150;並沒有起到作用而例3.2中finally的map.put("KEY", "FINALLY");起了作用而map = null;卻沒起作用呢?這就是Java到底是傳值還是傳址的問題了,具體請看精選30道Java筆試題解答,裏面有詳細的解答,簡單來說就是:Java中只有傳值沒有傳址,這也是爲什麼map = null這句不起作用。這同時也說明了返回語句是try中的return語句而不是 finally外面的“return b + 5;”這句。
這裏大家可能又要想:是不是每次返回的一定是try中的return語句呢?那麼finally外的“return b + 5;”不是一點作用沒嗎?請看下面。
4. try塊裏的return語句在異常的情況下不會被執行,這樣具體返回哪個看情況。
例4:
public class Main {
public static void main(String[] args) {
System.out.println(test4());
}
private 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 b + 5;
}
}
輸出:
這裏因爲在return之前發生了除0異常,所以try中的return不會被執行到,而是接着執行捕獲異常的catch語句和最終的finally語句,此時兩者對b的修改都影響了最終的返回值,這時“return b + 5;”就起到作用了。當然如果你這裏將“return b + 5;”改爲“return 300;”什麼的,最後返回的就是300,這毋庸置疑。
這裏大家可能又有疑問:如果catch中有return語句呢?當然只有在異常的情況下才有可能會執行,那麼是在finally之前就返回嗎?看下面。
5. 當發生異常後,catch中的return執行情況與未發生異常時try中return的執行情況完全一樣。
例5:
public class Main {
public static void main(String[] args) {
System.out.println(test5());
}
private 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 + 5;
}
}
輸出:
說明了發生異常後,catch中的return語句先執行,確定了返回值後再去執行finally塊,執行完了catch再返回,finally裏對b的改變對返回值無影響,原因同前面一樣,也就是說情況與try中的return語句執行完全一樣。
最後總結:finally塊的語句在try或catch中的return語句執行之後返回之前執行且finally裏的修改語句可能影響(引用類型)也可能不影響(基本類型)try或catch中return已經確定的返回值,若finally裏也有return語句則覆蓋try或catch中的return語句直接返回。
注:其實看一下類的class字節碼文件就知道。 return的時候是複製了一個變量然後返回,所以之後finally操作的變量如果是基本類型的話不會影響返回值。 但是如果返回值是引用類型的話,因爲指向同一個對象所以還是有影響的。