使用Java 22 ClassFile API遇VerifyError：int与integer类型问题咨询

问题核心 #

你遇到的VerifyError是因为JVM字节码验证器检测到类型不匹配：当前局部变量表索引2的类型是基本类型int，但栈帧上下文预期的是**integer类型**——这里的integer不是Java语法中的Integer包装类的字面写法，而是JVM验证器对java.lang.Integer引用类型的内部标识。

解决方法 #

1. 确认目标方法的描述符正确 #

如果你要调用的目标方法确实接收int类型参数，必须确保在ClassFile API中指定的方法描述符使用I（JVM对基本类型int的标识），而非Ljava/lang/Integer;（对Integer引用类型的标识）。

2. 调整指令调用逻辑 #

如果你的目标是传递int基本类型参数：

• 保留codeBuilder.iload(2);加载局部变量的int值，但要检查之前的栈操作是否错误引入了Integer引用，导致参数顺序或类型冲突。
• 确保调用目标方法的invoke指令（如invokestatic/invokevirtual）使用的方法描述符与目标方法签名完全匹配。

如果目标方法实际需要Integer引用类型：

• 在iload(2);之后添加装箱指令：

  codeBuilder.invokestatic(ClassDesc.of("java.lang.Integer"), "valueOf", MethodDesc.of(ClassDesc.of("java.lang.Integer"), ClassDesc.ofPrimitive("int")));
  

  把基本类型int转为Integer引用后再传递。

关于int与错误中integer的区别 #

• Java中的int是基本数据类型，直接存储数值，JVM局部变量表中用I标识。
• 错误信息中的integer是JVM验证器对**java.lang.Integer包装类引用类型**的内部称呼，对应JVM类型描述符Ljava/lang/Integer;，存储的是对象内存地址，属于引用类型。

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