泛型是什么?
泛型是JDK5中引入的一种参数化类型特性(参数化类型:把类型当做参数一样传递,例如class A中的T)。
泛型的意义,存在即合理,为什么。
使代码更灵活、更健壮、更简洁、复用性强。最终结果就是让你少写很多代码。
泛型的使用,泛型可以应用于类,方法。
Class A
void main(T t){}
泛型擦除
泛型是JDK5中引入的一种参数化类型特性,为了向下兼容,虚拟机其实是不支持泛型的。所以Java实现的是一种伪泛型机制。Java虚拟机在编译期就擦除了所有的泛型的信息(但是泛型信息存在于类的常量信息中)。即该类的泛型类型最终都是一种原始类型(这里不一定是Object,需视情况而定)。在Java运行时根本就不存在泛型信息。泛型擦除的时候不会将元数据(类、属性、方法(结构)、返回值、形参)泛型擦除。
泛型类型的限定
一般我们在类的泛型使用有以下2种方式。
class : 由于泛型擦除,泛型类型在编译期 就被擦除为object 等用于class
class :由于泛型擦除,且泛型有限制条件。编译器 会擦除为A类 等同于class
泛型类型的使用注意:
泛型类型变量不能使用基本数据类型的变量如int 需使用Integer。
通配符?
应用场景:方法 、参数
通配符又分为 限定分配符和非限定分配符。
限定分配符限定了参数的 上界和下界。
class A extends B{}
class C{}
void getData(C extends B> cls){}
使用 方法入参可以传入 B类的子类(派生类)
void getData(C super B> cls){}
使用 方法入参可以传入 B类的父类(超类)
C extend B> data=new C<>();
C super B> data=new C<>();
限定通配符 既不能存也不能取,但是会被安全检查。
拓展。
如何获取泛型中的泛型参数类型等信息
通过反射创建泛型类型