面試題思考:try 代碼塊中含 return 語句時,代碼執行順序

刷java面試題偶然看到這類問題(try/finally中含有return時的執行順序),以爲挺有意思因而小小的研究了一下,但願通過我添油加醋天馬行空以後,能給你帶來必定的幫助java

原題

try {} 裏有一個return語句,那麼緊跟在這個try後的finally {}裏的代碼會不會被執行?何時被執行?在return前仍是後?git

乍一看題目很簡單嘛,java規範都說了,finally會在try代碼塊的return以前執行,你這文章寫得沒意義,不看了github

你等等!(拿起我身邊的五尺砍刀)面試

神奇栗子

看完這個栗子,你在想一想執行順序究竟是怎樣的函數

栗子代碼

public static void main(String[] args) {
        int result = test();
        System.out.println(result);
    }

    public static int test() {
        int t = 0;
        try {
            return t;
        } finally {
            ++t;
        }
    }

分析一下

test()方法內,在try中return了t,那麼在main方法中test()函數的返回值應該是t=0,即控制檯輸出0搜索引擎

可是由於有finally的存在,而finally中對t進行了自增運算,而且finally會在try中的return語句以前執行,因此正確的狀況是控制檯輸出1spa

因此你最終肯定的答案是:控制檯輸出1code

然而事實並不是如此,將程序跑起來以後,獲得的結果是:對象

輸出0
將栗子跑起來親眼看一下吧~索引

獲得這個結果你也許要爆炸了,啥?java規範說的都是錯的?!

不用急,到我給sun洗地的時間了

洗地時間

在洗地以前,你頗有必要先理解java中的值傳遞,若是你已經瞭解該內容可略過下面這一個小節點

java中的值傳遞

因爲這只是本文內容引伸出去的知識點,不過多贅述,隨便嘮兩句,能借此明白則好,不明白但願藉助搜索引擎明白一下!

在java的方法調用中,時常須要傳遞參數,那麼傳遞的參數是將以前的變量直接傳遞給方法內了嗎?

顯然不是的,調用方法傳遞參數的時候,傳遞的只是原變量的一個副本(複製體),換句話說就是,將變量的值傳遞給了方法體,而並無真正的將變量傳遞進去。

看個栗子:

public static void main(String[] args) {
        int t = 0;
        test(t);
        System.out.println(t);
    }

    public static int test(int a) {
        a = 111;
    }

正確輸出是0,由於test()方法內拿到的a,只是t的一個副本(複製體)而並不直接是t,test()內改變了a的值,並不影響t的值

以上是對於基本數據類型,若是對於對象呢?

若是參數是對象,那麼傳遞的是對象的引用副本(複製體),這也就是爲何在方法體內對對象進行修改,會真正的改變對象。由於方法體外的引用和方法體內的引用指向的是堆內存中的同一個對象,傳遞的是對象的引用

若是這裏還不能理解值傳遞,建議先理解一下這一個概念再繼續往下看

真的開始分析了

爲了你看着方便,栗子代碼再來一份:(我真的不是爲了湊字數)

public static void main(String[] args) {
        int result = test();
        System.out.println(result);
    }

    public static int test() {
        int t = 0;
        try {
            return t;
        } finally {
            ++t;
        }
    }
  1. 當代碼執行到return t;時,並非直接將t返回了出去,而是將t保留了起來(由於還有一個finally語句塊沒有執行!)

而且這個保留,就是值傳遞性質的一個保留,也就是保留的是t的一個副本(複製體),我這裏先叫他tt吧(不是套套!!)

  1. 接下來執行finally語句塊,finally中將t作了自增運算,t的確變成了1,可是這並無影響t的複製體tt的值!保留起來的tt值仍是0!

  2. 這個時候執行完了finally,正式將保留起來的tt返回出去,因而,整個函數的返回結果就是0

  3. 這個t的副本(複製體)保留的地方是哪兒呢?我查了半天,有個應該靠譜的說法,保留在函數棧中,但具體保留的區域叫什麼,我也不知道,還請知情大佬指教一下!

上圖或許直觀一點?

靈魂畫師
叫我一聲靈魂畫師我可敢答應!

那麼若是,這個t是一個對象呢?按照前面說的值傳遞的問題,若是t是一個對象,在finally中對t進行修改,那麼最終返回出去的t所顯示出來的數據,應該是通過修改的。

寫一個Person類來檢驗一下吧

public class Test {

    public static void main(String[] args) {
        Person result = test();
        System.out.println(result.age);
    }

    public static Person test() {
        Person t = new Person();
        t.age = 0;
        try {
            return t;
        } finally {
            t.age++;
            
        }
    }

}

class Person {
    int age;
}

這段代碼輸出的是1,由於Person是一個類,t是一個對象的引用,對象實例保存在堆內存中,t的副本tt也是一個對象的引用,t和tt都指向堆內存中的對象實例,那麼不論修改誰,實際上對象實例都被修改了!

看完我這一通胡說八道,你應該瞭解了整個執行流程咯?

那麼繼續開一個引伸

又一個小栗子

若是在finally中也有一個return,會發生什麼?

public static void main(String[] args) {
        int result = test();
        System.out.println(result);
    }

    public static int test() {
        int t = 0;
        try {
            return t;
        } finally {
            ++t;
            return t;
        }
    }

最終輸出的結果是1

就是說,若是try中有return而finally中也有return,那麼後者將會讓前者失效!

理解

=> try中將t保留了一份副本用於返回出去,到了finally中,又有一個return語句,這時候又要建立一個用於返回的副本,那這個時候就有兩個副本了,到底返回誰呢?取後者!

總結

這一個面試題,看似簡單,卻暗藏殺機啊!

但是說了這麼多,結果就是finally在return以後執行嗎?

非也,你沒看見return沒有真正的執行完就開始執行finally嗎?而且是先執行完了finally,才執行完return,這也就很好理解java規範中的finally在return以前執行了。

不過,按如上狀況,這句話應該變成這樣:finally比return先執行完畢。是否是就更容易理解了呢?

也就是說,return先被執行了,執行return的時候發現有finally,因而不能那麼快執行完畢return,先去執行finally,等finally執行完畢以後,return才能執行完畢。

全文下來,真是用個人三寸不爛之舌通過口若懸河的輸出連綿不絕的蠱惑打開了你的新世界大門啊

結語

更多內容歡迎訪問個人主頁個人博客若是個人文章確實有幫助到你,請不要忘了點一下文末的"♡"讓他變成"❤"做爲一直雛雞不免不少地方理解不到位,文中如有錯誤請直(bu)接(yao)指(ma)出(wo)寫做不易!

相關文章
相關標籤/搜索