java基础之泛型

泛型是java中很重要的一个设定，它有泛型类，泛型方法，泛型接口三种使用方式。
泛型的作用是保证你使用的泛型类，泛型方法，泛型接口，为你指定泛型的类型，除非创建新的类，方法，接口，不然它指定的类型不会改变。这样就避免了这些数据被强制类型转换。例如ArrayList就使用了泛型，这样使得每一个ArrayList都有一个固定的类型，并且由于泛型的泛型擦除机制，使得ArrayList能够在编译阶段进行类型检测。
泛型的泛型擦除机制就是在编译时将有指定类型的java代码转换为普通java代码，例如ArrayList a=new ArrayList()与ArrayList b=new ArrayList()，他们之间不能相互存储，但是编译后都变为了ArrayList,他们附带的类型被擦除了。
泛型擦除的机制是如果没有指定类型，就将Object作为原始类型。如果定义了上下边界，即限定类型或者多个限定类型，则将第一个边界类型作为原始类型，例如：< T extends A >，使用A作为原始类型；< T extends A & B >，使用第一个边界类型A作为原始类型。
泛型的上下边界，上为extends，下为super，假设使用<? extends Fruit>，Fruit底下有很多水果，则定义的数据类型就可以为多种类型的水果。假设使用<? super Fruit>则只能为水果这个父类，而不能是底下的苹果之类的。这样的机制使得他们产生了使用<？ extends Fruit>用来取，<？ super Fruit>用来存的使用方式。

<? extends Fruit>中的?为通配符，它与T的区别是，T为形参，定义是啥类型就为啥类型是一种固定的泛型，输入啥就是啥，而？是实参为Object类型啥类型都可以用，而在上下边界中，一般类型都是不固定的要么只有上下限，所以要与？通配符进行搭配使用。