我修改了下面字節(jié)碼的第 15 行，并將其從 invokevirtual 更改為 invokespecial (JAVA 8)。不幸的是，我收到了一個(gè)驗(yàn)證錯(cuò)誤（操作數(shù)堆棧上的類型錯(cuò)誤）我知道操作數(shù)堆棧的值必須是 objectref 中指定的類的子類，但在這種情況下，#18 是 Type 而不是 Type$ClassType ，就像錯(cuò)誤提示的那樣。或者換一種說法，第15行的stackmapframe不應(yīng)該在stack[0]中有Type而不是Type$ClassType嗎？我錯(cuò)過了什么？編輯：stackmapframes 在更改之前和之后是相同的。（如果我使用的 ASM COMPUTE FRAMES 會(huì)改變它們）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 是當(dāng)前類，它允許我們使用 invokespecial 調(diào)用超類（如 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 回答
絕地?zé)o雙
TA貢獻(xiàn)1946條經(jīng)驗(yàn) 獲得超4個(gè)贊
invokespecial用于實(shí)現(xiàn)三件事之一
構(gòu)造函數(shù)調(diào)用
調(diào)用
private方法super. …打電話_
雖然 1. 在這里不適用（因?yàn)槟繕?biāo)方法的名稱不是<init>），但其他任何一種情況都要求接收器類型是當(dāng)前類或其子類。因此，即使方法的聲明類是Type，實(shí)際接收者的類型也應(yīng)該可以分配給當(dāng)前類，Type$ClassType。
與您通過更改創(chuàng)建的最接近的等價(jià)物是super調(diào)用，盡管在 Java 源代碼中，調(diào)用方法 viasuper強(qiáng)制接收器引用與 相同this，它本質(zhì)上可分配給當(dāng)前類。
在字節(jié)碼級(jí)別，規(guī)則限制較少，但不允許在可能指向完全不相關(guān)的子類層次結(jié)構(gòu)的實(shí)例的類型引用上調(diào)用允許繞過當(dāng)前類或其子類中的方法聲明的方法調(diào)用，即Type不是一個(gè)Type$ClassType。
apangin 的回答中已經(jīng)引用了相關(guān)的 JVMS 規(guī)則。
添加回答
舉報(bào)
0/150
提交
取消