Java 異常處理體系全景指南：從 Throwable 架構到最佳實踐與面試高頻點

Java 異常處理體系全景指南：從 Throwable 架構到最佳實踐與面試高頻點

異常是 Java 程序運行過程中發生的非預期事件，干擾正常指令流。本文系統梳理異常繼承體系、分類邊界、JVM 默認處理、捕獲與拋出機制、finally 語義、自定義異常、重寫規則、選型原則，並針對面試高頻題（final/finally/finalize、catch 中 return 執行順序）深度解析，構建完整異常處理知識網。

一、異常繼承體系圖譜

java.lang.Object
└── java.lang.Throwable (所有異常/錯誤的祖先)
    ├── java.lang.Error (嚴重錯誤，程序無法處理，JVM 層面)
    │   ├── OutOfMemoryError
    │   ├── StackOverflowError
    │   └── NoClassDefFoundError
    └── java.lang.Exception (程序可處理的異常)
        ├── java.lang.RuntimeException (運行時異常，不可查異常)
        │   ├── NullPointerException
        │   ├── IndexOutOfBoundsException
        │   ├── IllegalArgumentException
        │   └── ClassCastException
        └── 其他 Exception 子類 (受檢異常，可查異常)
            ├── IOException
            ├── SQLException
            ├── ClassNotFoundException
            └── 用戶自定義 Exception

核心分類邊界

二、JVM 默認異常處理機制

1. 方法拋出異常 → 創建異常對象（含類名、信息、棧跡）。
2. 當前方法無 catch → 異常向調用棧上層傳播。
3. 直到 main 方法仍無處理 → 交給 JVM 默認處理器。
4. JVM 打印：異常類名、異常信息、完整棧跡，終止程序運行。

三、異常處理兩大核心方式

1. try-catch-finally 捕獲處理

try {
    // 可能拋異常的代碼
    int a = 10 / 0;
} catch (ArithmeticException e) {
    // 捕獲具體異常類型
    System.out.println("除零錯誤：" + e.getMessage());
} catch (Exception e) {
    // 捕獲父類異常（放最後，否則吞噬子類）
    e.printStackTrace();
} finally {
    // 無論是否異常、是否 return，必執行（除 System.exit(0)）
    // 釋放資源：流關閉、鎖釋放、連接歸還
}

關鍵規則

• 多 catch 順序：子類在前，父類在後，否則父類吞噬子類（多態）。
• JDK 7+ 多異常合並：catch (IOException | SQLException e)，e 隱含 final，不可賦值。
• finally 必執行：即使 catch 中 return，finally 仍在返回前執行。
• try-catch-finally 組合：try-catch、try-finally、try-catch-finally 均合法。

2. throws 聲明拋出

public void readFile(String path) throws IOException {
    Files.readAllLines(Paths.get(path)); // 拋出受檢異常
}

throws 規則

1. 僅需聲明受檢異常（非 RuntimeException/Error），運行時異常可寫可不寫。
2. 調用者必須處理（try-catch）或繼續 throws，層層傳遞至頂層入口。
3. 無力處理時向上拋出，不要「吞掉」異常（catch { } 空體），否則丟失棧跡，排查極難。

四、throw vs throws 核心區別

五、Throwable 核心方法三劍客

String getMessage()        // 僅獲取異常信息（如 "/ by zero"）
String toString()          // 類名 + 信息（"java.lang.ArithmeticException: / by zero"）
void printStackTrace()     // 類名 + 信息 + 完整棧跡（行號、方法調用鏈），輸出到標準錯誤流
// 重定向輸出：e.printStackTrace(new PrintWriter(sw))

六、finally 進階語義與面試陷阱

1. 執行保證

• 正常流程、catch 執行、catch 中 return/throw、try 中 return/throw —— finally 均執行。
• 唯一不執行場景：System.exit(0)、JVM 崩潰、死循環、線程被 kill（Thread.stop() 已棄用）。

2. 經典面試題：catch 中 return，finally 執行順序？

public int test() {
    try {
        return 1;
    } catch (Exception e) {
        return 2;
    } finally {
        System.out.println("finally");
        return 3; // 覆蓋前面的返回值！
    }
}
// 輸出：finally
// 返回值：3

結論：finally 中的 return/throw 會覆蓋 try/catch 中的返回值/異常，導致異常丟失。生產代碼嚴禁在 finally 中使用 return/throw，僅做資源清理。

3. final / finally / finalize 三者區別

七、自定義異常設計規範

何時自定義？

• 業務邏輯特定錯誤（如 InsufficientBalanceException、UserNotFoundException）。
• 需要攜帶額外上下文信息（錯誤碼、請求 ID、失敗字段）。
• 區分異常處理策略（如可重試 vs 不可重試）。

兩種繼承選擇

// 1. 繼承 Exception → 受檢異常，調用者強制處理，適合業務預期錯誤
public class BusinessException extends Exception {
    private int errorCode;
    public BusinessException(String msg, int code) { super(msg); this.errorCode = code; }
}

// 2. 繼承 RuntimeException → 非受檢異常，調用者可選處理，適合系統/編程錯誤
public class SystemException extends RuntimeException {
    public SystemException(String msg, Throwable cause) { super(msg, cause); }
}

最佳實踐

1. 提供無參、帶消息、帶原因、帶錯誤碼多構造器。
2. 實現 Serializable（分布式傳輸需求）。
3. 異常類名以 Exception 結尾，語義清晰。
4. 定義錯誤碼枚舉，統一前後端錯誤映射。

發現異常
   │
   ├─ 能在當前方法有意義地處理？（記錄日誌、重試、降級、轉碼返回）
   │     ├─ 是 → try-catch 處理，後續代碼繼續執行
   │     └─ 否 → throws 向上拋出
   │
   ├─ 是否為受檢異常？
   │     ├─ 是 → 必須 try-catch 或 throws
   │     └─ 否 → 可選處理，建議關鍵邏輯防御性捕獲
   │
   ├─ 是否需要自定義異常？
   │     ├─ 業務語義獨特 → 繼承 Exception (受檢)
   │     └─ 系統/編程錯誤 → 繼承 RuntimeException
   │
   └─ 最終頂層入口（main/Controller/線程池）統一捕獲，記錄完整棧跡，返回友好錯誤碼