Java泛型中extends和super的区别

<? extends Fruit>代表的是上界通配符，也就是说这个List中存放的对象都是Fruit以及其子类的对象，这样我们就不用因为输入的List中类型的不同而改变代码了。
上界通配符有一个特点，就是程序只知道List<? extends Fruit>中的对象是Fruit的子类的对象，但是如果Fruit的子类有很多个，那个在使用add方法的时候，就可能出现本来是List<Apple>，然后在其中添加了banana对象，从而失败。返回类型确定是Fruit，所以可以取出。

 

super与extends是完全相反的，其定义的是下界通配符。
List<? super Fruit>也就是说List中存放的都是Fruit和它的父类的对象，比如food，Object。而且如果要在这个List中取出数据，那就不能够确定具体是Fruit的哪个父类的对象，可能是Food，可能是Object。为了保证一定能够取出来，就必须把其转型成Object对象，但是这个时候就会失去原有对象的类型信息。所以List<? super Fruit>不能够提取数据。add时候加的类型至少是Fruit，所以可以加。