Java Class 文件格式深度解析：Code 屬性與異常表、行號表、局部變量表詳解

Java Class 文件格式核心屬性：Code 屬性完整結構解析

在 JVM 類文件結構中，Code 屬性是非抽象方法最關鍵的屬性，它不僅存儲字節碼指令，還包含操作數棧、局部變量表、異常處理、行號對應等核心運行時信息。本文結合結構圖解與實際反編譯案例，深度剖析 Code 屬性及其子屬性結構。

Code 屬性整體結構

關鍵字段說明：

• attribute_name_index：指向常量池 CONSTANT_Utf8_info，值為 "Code"
• attribute_length：屬性長度（不含前 6 字節）
• max_stack：操作數棧最大深度（JVM 分配棧幀時依據）
• max_locals：局部變量表大小（以 Slot 為單位，含參數、this、局部變量、異常對象）
• code_length：字節碼長度（每條指令 1 字節）
• code：字節碼指令流
• exception_table：異常處理表（對應 try-catch-finally）
• attributes：子屬性集合（LineNumberTable、LocalVariableTable 等）

異常表詳細結構

每個 exception_info 包含四字段：

• start_pc：受保護代碼塊起始字節碼偏移量
• end_pc：受保護代碼塊結束偏移量
• handler_pc：異常處理器（catch 塊）首條指令偏移量
• catch_type：常量池索引，指向異常類型（Throwable 子類）；0 表示 finally 塊

語義：若字節碼偏移量在 [start_pc, end_pc) 範圍內拋出 catch_type 類型異常，跳轉至 handler_pc 執行。

LineNumberTable 屬性：字節碼與源碼行號映射

• 可選屬性，編譯器可選擇不生成（javac -g:none）
• 每個 line_number_info 對應一條字節碼指令的源碼行號
• 一行源碼可對應多條字節碼（共用相同 line_number）
• 除錯器、異常堆疊追蹤依賴此表顯示行號

LocalVariableTable 屬性：局部變量與源碼變量對應

• 可選屬性，支援除錯時變量名顯示
• 每個 local_variable_info 描述一個局部變量生命週期：

start_pc  - 作用域起始偏移量
length    - 作用域長度
name_index - 變量名（常量池索引）
descriptor_index - 描述符（常量池索引）
index     - 局部變量表 Slot 索引

Exceptions 屬性：方法拋出異常聲明

• 位於 method_info 屬性表中，與 Code 屬性平級
• 描述 throws 子句聲明的受檢異常
• exceptions_index_table 為常量池索引數組，指向異常類 CONSTANT_Class_info
• 區別：異常表處理運行時異常捕獲；Exceptions 屬性聲明編譯期拋出契約

實戰驗證：反編譯案例分析

public void test() throws Exception {
    int localVar = 0;
    try {
        Class.forName("com.bjpowernode.test.Person");
    } catch (ClassNotFoundException e) {
        throw e;
    } finally {
        System.out.println(localVar);
    }
}

反編譯結果關鍵點：

• max_stack=2, locals=4, args_size=1：棧深 2、4 個 Slot、1 個參數
• Exception table：兩條記錄分別對應 catch 與 finally
• LineNumberTable：精確映射源碼行號到字節碼偏移量
• LocalVariableTable：包含 this、localVar、e 三個變量