<? extends Fruit>与<? super Apple>的理解

该文章主要讲述<? extends Fruit>与<? super Apple> 使用add()前者编译报错和后者可以运行通过的原因。

类继承关系如下：

class Fruit{}
class Apple extends Fruit{}
class Jonathan extends Apple{}
class Orange extends Fruit{}

先说<? extends Fruit>，? 代表了某一类型，? extends Fruit 则表示继承自Fruit的某一类型，是不确定的。在此？可以是Apple也可以是Orange。

List<? extends Fruit> list = new ArrayList<>();  该list表示，存放某一继承Fruit类的实例的List。list.add()方法除了存放null以外，无论是Apple还是Fruit都会在编译的时候报错。

举个栗子，?是Apple表示现在list可以存放Apple及其子类，但是Orange也是满足 ? extends Fruit的条件，所以应当也可以存放进list，这样之前list内只能放Apple及其子类，现在又能放Orange就产生矛盾，故add()方法不可以存放除了null以外的实例，所以在编译期就报错了。还要注意的是在List源码内只要参数带泛型比如set()都是会在编译器报错。

再说<? super Apple>，这个就比较好理解了。它提供了一个下界是Apple，?可代表所有是Apple的父类。

List<? super Apple> list = new ArrayList<>();该list就可以使用带泛型的方法，比如add()，注意可以存放Apple及其子类的实例。无论？是什么类型，只要Apple继承了该？，就能存放Apple及其子类的实例。但是不能存放Apple以外的实例比如Orange。