深度解析 Java 異常體系根類 Throwable：源碼架構與異常鏈機制

Error 與 Exception 的共同祖先

在 Java 語言中，java.lang.Error 為錯誤類基類，java.lang.Exception 為異常類基類，兩者皆繼承自 java.lang.Throwable。因此 Throwable 及其子類實例均可作為 throw 操作對象。

核心差異：檢查型與非檢查型

• Error 及其子類：屬非檢查型（Unchecked），無需 try-catch 或 throws 聲明，可隨時拋出
• Exception 及其子類：屬檢查型（Checked），必須在方法簽名以 throws 聲明或以 try-catch 捕獲處理

// Error 子類 - 無需聲明
public String myMethod() { throw new MyError(); }

// Exception 子類 - 必須聲明
public String myMethod() throws MyException { throw new MyException(); }

JVM 異常處理與呼叫堆疊機制

JVM 使用方法呼叫堆疊追蹤每個執行緒的方法調用鏈。新方法被調用時，其堆疊幀壓入堆疊頂端；正常返回則彈出。當方法拋出異常，JVM 從當前方法向上搜尋匹配的 catch 區塊；若一路追溯至 main() 仍無處理器，執行緒異常終止，主執行緒則導致應用程式退出，JVM 將原始異常資訊輸出至用戶終端。

Throwable 源碼核心結構解析

四種建構子與初始化邏輯

public Throwable() { fillInStackTrace(); }
public Throwable(String message) { fillInStackTrace(); detailMessage = message; }
public Throwable(String message, Throwable cause) { fillInStackTrace(); detailMessage = message; this.cause = cause; }
public Throwable(Throwable cause) { fillInStackTrace(); detailMessage = (cause==null ? null : cause.toString()); this.cause = cause; }

關鍵點：

• fillInStackTrace() 為 native 方法，捕獲當前執行緒堆疊軌跡
• cause 欄位預設指向 this，表示未初始化；透過 initCause() 可單次設定
• detailMessage 保存異常描述訊息

核心欄位定義

private transient Object backtrace;           // 原生堆疊軌跡指標
private String detailMessage;                 // 異常詳細訊息
private Throwable cause = this;               // 因果鏈參考
private StackTraceElement[] stackTrace;       // 解析後的堆疊元素陣列

因果鏈管理 initCause() 與 getCause()

public synchronized Throwable initCause(Throwable cause) {
  if (this.cause != this) throw new IllegalStateException("Can't overwrite cause");
  if (cause == this) throw new IllegalArgumentException("Self-causation not permitted");
  this.cause = cause;
  return this;
}
public Throwable getCause() { return (cause==this ? null : cause); }

設計保證：因果關係只能初始化一次，且不可自我循環引用。

堆疊軌跡輸出與遞迴列印機制

printStackTrace() 多載實作

支援 PrintStream、PrintWriter 輸出，同步鎖定輸出流確保線程安全。核心流程：

1. 列印當前異常 toString() 表示
2. 遍歷 getOurStackTrace() 返回的堆疊元素陣列
3. 遞迴列印因果鏈 printStackTraceAsCause()

共用幀過濾優化

// 從堆疊尾部向前比較，找出與造成者共用的幀數量
while (m >= 0 && n >= 0 && trace[m].equals(causedTrace[n])) { m--; n--; }
int framesInCommon = trace.length - 1 - m;
// 輸出差異幀，共用部分以 "... N more" 簡略表示

此機制避免重複輸出共同呼叫鏈，提升可讀性。

堆疊軌跡快取與延遲初始化

private synchronized StackTraceElement[] getOurStackTrace() {
  if (stackTrace == null) {
    int depth = getStackTraceDepth();
    stackTrace = new StackTraceElement[depth];
    for (int i = 0; i < depth; i++) stackTrace[i] = getStackTraceElement(i);
  }
  return stackTrace;
}

• getStackTraceDepth()、getStackTraceElement(int) 為 native 方法
• 首次存取時才解析原生堆疊，效能最佳化
• setStackTrace() 允許自訂堆疊軌跡（如遠程異常重組）

序列化支援

private synchronized void writeObject(ObjectOutputStream s) throws IOException {
  getOurStackTrace();  // 確保堆疊軌跡已初始化
  s.defaultWriteObject();
}

實作 Serializable 介面，序列化前強制初始化堆疊軌跡，保證異常物件可跨 JVM 傳遞並保留完整上下文。

總結

Throwable 作為 Java 異常體系根基，封裝了訊息、因果鏈、堆疊軌跡三大核心資訊。其設計精妙在於：

• Native 層捕獲原始堆疊，Java 層延遲解析與快取
• 因果鏈單向不可變，支援豐富的異常包裝模式
• 堆疊輸出智慧過濾共用幀，平衡完整性與可讀性
• 序列化機制確保分散式環境下異常資訊不失真

深入理解 Throwable 機制，有助於設計更健壯的異常處理策略、實作自訂異常體系、以及進行分散式追蹤與診斷。