【搞定面試官】try中有return，finally還會執行嗎？

店小不二發表於2019-12-08
面試

本篇文章我們主要探討 一下如果try {}語句中有return，這種情況下finally語句還會執行嗎？其實JVM規範是對這種情況有特殊規定的，那我就先上程式碼吧！

public class FinallyTest {
    public int method() {
        int x = 1;
        try{
            ++ x;
            return x;
        }catch(Exception e){

        }finally{
            ++ x;
        }
        return x;
    }

    public static void main(String[] args) {
        FinallyTest t = new FinallyTest();
        int y = t.method();
        System.out.println(y);
    }
}
複製程式碼

對於上述程式碼，我們有以下幾個問題，來自測一下吧：

  1. 如果在 try 語句塊裡使用 return 語句，那麼 finally 語句塊還會執行嗎？

  2. 如果執行，那麼是怎樣實現既執行 return 又執行 finally 的呢？

  3. 上面的程式輸出是什麼？為什麼？

finally 語句塊還會執行嗎

對於該問題，答案是肯定的。Java官方文件上是這麼描述的:

The finally block always executes when the try block exits.`

我們看到描述詞用的是always，即在try執行完成之後，finally是一定會執行的。這種特性可以讓程式設計師避免在try語句中使用了return, continue或者 break關鍵字而忽略了關閉相關資源的操作。把清理相關資源放到finally語句塊中一直是最佳實踐。

PS: 用到finally關閉資源的時候，給大家提個醒，應該儘量避免在finally語句塊中出現執行時錯誤，可以適當新增判斷語句以增加程式健壯性：

finally {
    if (out != null) { 
        System.out.println("Closing PrintWriter");
        out.close(); // 不要在finally語句中直接呼叫close()
    } else { 
        System.out.println("PrintWriter not open");
    } 
}
複製程式碼

try { return } finally{}?

我們知道了finally語句會執行，當我們在IDE上執行該程式的時候，會發現執行結果是2。那麼為什麼不是3呢？

我們來debug一下：

我們在下圖可以看到，try中x值是2，且執行了try語句塊中的return x語句。

try中變數值

之後執行了finally語句，x重新賦值為3。

finally中變數值

try中返回了x=2, finally語句又重新設定了x=3，為什麼返回給主程式的結果是2呢？

原來JVM規範裡面明確說明了這種情況：

If the try clause executes a return, the compiled code does the following:

1. Saves the return value (if any) in a local variable.
2. Executes a jsr to the code for the finally clause.
3. Upon return from the finally clause, returns the value saved in the local variable.
複製程式碼

大意就是如果在try中return的情況下，先把try中將要return的值先存到一個本地變數中，即本例中的x=2將會被儲存下來。接下來去執行finally語句，最後返回的是存在本地變數中的值，即返回x=2.

Notes:還有一點要注意的，如果你在finally裡也用了return語句，比如return ++x。那麼程式返回值會是3。因為規範規定了，當try和finally裡都有return時，會忽略try的return，而使用finally的return。

總結

今天主要介紹了當try語句中有return的時候，其與finally語句的執行情況。我們的得到的結論有：

  1. try中有return, 會先將值暫存，無論finally語句中對該值做什麼處理，最終返回的都是try語句中的暫存值。
  2. 當try與finally語句中均有return語句，會忽略try中return。

本文由部落格一文多發平臺 OpenWrite 釋出！

文章首發：zhuanlan.zhihu.com/lovebell

個人公眾號：技術Go

您的點贊與支援是作者持續更新的最大動力！

相關文章