JVM class 文件

属性表集合 attribute_info

在JDK 5里面大幅增强了Java语言的语法，在此之后，任何类、接口、初始化方法或成员的泛型签名如果包含了类型变量（Type Variable）或参数化类型（Parameterized Type），则Signature属性会为它记录泛型签名信息。之所以要专门使用这样一个属性去记录泛型类型，是因为Java语言的泛型采用的是擦除法实现的伪泛型，字节码（Code属性）中所有的泛型信息编译（类型变量、参数化类型）在编译之后都通通被擦除掉。使用擦除法的好处是实现简单（主要修改Javac编译器，虚拟机内部只做了很少的改动）、非常容易实现Backport，运行期也能够节省一些类型所占的内存空间。但坏处是运行期就无法像C#等有真泛型支持的语言那样，将泛型类型与用户定义的普通类型同等对待，例如运行期做反射时无法获得泛型信息。Signature属性就是为了弥补这个缺陷而增设的，现在Java的反射API能够获取的泛型类型，最终的数据来源也是这个属性。-周志明 《深入理解 Java 虚拟机》

Java Language Specification 8

$4

The types of the Java programming language are divided into two categories: primitive types and reference types.

primitive types

• byte, short, int, long, float, double, boolean, char (void)

System.out.println(void.class.isPrimitive());//true

reference types

• 类 class
• 接口 interface
• 数组 array
• null （没有名字，无法作为左值声明使用，只能作为右值赋给引用）
• (Type Variables <T extends/super A &B>)

The values of a reference type are references to objects.