Java泛型的协变与逆变

　　泛型擦除

　　Java的泛型本质上不是真正的泛型，而是利用了类型擦除（type erasure），好比下面的代码就会出现错误：

　　

　　报的错误是：both methods  have same erasure

　　缘由是java在编译的时候会把泛型，上面的<String>和<Integer>都给擦除掉（其实并无真正的被擦除，javap -l -p -v -c能够看到LocalVariableTypeTable

里面有方法参数类型的签名）。

 

　　协变与逆变

 

　　理解了类型擦除有助于咱们理解泛型的协变与逆变，现有几个类以下：

　　Plant　　Fruit　　Apple　　Banana　　Orange

　　其中Apple、Banana、Orange是Fruit的子类，Fruit是Plant的子类。咱们来看下下面的代码：

　　

　　这里有些同窗可能不明白，为何编译会报错呢？ArrayList是List的子类，Apple是Fruit的子类，那么我这里的泛型转换为何出问题呢？

　　由于泛型没有内建的协变类型，没法将List<Fruit>和ArrayList<Apple>关联起来，因此在编译阶段就会出现错误。

 

　　协变

　　因而咱们能够利用通配符实现泛型的协变：<? extends T>子类通配符；这个通配符定义了?继承自T，能够帮助咱们实现向上转换：

　　

　　看起来很美好吧，其实否则。这里咱们要理解当转换以后list中的数据类型是什么。虽然将Apple类型赋值给了list，可是list的类型是? extends Fruit，

把? extends Fruit当作一个总体，咱们能肯定list的具体类型确定是Fruit或者Fruit的父类(由于一个类只能有一个直接父类，因此肯定了Fruit，那么Fruit的父类

则都是能够肯定的)，而不能肯定list的类型是Fruit的子类当中具体的哪个？（有多个类都继承自Fruit），因此这也就直接致使了一旦使用了<? extends T>

向上转换以后，不能再向list中添加任何类型的对象了，这个时候只能选择从list当中get数据而不能add。

　　

　　另外还须要注意的是，这个时候从list当中get出来的数据再也不是Apple，而是Fruit或者Fruit的父类：

　　

　　

　　逆变

　　逆变则和协变相反，它是向下转换：

　　

　　逆变使用通配符? super T（超类通配符），如上面代码，Fruit是Apple的超类，则这个时候对于JVM来讲，它能肯定list的类型的超类确定是Apple

或者Apple的父类，换言之该类型就是Apple或者Apple的子类，因此和上面的协变同样，既然肯定了类型的范围，那么list可以add的类型也就是Apple或者Apple的子类了。

 

　　从逆变和协变的描述中咱们能够总结一下：协变用于下转上，转换以后不能再添加任何类型；逆变用于上转下。

　　具体什么使用使用协变，何时使用逆变，能够参考这篇文章：

　　Java泛型（二） 协变与逆变

　　其中提到PECS（producer-extends, consumer-super）。好比list.get(0)这种，list做为数据源producer；而list.add(new Apple())，list做为数据处理端consumer。

 

　　本文结束！