Java 動態編程第 1 部分：類文件格式與類載入機制深度解析

系列緒言：Java 平台的動態本質

Java 區別於 C/C++ 等靜態編譯語言的核心在於其「動態性」：類在運行時才被載入、鏈接、初始化，且可由多個類載入器隔離、動態替換。本系列將從二進制類格式、反射、字節碼操作、載入時織入等層層遞進，揭示 Java 動態編程的全貌。

二進制類文件結構

編譯器產出的 .class 文件遵循 JVM 規範，核心組成：

• Magic Number：0xCAFEBABE 識別類文件。
• 版本號：主/次版本，決定 JVM 兼容性。
• 常量池：存放類名、方法名、字符串常量、數值常量等，佔類文件體積半數以上。
• 類/接口/字段/方法表：引用常量池項，描述結構與屬性。
• 屬性表：Code 屬性含字節碼；其他含異常表、行號表、註解等。JVM 忽略未知屬性，為擴展留有餘地。

字節碼與 JVM 堆疊機器

字節碼是針對基於堆疊的虛擬機器指令集。早期 JVM 解釋執行，後引入 JIT 即時編譯為機器碼，現代 JVM 更採用自適應優化（熱點檢測、內聯、逃逸分析等）。

類載入過程與雙親委派模型

• 啟動類載入器：載入核心庫 (rt.jar)，無父載入器，跳過大部分驗證。
• 擴展類載入器：載入 jre/lib/ext 目錄。
• 系統/應用類載入器：載入 classpath 指定的類。
• 自訂類載入器：繼承 ClassLoader，可實現熱部署、模塊隔離（如 Tomcat、OSGi）。

委派規則：子載入器收到請求先委派給父載入器，父載入器找不到時子載入器才嘗試載入。確保核心類不被篡改，且同一類在層級中只被載入一次。

類載入器層級實例：Tomcat 架構

• Common：服務器與所有 Webapp 共享庫。
• Catalina：Tomcat 內部類。
• Shared：Webapp 間共享庫。
• Webapp ClassLoader：各應用私有類，相互隔離。

父載入器可見的類對子載入器可見，反之不可。解決衝突靠共享接口（如 javax.servlet.Servlet）。

類身份危機：同名不同載入器 ≠ 同一類型

兩個載入器各自載入接口 I 與實現 A，即使字節碼完全相同，A@Loader1 不是 I@Loader2 的實例。解決：將接口放入共同父載入器（如 System）。

啟動開銷與適用場景

即使最簡單的 HelloWorld，JVM 啟動也需載入數百核心類。此開銷使 Java 更適合長期運行的服務端應用，而非頻繁啟動的小工具。但服務端恰恰最受益於運行時組裝、熱替換等動態特性。

下一站：反射 API — 運行時訪問類元數據

理解類載入奠定了動態操作的基礎。第二部分將介紹反射，讓運行中的代碼能檢查、調用任意類結構。