Java 7 異常處理增強：Multi-catch 與 Final Rethrow 實戰指南

背景：Java 異常處理痛點

• 多 catch 區塊程式碼重複
• 捕獲通用父類會誤捕不需處理的異常
• 重新拋出需在方法簽名宣告，擴散檢查型異常

增強一：Multi-catch（多重捕獲）

語法

try {
    // 高風險操作
} catch (IOException | SQLException | TimeoutException ex) {
    // 統一處理邏輯
    logger.error("操作失敗", ex);
    throw ex; // 重新拋出
}

編譯器約束

• ex 型別為聯集型別，僅能存取共同父類方法
• 捕獲的異常類型不能有繼承關係（如 Exception | IOException 編譯錯誤）
• 隱含 final，ex 不可重新賦值

位元組碼優化

編譯器生成單一 catch 區塊，而非多個重複區塊，減少類檔案體積。

增強二：Final Rethrow（精確重新拋出）

痛點場景

// JDK 6 必須宣告拋出 Exception，過於寬泛
public void process() throws Exception {
    try {
        riskyOperation();
    } catch (Exception ex) {
        logAndCleanup();
        throw ex; // 方法簽名必須 throws Exception
    }
}

JDK 7 解決方案

public void process() throws IOException, SQLException { // 精確宣告
    try {
        riskyOperation();
    } catch (final Exception ex) { // final 關鍵！
        logAndCleanup();
        throw ex; // 編譯器推導實際動態型別
    }
}

核心機制

• final 保證 ex 引用不變
• 編譯器進行精確重新拋出分析：分析 try 區塊可能拋出的檢查型異常，並驗證 catch 區塊未捕獲處理
• 方法簽名只需宣告真正可能拋出的異常

進階範例

public void complex() throws IOException, SQLException {
    try {
        step1(); // throws IOException
        step2(); // throws SQLException
    } catch (final Exception ex) {
        if (ex instanceof IOException) {
            handleIO((IOException) ex);
        } else if (ex instanceof SQLException) {
            handleSQL((SQLException) ex);
        }
        throw ex; // 精確重新拋出 IOException 或 SQLException
    }
}

實際應用場景對比

最佳實踐建議

1. 優先使用 multi-catch合併邏輯相同的 catch 區塊
2. 最終重新拋出時加 final，獲得精確異常型別推導
3. 避免捕獲 Exception 或 Throwable，除非頂層攔截器
4. 區分業務異常 vs 系統異常：業務異常用檢查型，系統異常用非檢查型
5. 保持異常鏈：throw new BizException("msg", cause) 而非丟失 cause

現代演進：JDK 14+ 模式匹配與 JDK 21+ 未命名類

// JDK 14+ instanceof 模式匹配
catch (final Exception ex) {
    if (ex instanceof IOException io) handleIO(io);
    else if (ex instanceof SQLException sql) handleSQL(sql);
    throw ex;
}

// JDK 21+ 未命名變數 (JEP 443)
try { risky(); } 
catch (IOException | SQLException _) { // 不關心異常物件
    logError();
    throw _; // 隱含 final 重新拋出
}

總結

Java 7 的 Multi-catch 解決「多 catch 重複代碼」，Final Rethrow 解決「精確異常透傳」。兩者結合，使異常處理更簡潔、型別安全、對呼叫端友善。雖 Final Rethrow 使用頻率較低，但在框架開發、中介軟體、異常轉換層極具價值。