JVM 字節碼指令集詳解

JVM 字節碼指令集詳解

理解 JVM 字節碼指令是深入掌握類加載、方法執行、並發控制等底層機制的基礎。指令由一字節操作碼與零至多字節操作數組成，採用基於棧的指令集架構。本文系統梳理指令特性、類型相關指令、核心指令分類與關鍵執行語義。

指令集特性

• 操作碼長度固定 1 字節（0~255），指令總數 ≤ 256。
• 無操作數長度對齊，超過 1 字節數據需運行時從字節流重建（如 (byte1 << 8) | byte2），犧牲少量解析性能換取代碼緊湊性。
• 大數據類型相關指令以特定字母前綴區分：i(int)、l(long)、f(float)、d(double)、a(reference) 等。
• 指令集非正交：並非每種操作都有對應所有類型的指令，需通過轉換指令彌補。

核心指令分類

1. 加載與存儲指令

局部變量表 ↔ 操作數棧傳輸：

• 加載：iload, iload_<n>, lload, fload, dload, aload 等
• 存儲：istore, istore_<n>, lstore, fstore, dstore, astore 等
• 常量入棧：bipush, sipush, ldc, ldc_w, ldc2_w, aconst_null, iconst_<i>, lconst_<l>, fconst_<f>, dconst_<d>
• 擴展索引：wide

2. 運算指令

對棧頂數值運算，結果壓回棧頂。分整型與浮點型：

• 加減乘除餘：iadd/ladd/fadd/dadd, isub/lsub/fsub/dsub, imul/lmul/fmul/dmul, idiv/ldiv/fdiv/ddiv, irem/lrem/frem/drem
• 自增：iinc
• 位運算：ishl/ishr/iushr, iand/ior/ixor 等
• 比較：lcmp, fcmpg/fcmpl, dcmpg/dcmpl

浮點運算遵循 IEEE 754：溢出返回無窮大，無定義結果返回 NaN，轉整數採向零截斷模式。

3. 類型轉換指令

• 擴寬轉換（無損，無顯式指令）：int→long→float→double 等
• 窄化轉換（顯式指令，可能損失精度/符號變化）：i2b, i2c, i2s, l2i, f2i, d2i, d2l, d2f
• 浮點→整數規則：NaN→0；非無窮大向零取整；超出範圍取目標類型極值。

4. 對象創建與訪問指令

• 創建：new(類實例)、newarray/anewarray/multianewarray(數組)
• 字段訪問：getfield/putfield(實例字段)、getstatic/putstatic(靜態字段)
• 數組操作：iaload/iastore 等按類型加載/存儲、arraylength
• 類型檢查：instanceof, checkcast

5. 操作數棧管理指令

• 出棧：pop, pop2
• 復制：dup, dup2, dup_x1, dup_x2, dup2_x2
• 交換：swap

6. 控制轉移指令

• 條件分支：ifeq, iflt, ifne, if_icmpeq, if_acmpne 等
• 多分支：tableswitch, lookupswitch
• 無條件跳轉：goto, goto_w, jsr, jsr_w, ret

7. 方法調用與返回指令

8. 異常處理指令

• athrow：顯式拋出異常（throw 語句）
• 隱式異常：如空指針、除零等由 JVM 自動拋出
• 異常捕獲由異常表實現，非字節碼指令

9. 同步指令

• monitorenter / monitorexit：對應 synchronized 同步塊
• 方法級同步隱含於方法調用/返回，無專用指令

工具推薦： 使用 javap -c ClassName 反編譯查看方法字節碼，配合 jclasslib 可視化分析。

1. 上一篇文章： Java String 類常用操作全攻略
2. 下一篇文章： 解決 Eclipse 中 com.sun.image.codec.jpeg 包訪問受限問題

Java 綜合教學

Java 線程池核心指南：從 Executors 到自定義配置的最佳實踐

為什麼需要線程池？ 頻繁創建/銷毀線程開銷巨大（每線程 ~1

JavaScript 獲取 DOM 元素位置與尺寸完整指南

JavaScript 獲取 DOM 元素位置與尺寸完整指南

LeetCode 經典題目：Substring with Concatenation of All Words 滑動窗口 O(N) 解法深度解析

問題描述 給定字串 s 與等長單字陣列 words，找出 s

Java 線程池全解析：四大類型、適用場景與代碼實戰

Java 線程池全解析：四大類型、適用場景與代碼實戰 線程池