泛型是什么？
泛型是JDK5中引入的一种参数化类型特性（参数化类型：把类型当做参数一样传递,例如class A<T>中的T）。
泛型的意义，存在即合理，为什么。
使代码更灵活、更健壮、更简洁、复用性强。最终结果就是让你少写很多代码。
泛型的使用，泛型可以应用于类，方法。
Class A<T>
<T> void main(T t){}
泛型擦除
泛型是JDK5中引入的一种参数化类型特性，为了向下兼容，虚拟机其实是不支持泛型的。所以Java实现的是一种伪泛型机制。Java虚拟机在编译期就擦除了所有的泛型的信息（但是泛型信息存在于类的常量信息中）。即该类的泛型类型最终都是一种原始类型（这里不一定是Object，需视情况而定）。在Java运行时根本就不存在泛型信息。泛型擦除的时候不会将元数据(类、属性、方法（结构）、返回值、形参）泛型擦除。
泛型类型的限定
一般我们在类的泛型使用有以下2种方式。
class<T> : 由于泛型擦除，泛型类型在编译期 就被擦除为object 等用于class<Object>
class<T extends A> ：由于泛型擦除，且泛型有限制条件。编译器 会擦除为A类 等同于class<A>
泛型类型的使用注意：
泛型类型变量不能使用基本数据类型的变量如int 需使用Integer。
通配符？
应用场景：方法 、参数
通配符又分为 限定分配符和非限定分配符。
限定分配符限定了参数的 上界和下界。
class A extends B{}
class C<T>{}
void getData(C<? extends B> cls){}
使用 方法入参可以传入 B类的子类（派生类）
void getData(C<? super B> cls){}
使用 方法入参可以传入 B类的父类（超类）
由于 子类可以强转成父类：如MainActivity mainActivity; Activity activity=(Activity)mainActivity;(所以以下通配符可借此理解)
C<? extend B> data=new C<>();
（可取不能存）。ps:因为data 是B的派生类（子类）。所以在get的时候可以转换成正确的派生子类，但由于不知道是哪个子类，且不能强转为父类B，所以不能put。
C<? super B> data=new C<>();
（能存不能取）。ps:因为data 是B的超类（父类）。所以 B是能强制转换为data的。所以在put方法的时候可以调用，而在get方法的时候，由于不知道是哪个超类，不能使用。
限定通配符<？> 既不能存也不能取，但是会被安全检查。
拓展。
如何获取泛型中的泛型参数类型等信息
通过反射创建泛型类型
Type直接子接口：
ParameterizedType: 表示一种参数化的类型，比如Collection
GenericArrayType: 表示一种元素类型是参数化类型或者类型变量的数组类型
TypeVariable: 是各种类型变量的公共父接口
WildcardType: 代表一种通配符类型表达式，比如?, ? extends Number, ? super Integer【wildcard是一个单词：就是“通配符”】
网友评论