VariableHandle是Java 9起官方推荐替代Unsafe的核心机制，提供类型安全、JVM深度支持的原子操作；它通过MethodHandles.lookup严格按字段权限构造，支持volatile读写、CAS及多级内存语义，且必须缓存复用以保障性能。
VariableHandle 是 Java 9 正式引入的、用于安全替代 sun.misc.Unsafe 的核心机制，不是语法糖，也不是 AtomicXXX 类的简化版，而是 JVM 层面深度支持的类型化变量访问抽象。它能完成 volatile 读写、原子更新（CAS）、有序写（putOrdered）以及 acquire/release 语义等底层操作，同时规避了 Unsafe 的崩溃风险、跨平台偏移错位、反射绕过安全隐患等问题。
为什么必须换掉 Unsafe
从 JDK 9 开始，Unsafe 的字段级原子方法（如 compareAndSwapInt）已被标记为 @Deprecated；JDK 17 起默认禁用反射访问 Unsafe 实例——调用 Unsafe.getUnsafe() 可能成功，但后续执行 compareAndSetObject 等操作会直接抛 InaccessibleObjectException。这是因为模块系统在启动时就拦截了对非导出内部 API 的反射调用。而 VariableHandle 完全走标准 API 流程，权限校验明确、失败可捕获、不破坏 JVM 稳定性。
怎么正确创建 VarHandle 实例
创建方式取决于字段访问级别，不能一概而论：
- 访问 public 或 protected 字段：用
MethodHandles.lookup().in(Owner.class).findVarHandle(Owner.class, "fieldName", type) - 访问 private 字段：必须用
MethodHandles.privateLookupIn(Owner.class, MethodHandles.lookup())获取专用 lookup，再调用findVarHandle - 访问 静态字段：用
lookup.findStaticVarHandle(Owner.class, "fieldName", type) - 访问 数组元素：直接用
MethodHandles.arrayElementVarHandle(int[].class)，无需反射
字段类型必须与声明类型严格一致（int.class 对应 int 字段，不能是 Integer）；final 字段仅支持 get，不可用于 compareAndSet 或 set。
立即学习“Java免费学习笔记（深入）”；
常用操作与内存语义选择
VarHandle 提供多档内存语义，按需选用：
-
getVolatile(obj)/setVolatile(obj, value)：等价于 volatile 字段读写，强可见性 + 禁止重排序 -
getAcquire(obj)/setRelease(obj, value)：适用于锁获取/释放场景，保证后续/前序操作不被重排 -
getOpaque(obj)：仅保证当前线程看到最新值，无重排约束，开销最低 -
compareAndSet(obj, expected, desired)：强顺序 CAS，适合状态机跃迁等关键逻辑 -
weakCompareAndSet(obj, expected, desired)：可能假失败，适合自旋重试循环，x86 下通常映射为单条 cmpxchg 指令
性能与使用规范
VarHandle 实例构造成本高，必须缓存复用：
- 禁止在每次操作中重复调用
findVarHandle，实测比缓存慢 20–50 倍（JDK 21+） - 推荐声明为
private static final VarHandle，在static块中初始化 - 实例字段句柄调用时传对象实例，静态字段句柄第一个参数传
null，数组句柄第二个参数是索引而非偏移量
它已全面支撑 JDK 内部实现，例如 AtomicIntegerArray 在 JDK 9+ 中就完全基于 VarHandle 重构，不再依赖 Unsafe。
