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元素的时候需要进行强制转换