java 泛型 协变_泛型的逆变与协变

一、类型擦除(Type Erasure)

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

报的错误是：both methods have same erasure

原因是Java在编译的时候会把泛型，上面的和都给擦除掉。Java的泛型机制是在编译级别实现的。编译器生成的字节码在运行期间并不包含泛型的类型信息。

PS：其实并没有真正的被擦除，javap -l -p -v -c可以看到LocalVariableTypeTable里面有方法参数类型的签名。

二、不变(invariant)

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

Plant　　Fruit　　Apple　　Banana　　Orange

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

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

因为泛型没有内建的协变类型，无法将List和ArrayList关联起来，所以在编译阶段就会出现错误。

三、协变(covariant)

于是我们可以利用通配符实现泛型的协变： extends T>子类通配符；这个通配符定义了?继承自T，可以帮助我们实现向上转换：

List extends Fruit> list = new ArrayList();

看起来很美好吧，其实不然。这里我们要理解当转换之后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的父类：

四、逆变(contravariant)

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

List super Apple> list = new ArrayList();

此时增加一个Apple的子类是BigApple，然后往list里去添加，结果如下：

逆变使用通配符 super T>(超类通配符)，如上面代码，Fruit是Apple的超类，则这个时候对于JVM来说，它能确定list的类型的超类肯定是Apple或者Apple的父类，换言之该类型就是Apple或者Apple的子类，所以和上面的协变一样，既然确定了类型的范围，那么list能够add的类型也就是Apple或者Apple的子类了。

总结一下，便于记忆：

协变：extends/向上转换/不能add/只能get(T及父类)

逆变：super/向下转换/不能get/只能add(T及子类)

五、PECS(producer-extends, consumer-super)

如果参数化类型表示一个生产者，就使用 extends T>。比如list.get(0)这种，list作为数据源producer；

如果它表示一个消费者，就使用 super T>。比如：list.add(new Apple())，list作为数据处理端consumer。

参考的原文链接，感谢作者！

如有错误，请更正指出，谢谢！