Java基础-泛型

泛型是什么?

泛型是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 cls){}    

使用 方法入参可以传入 B类的子类(派生类)

void  getData(C cls){}    

使用 方法入参可以传入 B类的父类(超类)



由于 子类可以强转成父类:如MainActivity mainActivity; Activity activity=(Activity)mainActivity;(所以以下通配符可借此理解)


C data=new C<>();

(可取不能存)。ps:因为data 是B的派生类(子类)。所以在get的时候可以转换成正确的派生子类,但由于不知道是哪个子类,且不能强转为父类B,所以不能put。

C data=new C<>();

(能存不能取)。ps:因为data 是B的超类(父类)。所以 B是能强制转换为data的。所以在put方法的时候可以调用,而在get方法的时候,由于不知道是哪个超类,不能使用。

限定通配符<?> 既不能存也不能取,但是会被安全检查。


拓展。

如何获取泛型中的泛型参数类型等信息


通过反射创建泛型类型


Type直接子接口:

ParameterizedType: 表示一种参数化的类型,比如Collection

GenericArrayType: 表示一种元素类型是参数化类型或者类型变量的数组类型

TypeVariable: 是各种类型变量的公共父接口

WildcardType: 代表一种通配符类型表达式,比如?, ? extends Number, ? super Integer【wildcard是一个单词:就是“通配符”】

你可能感兴趣的:(Java基础-泛型)