java面試題之try中含return語句時代碼的執行順序詳解

前言

最近在刷java面試題偶然看到這類問題(try/finally中含有return時的執行順序)，覺得挺有意思於是小小的研究了一下，希望經過我添油加醋天馬行空之後，能給你帶來一定的幫助，下面來看看詳細的介紹。

原題

try {} 裡有一個return語句，那麼緊跟在這個try後的finally {}裡的代碼會不會被執行?什麼時候被執行?在return前還是後?
乍一看題目很簡單嘛，java規范都說了，finally會在try代碼塊的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;
 }
 }

分析一下

test()方法內，在try中return了t，那麼在main方法中test()函數的返回值應該是t=0，即控制台輸出0

但是因為有finally的存在，而finally中對t進行了自增運算，並且finally會在try中的return語句之前執行，所以正確的情況是控制台輸出1

所以你最終確定的答案是：控制台輸出1

然而事實並非如此，將程序跑起來之後，得到的結果是:

輸出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;
 }
 }

上圖或許直觀一點？

那麼如果，這個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才能執行完畢。

好了，以上就是這篇文章的全部內容了，希望本文的內容對大家學習或者工作能帶來一定的幫助，如果有疑問大家可以留言交流，謝謝大家對的支持。