Java隐藏类加载遇VerifyError：含VarHandle的类如何正确定义？

问题根源 #

你遇到的VerifyError核心原因是：预先编译的IntThing类中，静态初始化块创建的VarHandle绑定的是原始foo.HiddenClassTest$IntThing类，但将其加载为隐藏类时，JVM会生成一个全新的类（名称带后缀如+0x0000000800d38c00），这个隐藏类和原始类是完全独立的类型。VarHandle的多态签名检查会发现传入的隐藏类实例无法赋值给原始类类型，从而触发验证错误。

解决方案 #

方案1：修正VarHandle的绑定目标（适配预编译类） #

修改预编译类的结构，将VarHandle的初始化逻辑移到隐藏类加载之后，通过Lookup对象为隐藏类创建绑定自身的VarHandle，并替换静态字段：

package foo;

import java.lang.invoke.MethodHandles;
import java.lang.invoke.VarHandle;
import java.util.function.IntUnaryOperator;
import org.junit.jupiter.api.Test;
import java.lang.reflect.Field;

public class HiddenClassTest {

  @Test
  public void loadHidden() throws Exception {
    MethodHandles.Lookup lookup;
    try (var is = IntThing.class.getResourceAsStream("HiddenClassTest$IntThing.class")) {
      lookup = MethodHandles.lookup().defineHiddenClass(is.readAllBytes(), true);
    }
    Class<?> hiddenClass = lookup.lookupClass();
    
    // 替换隐藏类的静态VarHandle字段，绑定到自身类型
    Field idxField = hiddenClass.getDeclaredField("IDX");
    idxField.setAccessible(true);
    VarHandle correctVarHandle = lookup.findVarHandle(hiddenClass, "idx", int.class);
    idxField.set(null, correctVarHandle);
    
    var instance = hiddenClass.asSubclass(IntUnaryOperator.class)
        .getConstructor()
        .newInstance();
    System.out.println(instance.applyAsInt(12));
    System.out.println(instance.applyAsInt(24));
  }

  static final class IntThing implements IntUnaryOperator {
    static VarHandle IDX; // 移除静态初始化逻辑，留空由外部设置

    private int idx;

    @Override
    public int applyAsInt(int newIdx) {
      int oldIdx = (int) IDX.getOpaque(this);
      IDX.setOpaque(this, newIdx);
      return oldIdx;
    }
  }
}

方案2：动态生成隐藏类（推荐） #

如果不依赖预编译类，直接用ASM或MethodHandles动态生成隐藏类字节码，确保静态初始化块中使用当前类的Lookup创建VarHandle，完全避免类型不匹配问题：

核心逻辑：

• 动态生成类时，在静态代码块中调用MethodHandles.lookup().findVarHandle(当前类, "idx", int.class)
• 生成的VarHandle直接绑定隐藏类自身，调用时不会触发类型验证错误

关键原理总结 #

• 隐藏类是JVM创建的独立类，即使字节码与预编译类完全相同，二者也是不同的类对象
• 带有PolymorphicSignature的方法（如VarHandle.getOpaque/setOpaque）会在字节码验证阶段严格检查参数类型，必须与VarHandle创建时绑定的类型完全匹配
• 隐藏类中的VarHandle/MethodHandle必须基于隐藏类自身的类型创建，不能复用预编译类的相关实例

内容的提问来源于stack exchange，提问作者Carl Mastrangelo