泛型中extends和super的区别

extends 【泛型中extends和super的区别】泛型中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 fruits) { for (Fruit fruit: fruits) { fruit.call(); } }public static void main(String[] args) {List apples = new ArrayList<>(); List fruits = apples; //类型转换失败 Test test = new Test(); test.test1(fruits); //失败 }}

我们使用Apple继承了Fruit类,然后建立了两个list,一个容纳的是apple,一个容纳的是fruit。按照常理来说,因为Apple继承了Fruit,List应该也是List的子类型。但是实际上不是这样的,运行上述程序,会报一个如下所示的错误。
Error:(42, 20) java: 不兼容的类型: java.util.List无法转换为java.util.List

我们可以这样理解,如果上述代码能够正常运行,那把call方法修改成添加一个Banana对象会怎么样,因为test1方法中实际上使用的是List,是不能够添加到Banana的,就会出错。所以List不是List的子类型。
那我们如何处理类似的情况呢,这就需要使用extends了。
public class Test{public void test1(List fruits) { for (Fruit fruit: fruits) { fruit.call(); } }public static void main(String[] args) {List apples = new ArrayList<>(); Test test = new Test(); test.test1(apples); }}

代表的是上界通配符,也就是说这个List中存放的对象都是Fruit以及其子类的对象,这样我们就不用因为输入的List中类型的不同而改变代码了。
上界通配符有一个特点,就是程序只知道List中的对象是Fruit的子类的对象,但是如果Fruit的子类有很多个,那个在使用add方法的时候,就可能出现本来是List,然后在其中添加了banana对象,从而失败。
super super与extends是完全相反的,其定义的是下界通配符。
List也就是说List中存放的都是Fruit和它的父类的对象,比如food,Object。而且如果要在这个List中取出数据,那就不能够确定具体是Fruit的哪个父类的对象,可能是Food,可能是Object。为了保证一定能够取出来,就必须把其转型成Object对象,但是这个时候就会失去原有对象的类型信息。所以List不能够提取数据。

    推荐阅读