我很清楚泛型类型在编译时会从Java代码中删除。 1.5+ JVM用于实现getGenericType
等的哪些信息(属性?)?
答案 0 :(得分:30)
它们存储在Signature
属性中;有关字段类型签名的格式,请参见updated Java Virtual Machine Specification的4.8.8节,以及4.4.4节。
以下是使用javap -verbose java.util.Map
的示例:
public interface java.util.Map
SourceFile: "Map.java"
Signature: length = 0x2
00 1E
[other attributes omitted]
此处的Signature
属性指定(如果您将其视为big-endian,就像JVM类文件格式中的所有整数一样),常量池值#30(30 = 0x1E)。那么让我们来看看:
const #30 = Asciz <K:Ljava/lang/Object;V:Ljava/lang/Object;>Ljava/lang/Object;;
在4.4.4中指定的语法上下文中阅读。因此,它使用两个类型参数K extends java.lang.Object
和V extends java.lang.Object
。类型本身(Map
)也扩展了类java.lang.Object
,没有接口。
答案 1 :(得分:14)
Java泛型确实由type erasure实现,因此字节码中没有类型信息。
例如,让我们看看两个声明List
字段的类,一个是泛型的,另一个是非泛型的:
class NonGeneric {
List list;
}
和
class Generic {
List<String> list;
}
在这两种情况下,生成的字节码如下:
Code:
Stack=3, Locals=1, Args_size=1
0: aload_0
1: invokespecial #1; //Method java/lang/Object."<init>":()V
4: aload_0
5: new #2; //class java/util/ArrayList
8: dup
9: invokespecial #3; //Method java/util/ArrayList."<init>":()V
12: putfield #4; //Field list:Ljava/util/List;
15: return
没有提及String
和ArrayList
中使用的List
类型。因此,我们可以看到泛型确实是通过类型擦除来实现的。
但是,如果我们查看常量池,我们可以找到差异。
非通用常量池:
Constant pool:
const #1 = Method #6.#15; // java/lang/Object."<init>":()V
const #2 = class #16; // java/util/ArrayList
const #3 = Method #2.#15; // java/util/ArrayList."<init>":()V
const #4 = Field #5.#17; // NonGeneric.list:Ljava/util/List;
const #5 = class #18; // NonGeneric
const #6 = class #19; // java/lang/Object
const #7 = Asciz list;
const #8 = Asciz Ljava/util/List;;
const #9 = Asciz <init>;
const #10 = Asciz ()V;
// snip the rest //
通用常量池:
Constant pool:
const #1 = Method #6.#17; // java/lang/Object."<init>":()V
const #2 = class #18; // java/util/ArrayList
const #3 = Method #2.#17; // java/util/ArrayList."<init>":()V
const #4 = Field #5.#19; // Generic.list:Ljava/util/List;
const #5 = class #20; // Generic
const #6 = class #21; // java/lang/Object
const #7 = Asciz list;
const #8 = Asciz Ljava/util/List;;
const #9 = Asciz Signature;
const #10 = Asciz Ljava/util/List<Ljava/lang/String;>;;
const #11 = Asciz <init>;
const #12 = Asciz ()V;
// snip the rest//
可以看出,在Generic
类中,我们可以看到常量池中有两个额外的常量#9
和#10
,它们提到{{1} }}具有通用类型List
。
(并结合我从Chris Jester-Young's answer学到的新知识)
进一步研究类文件的反汇编,在String
类的Code: block
之前有一个常量#10的引用:
Generic
十六进制值java.util.List list;
Signature: length = 0x2
00 0A
是十进制的0A
,它指的是常量池10
:
#10
因此,使用常量池中的信息来指示字段是泛型类型。