我修改了下面字節碼的第 15 行，并將其從 invokevirtual 更改為 invokespecial (JAVA 8)。不幸的是，我收到了一個驗證錯誤（操作數堆棧上的類型錯誤）我知道操作數堆棧的值必須是 objectref 中指定的類的子類，但在這種情況下，#18 是 Type 而不是 Type$ClassType ，就像錯誤提示的那樣。或者換一種說法，第15行的stackmapframe不應該在stack[0]中有Type而不是Type$ClassType嗎？我錯過了什么？編輯：stackmapframes 在更改之前和之后是相同的。（如果我使用的 ASM COMPUTE FRAMES 會改變它們）Exception Details:  Location:    com/sun/tools/javac/code/Type$ClassType.toString()Ljava/lang/String; @15: invokespecial  Reason:    Type 'com/sun/tools/javac/code/Type' (current frame, stack[0]) is not assignable to 'com/sun/tools/javac/code/Type$ClassType'  Current Frame:    bci: @15    flags: { }    locals: { 'com/sun/tools/javac/code/Type$ClassType', 'java/lang/StringBuilder' }    stack: { 'com/sun/tools/javac/code/Type', 'com/sun/tools/javac/code/TypeTag' }  ...       Stackmap Table:append_frame(@71,Object[#108])same_frame(@85)same_frame(@121)這是代碼。Type$ClassType 是 Type 的直接子類，com/sun/tools/javac/code/Type$ClassType 是當前類，它允許我們使用 invokespecial 調用超類（如 Type）    public class com.sun.tools.javac.code.Type$ClassType extends com.sun.tools.javac.code.Type implements javax.lang.model.type.DeclaredType    ....    public java.lang.String toString();        descriptor: ()Ljava/lang/String;        flags: ACC_PUBLIC        Code:          stack=4, locals=2, args_size=1             0: new           #108                // class java/lang/StringBuilder             3: dup             4: invokespecial #17                 // Method java/lang/StringBuilder."<init>":()V             7: astore_1             8: aload_0             9: invokevirtual #13                 // Method com/sun/tools/javac/code/Type$ClassType.getEnclosingType:()Lcom/sun/tools/javac/code/Type;            12: getstatic     #10                 // Field com/sun/tools/javac/code/TypeTag.CLASS:Lcom/sun/tools/javac/code/TypeTag;            15: invokespecial #18                 // Method com/sun/tools/javac/code/Type.hasTag:(Lcom/sun/tools/javac/code/TypeTag;)Z            18: ifeq          71