Java 設計初衷屏蔽內存管理細節，但理解對象在堆中的佈局對於性能調優、序列化框架、堆外內存操作至關重要。本文演示如何繞過安全管理器，利用 sun.misc.Unsafe 獲取對象字段的內存偏移量，並解讀其意義與局限。
sun.misc 包，**非標準 API**，屬於 JVM 實現細節| 方法 | 功能 |
|---|---|
objectFieldOffset(Field f) | 獲取實例字段在對象中的偏移量（相對對象頭） |
staticFieldOffset(Field f) | 獲取靜態字段在類對象中的偏移量 |
getInt(Object o, long offset) | 直接讀取指定偏移處的 int 值 |
putInt(Object o, long offset, int x) | 直接寫入指定偏移處的 int 值 |
compareAndSwapInt(Object o, long offset, int expect, int update) | CAS 原子操作 |
park/unpark | 線程掛起/恢復（LockSupport 底層依賴） |
import sun.misc.Unsafe;
import java.lang.reflect.Field;
public class ObjectLocation {
private static int apple = 10; // 靜態字段
private int orange = 10; // 實例字段
public static void main(String[] args) throws Exception {
Unsafe unsafe = getUnsafeInstance();
// 靜態字段偏移（相對類對象 Class<?>）
Field appleField = ObjectLocation.class.getDeclaredField("apple");
System.out.println("Location of Apple (static): " + unsafe.staticFieldOffset(appleField));
// 實例字段偏移（相對對象實例頭部）
Field orangeField = ObjectLocation.class.getDeclaredField("orange");
System.out.println("Location of Orange (instance): " + unsafe.objectFieldOffset(orangeField));
}
// 反射破解單例獲取 Unsafe 實例
private static Unsafe getUnsafeInstance() throws Exception {
Field theUnsafe = Unsafe.class.getDeclaredField("theUnsafe");
theUnsafe.setAccessible(true);
return (Unsafe) theUnsafe.get(null);
}
}
Location of Apple (static): 12
Location of Orange (instance): 16
| 組件 | 大小 | 說明 |
|---|---|---|
| Mark Word | 8 字節 | 鎖狀態、GC 年齡、HashCode、偏向鎖標記 |
| Klass Pointer | 4 字節 | 指向類元數據的壓縮指針 |
| 實例字段 | 按類型對齊 | int 4 字節，long/double 8 字節，引用 4 字節 |
實例字段起始偏移通常為 12 或 16**（取決於對齊策略），上例 orange 偏移 16 符合預期。
staticFieldOffset 返回相對類對象的偏移關鍵區別：Unsafe 返回的是邏輯偏移量，而非物理內存地址。JVM 可隨時移動對象（GC 壓縮），偏移量不變，但絕對地址改變。因此：
GetPrimitiveArrayCritical 等）直接讀寫字段偏移，避免反射開銷，實現零拷貝序列化。
AtomicInteger 內部使用 Unsafe.compareAndSwapInt 實現 CASLongAdder、ConcurrentHashMap 計數器同理Unsafe.allocateMemory/freeMemory 實現 DirectByteBuffer、Netty ByteBuf、RocketMQ 消息存儲。
JOL (Java Object Layout)：ClassLayout.parseClass(Foo.class).toPrintable()| 版本 | 變化 | 建議 |
|---|---|---|
| JDK 8 | Unsafe 可通過反射獲取 | 內部使用，外部慎用 |
| JDK 9 | 模組化封裝，需 --add-exports jdk.unsupported/sun.misc=ALL-UNNAMED | 遷移至 VarHandle |
| JDK 12+ | 增強封裝，默認拒絕訪問 | 必須遷移 |
| JDK 16+ | 默認強封裝，反射獲取拋出 InaccessibleObjectException | 完全禁止 |
import java.lang.invoke.*;
public class VarHandleDemo {
private int value;
private static final VarHandle VALUE_HANDLE;
static {
try {
VALUE_HANDLE = MethodHandles.lookup().in(VarHandleDemo.class).findVarHandle(VarHandleDemo.class, "value", int.class);
} catch (Exception e) { throw new ExceptionInInitializerError(e); }
}
public void casSet(int expect, int update) {
VALUE_HANDLE.compareAndSet(this, expect, update); // 標準 CAS
}
}
優勢：標準 API、受模組系統保護、JIT 優化友好、無安全風險。
通過 Unsafe.objectFieldOffset 窺探對象內存佈局，揭示了 Java 對象頭、字段對齊、靜態/實例字段存儲差異等核心機制。但必須認清：偏移量 ≠ 物理地址，Unsafe 非標準 API，生產環境應擁抱 VarHandle 等標準化替代方案。理解底層原理，是為了寫出更高效、更穩健的上層代碼，而非直接操作「危險地帶」。
