Java 異常處理特殊陷阱：finally 中 return 與 try-catch-return 執行順序

兩大核心規則

1. finally 塊中不得包含 return/continue/break/throw：會吞噬外層異常或返回值，導致行為極難排查
2. try/catch 中有 return 時，finally 在返回前必定執行：甚至覆蓋返回值

陷阱一：finally 吞噬異常

public static boolean test() {
    try {
        throw new Exception("Something error");
    } catch (Exception e) {
        System.out.println("Catch: " + e.getMessage());
        return false; // 準備返回 false
    } finally {
        return true; // 直接返回 true，異常被吞噬，catch 的 return 失效
    }
}
// 調用 test() 返回 true，控制台僅輸出 "Catch: Something error"

字節碼層面：finally 中的 return 會生成 jsr/ret 或內聯代碼，直接覆蓋操作數棧頂的返回值，導致異常對象未被傳播。

陷阱二：finally 修改返回值

public static int demo() {
    try {
        return 1;
    } finally {
        return 2; // 覆蓋為 2
    }
}
// 返回 2

public static int demo2() {
    int x = 1;
    try {
        return x;
    } finally {
        x = 2; // 修改局部變量，不影響已壓棧的返回值 1
    }
}
// 返回 1（基本類型/不可變對象引用值在 return 時刻已確定）

陷阱三：try-catch-finally 完整流程圖

try {
    // 1. 正常執行或拋出異常
} catch (Exception e) {
    // 2. 匹配則進入，可 return/throw
} finally {
    // 3. 無論上述如何（除 JVM 崩潰/System.exit），必執行
    // 若這裡 return/throw，將覆蓋 try/catch 的返回/異常
}
// 4. 繼續後續代碼

最佳實踐清單

• ✅ finally 僅用於資源清理：關閉流、釋放鎖、歸還連接池
• ✅ 使用 try-with-resources (Java 7+)：自動關閉 AutoCloseable，無需手寫 finally
• ❌ 嚴禁在 finally 中 return/throw/break/continue
• ❌ 嚴禁在 finally 中修改外層作用域的返回值變量（基本類型無效，可變對象內容修改生效但極易誤讀）
• 🔍 靜態分析工具：SpotBugs、SonarQube、Error Prone 可自動檢測此類模式

正確範例

public String readFirstLine(Path path) throws IOException {
    try (BufferedReader br = Files.newBufferedReader(path)) { // 自動關閉
        return br.readLine();
    } // 隱式 finally：br.close()，異常傳播不受影響
}