Java泛型的协变和逆变

1.什么是泛型擦除

Java的泛型本质上不是真正的泛型，而是利用了类型擦除（type erasure）

2.协变（covariant）和逆变（contravariant）

2.1协变（covariant）

<? extends T>，？通配符，代表的是任何事物，？继承于T

现在有如下几个类：

Creature Animal Person Dog，其中Creature是Animal的父类，Animal是Person和Dog的父类

 这里报错的原因：型没有内建的协变类型，无法将List<Fruit>和ArrayList<Apple>关联起来，所以在编译的时候会报错

 这个时候我们把<? extends Animal>看成是一个整体，我们可以看出list的类型是Animal或Animal的父类（Creature）。但是我们不能确定list的类型是Animal的子类中的哪一个（Person or Dog），所以这就导致了使用<? extends T>出现的错误。

当然现在向上转型之后我们不能向list里面添加任何数据类型的对象，但是可以使用get方法获取里面的元素

2.2逆变（contravariant）

<? super T>，Animal是Dog，Person的超类，则这个时候对于JVM来说，它能确定list的类型的超类肯定是Dog，Person的父类

逆变则和协变相反

 总结：

协变是向上转型，只能get，不能add

逆变是向下转型，不能get，只能add------get元素的时候需要进行强制转换