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返回之前執行的。
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裡的修改而改變。
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
finally裡的b = 150;並沒有起到作用，這貌似是前面說的有些矛盾，因為前面說try中的return是在finally執行完了才返回的，這裡我的解釋是：因為try中的return語句已經執行完了只是還沒有返回，但是它的返回值已經確定下來了（這裡是100），已經跟b這個變量無關了，不會再根據b的值決定返回什麼，所以finally裡對b的修改只影響b的值對原來已脫離b影響的返回值沒有一點影響。這同時也說明了返回語句是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語句直接返回。
