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 blockfinally 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 blockreturn statementfinally 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 blockfinally 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 blockfinally 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 blockcatch blockfinally 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 blockcatch blockfinally 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語句直接返回。