我修改了下面字節碼的第15行，并將其從 invokevirtual 更改為 invokespecial（JAVA 8）。不幸的是，我得到一個驗證錯誤（操作數堆棧上的錯誤類型）我知道操作數堆棧的值必須是 objectref 中指定的類的子類，但在這種情況下，#18 是 Type 而不是 Type$ClassType，如錯誤所示?；蛘邠Q個說法，第15行的堆棧映射框不應該在堆棧中具有Type而不是Type$ClassType嗎[0]？我錯過了什么？編輯：堆棧映射幀在更改之前和之后是相同的。（如果我使用的ASM計算幀會改變它們）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是當前的類，它允許我們使用exactionspecial調用超類（如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 .....
2 回答
米琪卡哇伊
TA貢獻1998條經驗 獲得超6個贊
invokespecial用于實現三件事中的任何一件
構造函數調用
調用方法
private進行呼叫
super. …
而 1.在這里不適用（因為目標方法的名稱不是），其他任何一種情況都要求接收方類型是當前類或其子類。因此，即使該方法的聲明類是 ，實際的接收方的類型也應該可以分配給當前類。<init>TypeType$ClassType
最接近于您用更改創建的內容的等效項是調用，盡管在 Java 源代碼中，通過調用方法會強制接收方引用與 相同，后者本質上可分配給當前類。supersuperthis
在字節碼級別，規則的限制較少，但是，不允許在類型引用上調用允許繞過當前類或其子類中的方法聲明的方法調用，該類型引用可能指向完全不相關的子類層次結構的實例，即不是.TypeType$ClassType
相關的JVMS規則已經在apangin的答案中被引用。
添加回答
舉報
0/150
提交
取消