jvm字节码中的栈映射表是什么？

我正在学习用于生成字节码的 ASM 库。在某些时候，我犯了一些错误的局部变量类型并收到错误：

Exception in thread "main" java.lang.VerifyError: Bad local variable type
Exception Details:
  Location:
    Loops.start()V @56: aload_1
  Reason:
    Type top (current frame, locals[1]) is not assignable to reference type


  Stackmap Table:
    full_frame(@24,{Object[#2],Object[#9]},{Integer})
    full_frame(@25,{Object[#2],Object[#9]},{Integer,Integer})
    same_locals_1_stack_item_frame(@44,Integer)
    full_frame(@45,{Object[#2],Object[#9]},{Integer,Integer})
    full_frame(@48,{Object[#2]},{Integer})
    full_frame(@80,{Object[#2],Integer},{Integer})
    full_frame(@81,{Object[#2],Integer},{Integer,Integer})
    full_frame(@87,{Object[#2]},{Integer})
    full_frame(@119,{Object[#2],Integer},{Integer})
    full_frame(@120,{Object[#2],Integer},{Integer,Integer})
    same_locals_1_stack_item_frame(@123,Integer)

问题并不难找到和解决，但我很好奇这个堆栈映射表是什么？

StackMapTable是用 Java 6 或更高版本编译的类中的属性。 JVM 在执行过程中使用它通过类型检查进行验证.

基本上，堆栈映射框架定义了方法在执行期间的局部变量的预期类型和操作数堆栈（即框架的状态）。在运行时，JVM 会抛出VerifyError如果预期类型和实际类型不兼容。

为了节省空间，并不是每条指令都有对应的帧。该表仅定义潜在跳转目标或异常处理程序的框架。从这些框架可以很容易地推断出其他框架。您可以在上表中看到，仅为某些字节码偏移量定义了帧。