Java finally 塊與 return 執行順序深度解析：返回值何時確定？

核心現象

public int test() {
    int i = 0;
    try {
        i++;
        return i;   // 此處 i=1
    } finally {
        i--;        // i 變為 0
    }
}
// 輸出：1 而非 0

JVM 執行機制

1. 執行 i++ → i=1。
2. 執行 return i：先計算表達式值 (1)，存入操作數棧/局部變量表的返回值槽位，然後準備跳轉至 finally。
3. 執行 finally 塊：i-- → i=0（修改的是局部變量槽位，不影響已保存的返回值）。 4. finally 正常完成，方法返回之前保存的值 1。

關鍵規則

• 返回值在 return 語句執行時刻確定（計算表達式並保存），後續 finally 對變量的修改不影響返回值。
• finally 中若再次執行 return，會覆蓋之前的返回值。
• finally 中拋出異常會吞噬 try/catch 的返回值/異常，拋出新異常。

等價轉換視角

// 編譯器視角的偽代碼
int test() {
    int i = 0;
    int returnValue;          // 隱式返回值槽
    try {
        i++;
        returnValue = i;      // 保存返回值
        // 隱式 goto finally
    } finally {
        i--;
    }
    return returnValue;       // 真正返回
}

進階場景驗證

最佳實踐

• 不要在 finally 中修改用於返回的變量，語義混淆，維護困難。
• 不要在 finally 中使用 return/throw，會掩蓋主流程異常，違反最小驚訝原則。
• 資源釋放用 try-with-resources (Java 7+) 自動管理，無需手寫 finally。
• 若必須在 finally 修改狀態，使用單獨變量承載返回值：int result = i++; ... finally { i--; } return result;

理解返回值確定時刻，避免「以為 finally 能改返回值」的直覺陷阱，寫出可預測的健壯代碼。