泛型与类型擦除
本质是参数化类型(Parametersized Type)的应用,也就是说所操作的数据类型被指定为一个参数。这种参数类型可以用在类、接口和方法的创建中,分别为泛型类、泛型接口和泛型方法。
泛型在C#中是真实存在的,例如List<int>
和List<String>
就是两个不同的类型,在系统运行期生成,有自己的虚方法表和类型数据,这种实现称为类型膨胀,基于这种方法实现的泛型为真实泛型。
但是在Java中,泛型只在程序源码中存在,在编译后的字节码文件中,就已经替换成原来的原生类型(Raw Type,裸型)了,并且在相应的地方插入了强制转型代码,因此,对于运行期的Java语言来说,ArrayList<int>
和ArrayList<String>
就是同一个类(类型擦除后变成了ArrayList<E>
),所以泛型技术是Java的一颗语法糖,Java语言中的泛型实现方法称为类型擦除,基于这种方法实现的泛型称为伪泛型。
另外,在Signature属性中,擦除法仅仅是对 方法的Code属性中的字节码进行擦除,实际上元数据还是保留了泛型信息,这也是为什么可以通过反射取得参数化类型的依据。
条件编译