Java 異常處理核心原理與最佳實踐：從 JVM 棧幀到業務異常設計、異常鏈與恢復策略

前言

異常處理是 Java 健壯性的基石。本文從JVM 方法調用棧機制出發，系統講解異常傳播尋找 catch 塊、業務異常分層設計、異常轉譯與異常鏈、避免異常、異常恢復、catch 塊處理決策六大核心主題，構建完整異常處理知識體系。

一、 異常實現原理：JVM 方法調用棧與異常傳播

1. 方法調用棧

• 每個線程擁有獨立方法調用棧，棧幀存儲：局部變量表、操作數棧、動態鏈接、方法返回地址；
• 主線程棧底為 main()，新線程棧底為 run()；
• 方法調用 → 壓棧；方法正常返回 → 彈棧。

2. 異常拋出時的 JVM 行為

1. 在當前方法棧幀中查找異常表，匹配 catch 塊 (按字節碼偏移量範圍、異常類型繼承關係)；
2. 匹配成功 → 跳轉至 catch 塊執行；
3. 匹配失敗 → 彈出當前棧幀，回溯至調用者方法，重複步驟 1；
4. 回溯至棧底仍無匹配：
   ① 調用 Throwable.printStackTrace() 輸出棧跡信息；
   ② 若為非主線程 → 線程終止，其他線程繼續；
   ③ 若為主線程 → 整個 JVM 進程退出。

二、 業務異常設計：分層與語義

異常分類體系

Exception (受檢異常)
├── BusinessException (業務異常基類)
│   ├── UserNotFoundException
│   ├── InsufficientBalanceException
│   └── DuplicateResourceException
├── ValidationException (參數校驗異常)
└── ExternalServiceException (外部依賴異常)

RuntimeException (非受檢異常)
├── SystemException (系統級錯誤：DB掛了、OOM、網絡不可達)
└── IllegalStateException / IllegalArgumentException (編程錯誤)

分層異常映射表

三、 異常轉譯與異常鏈：保持抽象層一致性

核心原則

異常類型應與拋出它的組件處於同一抽象層。

反例：DAO 拋 SQLException 直接透傳到 Controller → Controller 依賴數據庫細節。
正例：DAO 捕獲 SQLException → 包裝為 DataAccessException (或自定義 RepositoryException) → 拋給 Service。

異常鏈保留原始堆棧

try {
    // 數據庫操作
} catch (SQLException e) {
    // 關鍵：將原始異常作為 cause 傳入構造器
    throw new RepositoryException("用戶查詢失敗", e);
}

日志輸出將同時包含 RepositoryException 與根因 SQLException，便於排查。

生活化類比

汽車拋錨 (車輛故障異常) → 員工遲到 (業務異常)。
員工不應拋「汽車故障」異常 (那不是發生在員工身上的事)，
而應轉譯為「遲到」異常，並附帶原因「汽車故障」。

四、 避免異常：預防優於治療

五、 異常恢復：保證原子性與數據一致性

1. 參數先檢查，後修改狀態：
   在修改對象字段前，完成所有前置條件校驗。異常拋出時，對象狀態未變。
2. 補償/回滾代碼：
   捕獲異常後，執行逆向操作恢復初始狀態。
   典型場景：數據庫事務 @Transactional 自動回滾；分布式事務 TCC/Saga 模式編寫補償邏輯。
3. 臨時拷貝模式：
   在副本上操作，成功後再替換原對象 (如 Collections.unmodifiableList、CopyOnWriteArrayList 思想)。

六、 catch 塊決策指南：捕獲後必須有動作

try {
    riskyOperation();
} catch (SpecificException e) {
    // 必須採取以下一種行動：
    // 1. 處理並恢復：log.warn + 重試/降級/默認值
    // 2. 重新拋出：throw e; (保留堆棧)
    // 3. 異常轉譯：throw new BusinessException("業務含義", e);
    // 4. 不捕獲：在方法簽名 throws，由上層決策
} 
// 禁忌：catch 後只打印堆棧、吞掉異常、打印後繼續執行 (狀態不可知)

七、 總結：異常處理鐵律

1. 受檢異常用於可預期、可恢復的業務場景 (強制調用者處理)；
2. 運行時異常用於編程錯誤、系統級不可恢復錯誤 (快速失敗)；
3. 異常轉譯維護分層抽象，**異常鏈**保留根因堆棧；
4. 預防優於捕獲：狀態檢查、Optional、參數校驗前置；
5. 恢復策略：參數先驗證、補償邏輯、臨時拷貝；
6. catch 非終點：必須處理、轉譯、重拋或聲明拋出，**嚴禁吞掉**；
7. 日誌記錄：log.error("業務描述", e) 保留完整堆棧，避免 e.getMessage() 丟失上下文。

異常處理不是「寫 try-catch」，而是系統穩定性、可維護性、可診斷性的架構級設計。