深入 KVM 常量池實現：從 class 文件結構到虛擬機載入機制

前言：為什麼關注常量池？

Java 是動態連結語言，class 文件中的常量池不僅存放字面量（int、String 等），還儲存符號引用：類/介面全限定名、欄位名與描述符、方法名與描述符。編譯期不解析具體記憶體地址，而是保留文本符號，由 JVM 載入階段動態解析——這是 Java 動態性的基石。

Class 文件常量池結構

11 種常量池項類型

每項包含項頭（1 字節標籤）與項體（變長資料）。

KVM 運行時常量池設計

核心資料結構

// 常量池項體聯合體（所有項體大小一致，便於陣列索引）
union constantPoolEntryStruct {
    struct { unsigned short classIndex; unsigned short nameTypeIndex; } method; // Fieldref/Methodref 共用
    CLASS clazz;                    // CONSTANT_Class
    INTERNED_STRING_INSTANCE String; // CONSTANT_String
    cell *cache;                    // 快取指標（clazz 或 String）
    cell integer;                   // Integer/Float
    long length;                    // Long/Double
    NameTypeKey nameTypeKey;        // NameAndType
    NameKey nameKey;
    UString ustring;                // Utf8
};

// 常量池結構
struct constantPoolStruct {
    union constantPoolEntryStruct entries[1]; // 柔性陣列，實際長度 = 項數 + 1
};

巧妙的長度存儲

• entries[0] 不存實際項體，而是存項數量（即 constant_pool_count - 1）
• 這與 class 文件格式一致：constant_pool_count 緊跟在計數值後，計數值本身算作第 0 項
• 雖顯得「混亂」，但完美映射文件格式，便於直接映射

項頭獨立存儲

entries 陣列後緊跟一個字節陣列，長度 = 實際項數（constant_pool_count - 1），每字節對應一項的標籤值。因 union 不攜帶類型資訊，需靠此陣列識別項類型。

載入流程：loadConstantPool()

位於 kvm/vmcommon/src/loader.c：

1. 讀取所有項至臨時陣列 RowPool（L649~L740）
2. 計算空間並分配（L742~L757）
   關鍵公式：tableSize = numberOfEntries + ((numberOfEntries + 3) >> 2)
   解讀：每 4 個項頭佔 1 個 constantPoolEntryStruct 大小（4 字節），向上取整實現 4 字節對齊
3. 從 RowPool 填充正式常量池