extends
泛型中extends的主要作用是设定类型通配符的上限
要理解这句话，我们先从一个例子来看：
class Fruit{
public void call() {
System.out.println("这是一个水果");
}
}
class Banana extends Fruit{
@Override
public void call() {
System.out.println("这是一个香蕉");
}
}
class Apple extends Fruit{
@Override
public void call() {
System.out.println("这是一个苹果");
}
}
public class Test{
public void test1(List<Fruit> fruits) {
for (Fruit fruit: fruits) {
fruit.call();
}
}
public static void main(String[] args) {
List<Apple> apples = new ArrayList<>();
List<Fruit> fruits = apples; //类型转换失败
Test test = new Test();
test.test1(fruits); //失败
}
}
我们使用Apple继承了Fruit类，然后建立了两个list，一个容纳的是apple，一个容纳的是fruit。按照常理来说，因为Apple继承了Fruit，List<Apple>应该也是List<Fruit>的子类型。但是实际上不是这样的，运行上述程序，会报一个如下所示的错误。
Error:(42, 20) java: 不兼容的类型: java.util.List<com.company.Apple>无法转换为java.util.List<com.company.Fruit>
我们可以这样理解，如果上述代码能够正常运行，那把call方法修改成添加一个Banana对象会怎么样，因为test1方法中实际上使用的是List<Apple>，是不能够添加到Banana的，就会出错。所以List<Apple>不是List<Fruit>的子类型。
那我们如何处理类似的情况呢，这就需要使用extends了。
public class Test{
public void test1(List<? extends Fruit> fruits) {
for (Fruit fruit: fruits) {
fruit.call();
}
}
public static void main(String[] args) {
List<Apple> apples = new ArrayList<>();
Test test = new Test();
test.test1(apples);
}
}
<? extends Fruit>代表的是上界通配符，也就是说这个List中存放的对象都是Fruit以及其子类的对象，这样我们就不用因为输入的List中类型的不同而改变代码了。
上界通配符有一个特点，就是程序只知道List<? extends Fruit>中的对象是Fruit的子类的对象，但是如果Fruit的子类有很多个，那个在使用add方法的时候，就可能出现本来是List<Apple>，然后在其中添加了banana对象，从而失败。
super
super与extends是完全相反的，其定义的是下界通配符。
List<? super Fruit>也就是说List中存放的都是Fruit和它的父类的对象，比如food，Object。而且如果要在这个List中取出数据，那就不能够确定具体是Fruit的哪个父类的对象，可能是Food，可能是Object。为了保证一定能够取出来，就必须把其转型成Object对象，但是这个时候就会失去原有对象的类型信息。所以List<? super Fruit>不能够提取数据。
