1. 程式人生 > >【搞定面試官】try中有return,finally還會執行嗎?

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

本篇文章我們主要探討 一下如果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語句。

之後執行了finally語句,x取值3,並且成功執行finally塊中return x

try中返回了x=2, finally語句中返回了x=3,而且finally語句更靠後被return,為什麼結果是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 釋出!

文章首發:https://zhuanlan.zhihu.com/lovebell

個人公眾號:技術Go

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