varhandle 是 java 9 引入的标准化变量操作机制，替代 unsafe，具备类型安全、jit 深度优化、精准内存模型语义及更强兼容性与安全性。
Java 8 并没有引入 VarHandle —— 它是在 Java 9 中正式发布的。所以严格来说，VarHandle 不是 Java 8 的特性，而是 JDK 9 起替代 Unsafe 的标准化、安全、高性能变量操作机制。
类型安全与访问控制更严格
Unsafe 允许绕过所有 JVM 访问检查，比如通过字段偏移量直接读写 private 字段，极易因类结构变化（如字段重排序、内联优化）导致 offset 错误，运行时抛出 IllegalArgumentException 或产生静默数据错误。VarHandle 必须通过 MethodHandles.lookup() 构建，且在创建阶段就做权限校验：访问 private 字段需用 MethodHandles.privateLookupIn()；静态字段必须用 findStaticVarHandle()；字段类型必须与声明类型完全一致（int.class 对应 int 字段，不能传 Integer.class）。失败时明确抛出 IllegalAccessException 或 UnsupportedOperationException，便于定位和修复。
JIT 编译器深度优化支持
VarHandle 不是普通对象，而是 JVM 特殊识别的“句柄”。它的 compareAndSet、getAcquire、setRelease 等方法，在 JIT 编译时可被直接内联为最优 CPU 原子指令（如 x86 的 lock cmpxchg），无虚方法调用开销。而 Unsafe 方法虽底层高效，但因属于内部 API，JDK 9 后被模块系统限制，反射调用 getUnsafe() 可能成功，但后续 CAS 操作在 JDK 17+ 默认触发 InaccessibleObjectException；且 Unsafe 的内存语义（如 getXXXAcquire）缺乏统一抽象，容易误用。
内存模型语义更精准可控
VarHandle 提供细粒度内存序控制：getAcquire / setRelease 避免 full memory barrier，比 volatile 更轻量；compareAndSet 默认带 sequentially consistent 语义，也可配合 VarHandle.get/set 的 relaxed/acquire/release 版本构建高性能无锁算法。Unsafe 的 volatile 版本（如 putIntVolatile）虽保证可见性，但无法表达 acquire/release 这类弱序语义，也不支持对非 volatile 字段施加原子操作 —— 而 VarHandle 可为任意字段（包括 non-volatile、non-static 成员）生成合规的原子操作，且严格遵循 JMM 规范。
面向未来兼容性与安全性更强
Unsafe 已在 JDK 9 标记为 @Deprecated，JDK 17+ 默认禁用反射访问；其 API 无类型擦除保护、无模块封装、易被恶意代码滥用。VarHandle 是标准 public API，走模块导出机制，支持强封装、可审计、可沙箱化；同时为 Project Panama（Foreign Memory API）、MemorySegment（Java 16+）等新一代堆外内存操作提供统一抽象基础，新项目应优先使用 VarHandle + Segment 替代 Unsafe + address 操作。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
