finally 到底是在 return 之前還是之後執行的?


finally 到底是在 return 之前還是之後執行的?

作者|Alexia

cnblogs.com/lanxuezaipiao/p/3440471.html

前言

網上有很多人探討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返回之前執行的。

<code>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;
    }

}/<code>

運行結果是:

<code>try block
finally block
b>25, b = 100
100/<code>

說明return語句已經執行了再去執行finally語句,不過並沒有直接返回,而是等finally語句執行完了再返回結果。

如果覺得這個例子還不足以說明這個情況的話,下面再加個例子加強證明結論:

<code>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";
   }

}/<code>

運行結果為:

<code>try block
return statement
finally block
after return/<code>

說明try中的return語句先執行了但並沒有立即返回,等到finally執行結束後再

這裡大家可能會想:如果finally裡也有return語句,那麼是不是就直接返回了,try中的return就不能返回了?看下面。

2. finally塊中的return語句會覆蓋try塊中的return返回。

<code>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;
    }

}/<code>

運行結果是:

<code>try block
finally block
b>25, b = 100
200/<code>

這說明finally裡的return直接返回了,就不管try中是否還有返回語句,這裡還有個小細節需要注意,finally里加上return過後,finally外面的return b就變成不可到達語句了,也就是永遠不能被執行到,所以需要註釋掉否則編譯器報錯。

這裡大家可能又想:如果finally裡沒有return語句,但修改了b的值,那麼try中return返回的是修改後的值還是原值?看下面。

3. 如果finally語句中沒有return語句覆蓋返回值,那麼原來的返回值可能因為finally裡的修改而改變也可能不變。

測試用例1:

<code>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;
    }

}/<code>

運行結果是:

<code>try block
finally block
b>25, b = 100
100/<code>

測試用例2:

<code>import java.util.*;

public class FinallyTest6
{
    public static void main(String[] args) {
        System.out.println(getMap().get("KEY").toString());
    }

    public static Map<string> getMap() {
        Map<string> map = new HashMap<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;
    }
}/<string>/<string>/<string>/<code>

運行結果是:

<code>FINALLY/<code>

為什麼測試用例1中finally裡的b = 150;並沒有起到作用而測試用例2中finally的map.put("KEY", "FINALLY");起了作用而map = null;卻沒起作用呢?

這就是Java到底是傳值還是傳址的問題了,簡單來說就是:Java中只有傳值沒有傳址,這也是為什麼map = null這句不起作用。這同時也說明了返回語句是try中的return語句而不是 finally外面的return b;這句,不相信的話可以試下,將return b;改為return 294,對原來的結果沒有一點影響。

這裡大家可能又要想:是不是每次返回的一定是try中的return語句呢?那麼finally外的return b不是一點作用沒嗎?請看下面。

4. try塊裡的return語句在異常的情況下不會被執行,這樣具體返回哪個看情況。

<code>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;
    }

}/<code>

運行結果是:

<code>try block
catch block
finally block
b>25, b = 35
85/<code>

這裡因 為在return之前發生了除0異常,所以try中的return不會被執行到,而是接著執行捕獲異常的catch 語句和最終的finally語句,此時兩者對b的修改都影響了最終的返回值,這時return b;就起到作用了。當然如果你這裡將return b改為return 300什麼的,最後返回的就是300,這毋庸置疑。

這裡大家可能又有疑問:如果catch中有return語句呢?當然只有在異常的情況下才有可能會執行,那麼是在finally之前就返回嗎?看下面。

5. 當發生異常後,catch中的return執行情況與未發生異常時try中return的執行情況完全一樣。

<code>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;
    }

}/<code>

運行結果如下:

<code>try block
catch block
finally block
b>25, b = 35
35/<code>

說明了發生異常後,catch中的return語句先執行,確定了返回值後再去執行finally塊,執行完了catch再返回,finally裡對b的改變對返回值無影響,原因同前面一樣,也就是說情況與try中的return語句執行完全一樣。

總結

finally塊的語句在try或catch中的return語句執行之後返回之前執行且finally裡的修改語句可能影響也可能不影響try或catch中 return已經確定的返回值,若finally裡也有return語句則覆蓋try或catch中的return語句直接返回。


finally 到底是在 return 之前還是之後執行的?


分享到:


相關文章: