Java 「一次編寫，到處運行」的基石，在於編譯器輸出**字節碼**而非機器碼，保留**符號引用**而非硬編碼內存地址。本文對比兩大編譯模型，揭示 JVM 運行時解析、鏈接、類加載如何實現跨平台、動態擴展與安全隔離。
| 維度 | C/C++ 編譯模型 | Java 編譯模型 |
|---|---|---|
| 輸出產物 | 機器碼 (`.o`/`.obj` → 可執行文件/動態庫) | 字節碼 (`.class`)，JVM 指令集 |
| 目標平台 | 特定 CPU 架構 + OS (x86-64 Linux, ARM64 macOS...) | 抽象 JVM (JVMS 規範)，屏蔽底層差異 |
| 符號引用處理 | **編譯期/鏈接期** 解析為**直接引用** (內存偏移量/絕對地址) | **保留符號引用** 至字節碼，**運行期** 由類加載器解析為直接引用 |
| 內存佈局確定 | 編譯期確定 (結構體大小、字段偏移、虛表指針) | 運行期類加載階段確定 (對象頭、字段排序、方法表) |
| 動態性 | 極弱 (dlopen/dlsym 有限動態加載) | 極強 (類加載器隔離、熱部署、AOP、反射、動態代理、JIT 重優化) |
| 安全性 | 依賴 OS 進程隔離、編譯器檢查 | 字節碼驗證器 + 類加載器命名空間隔離 + 安全管理器 + 模塊系統 |
// 源碼
struct Point { int x, y; };
void move(Point* p, int dx) { p->x += dx; }
// 編譯器處理
// 1. 詞法/語法分析 → AST
// 2. 語義分析：符號表記錄 Point 大小=8, x偏移=0, y偏移=4
// 3. 代碼生成：mov eax, [rdi+0] ; add eax, esi ; mov [rdi+0], eax
// 4. 目標文件：符號 move 未解析，標記需鏈接
// 5. 靜態鏈接/動態鏈接：符號地址確定，重定位表填充絕對/相對地址
// 6. 可執行文件：指令中已無符號，全為直接內存訪問
**後果**：超類字段增減 → 子類對象佈局偏移改變 → **必須重新編譯子類**，否則訪問錯誤字段 (脆弱基類問題)。跨平台需維護多套編譯工具鏈、條件編譯宏。
堆: 對象實例 ├─ 對象頭: Mark Word + Klass Pointer (指向方法區類元數據) ├─ 實例字段: 按策略排序 (長類型優先、父類字段優先、寬度對齊) └─ 數組長度 + 元素 方法區 (Metaspace): 類元數據 ├─ 運行時常量池: 直接引用緩存 (解析後替換符號引用索引) ├─ 字段表: 名稱、描述符、修飾符、偏移量 ├─ 方法表: │ ├─ 入口地址 (解釋器入口 / JIT 編譯代碼地址 / 內聯緩存) │ ├─ 參數槽數、返回類型、異常表、行號表 │ └─ 虛方法表 索引 → 實現多態動態分派 └─ 介面方法表: itable 映射介面方法 → 實現類方法表索引
父類添加字段 → 子類無需重編譯。運行期重新解析字段偏移，JVM 根據當前類元數據計算新偏移。舊字節碼 `getfield #offset` 符號引用不變，解析結果自動適配新佈局。
字節碼無 CPU 指令、無內存地址、無調用約定。同一 `.class` 在 x86 JVM、ARM JVM、RISC-V JVM、GraalVM Native Image (AOT) 上語義一致。JVM 負責將抽象操作映射為具體平台機器碼。
類加載前必經四道關卡：
拒絕偽造字節碼繞過訪問控制、破壞類型系統、損壞 JVM 內存結構。
GraalVM 將 Java 應用提前編譯為原生可執行文件：
JDK 9+ `jaotc`、JDK 22+ `Class-File API`、Project Leyden 繼續探索 AOT/JIT 混合編譯新平衡點。
Java 編譯器**不生成機器碼、不確定內存佈局、不解析符號引用**，而是生成**中立、可驗證、自描述的字節碼**。JVM 類加載器在**運行期**完成解析、佈局、驗證、初始化。這一「晚綁定」設計，以微小的啟動/解析開銷為代價，換取了**跨平台無關性、動態擴展性、運行時安全性、脆弱基類免疫、豐富動態生態**—— 這正是 Java 稱霸企業級開發 25 年的架構基因。
