MethodHandle和VarHandle替代反射的核心是将开销前置到初始化阶段，通过句柄复用、类型严格匹配（invokeExact/精确字段类型）、避免运行时校验，并利用JVM内联优化实现接近静态调用的性能。
Java中用 MethodHandles 和 VarHandle 替代反射，核心不是“换个API调用”，而是把开销从高频执行阶段移到初始化阶段，并利用JVM底层优化实现接近静态调用的性能。关键在于类型严格、句柄复用、避免运行时校验。
MethodHandle：方法调用提速的关键操作
MethodHandle 的快，建立在“创建慢、调用极快”的前提上。它把权限检查、签名匹配、类型适配等全部压到句柄构建时完成，后续 invokeExact() 就像跳转指令一样轻量。
- 必须缓存句柄，禁止热路径重复查找：每次调用 findVirtual() 或 findStatic() 都会触发符号解析和安全检查，开销远超反射。应声明为 static final 字段，或用 ConcurrentHashMap 按 Class + 方法名 + MethodType 组合作为 key 缓存。
- 只用 invokeExact()，禁用 invoke() 和 invokeWithArguments()：invokeExact 要求参数与返回值类型完全一致（如 int.class 不能传 Integer），不匹配直接抛 WrongMethodTypeException，但换来零装箱、零数组分配、JIT 可内联。
- 构造时指定精确类型，避开泛型与包装类陷阱：比如读取 int 字段，必须用 int.class 而非 Integer.class；调用 public String getName()，MethodType 必须写成 methodType(String.class)，不能用 Object.class。
- 私有成员访问需 privateLookupIn()：不能靠 setAccessible(true)，而要用 MethodHandles.privateLookupIn(Owner.class, lookup)，且目标类所在模块需 opens 包（JDK 9+ 模块环境）。
VarHandle：字段访问的更优解
如果只是读写字段（尤其是 public、static、final 或普通实例字段），VarHandle 比 MethodHandle 更轻——无对象分配、无异常路径、无 invoke 开销，实测快 10–20%，且支持原子语义。
- 创建一次，复用到底：同样建议用 static final 缓存，例如：private static final VarHandle ID_HANDLE = MethodHandles.lookup().findVarHandle(User.class, "id", int.class);
- 字段类型必须与声明类型严格一致：int 字段对应 int.class，boolean 字段对应 boolean.class，否则触发隐式转换，性能退化。
- 天然支持原子操作：compareAndSet、getAndAdd、weakCompareAndSet 等方法内置内存屏障，无需额外 synchronized 或 Lock，适合高并发计数、状态切换等场景。
- 数组与静态字段有专用支持：用 MethodHandles.arrayElementVarHandle(int[].class) 获取数组句柄；静态字段用 findStaticVarHandle()，无需传实例。
为什么比反射快？不只是“少一层封装”
传统反射每调用一次，都要走完整流程：字符串匹配方法名 → 解析字节码签名 → 权限检查 → 参数数组包装 → 类型转换 → 实际调用。而 MethodHandle 和 VarHandle 把前四步提前固化，运行时只剩内存地址跳转或字段偏移计算，JVM 可对其做深度内联与逃逸分析。
立即学习“Java免费学习笔记（深入）”；
- 直接字段访问耗时 ≈ 1 ns，VarHandle ≈ 1–5 ns，反射 Field.get() ≈ 100–1000 ns；
- MethodHandle.invokeExact() 在稳定调用链下，JIT 编译后几乎等价于 invokevirtual 指令；
- 两者均不依赖 sun.misc.Unsafe，类型安全由编译器和 JVM 共同保障，规避了反射绕过访问控制的安全风险。
迁移建议：从哪里开始换？
不必全量替换，优先改造高频、确定性高的场景：
- ORM 框架中的 getter/setter 调用（如 Hibernate 的 PropertyAccessors）；
- 序列化/反序列化库的字段读写（如 Jackson 的 BeanPropertyWriter）；
- 状态机、规则引擎中固定结构的对象方法调度；
- 计数器、开关标志等需原子更新的静态或实例字段。
