Java泛型中的extends和super理解

在平时看源码的时候咱们常常看到泛型，且常常会看到extends和super的使用，看过其余的文章里也有讲到上界通配符和下届通配符，总感受讲的不够明白。这里备注一下，以避免忘记。

1. extends也成为上界通配符，就是指定上边界。即泛型中的类必须为当前类的子类或当前类。
2. super也称为下届通配符，就是指定下边界。即泛型中的类必须为当前类或者其父类。

这两点不难理解，extends修饰的只能取，不能放，这是为何呢？

先看一个列子：

public class Food {}
public class Fruit extends Food {}
public class Apple extends Fruit {}
public class Banana extends Fruit{}

public class GenericTest {

    public void testExtends(List<? extends Fruit> list){

        //报错,extends为上界通配符,只能取值,不能放.
        //由于Fruit的子类不仅有Apple还有Banana,这里不能肯定具体的泛型究竟是Apple仍是Banana，因此放入任何一种类型都会报错
        //list.add(new Apple());

        //能够正常获取
        Fruit fruit = list.get(1);
    }

    public void testSuper(List<? super Fruit> list){

        //super为下界通配符，能够存放元素，可是也只能存放当前类或者子类的实例，以当前的例子来说，
        //没法肯定Fruit的父类是否只有Food一个(Object是超级父类)
        //所以放入Food的实例编译不经过
        list.add(new Apple());
// list.add(new Food());

        Object object = list.get(1);
    }
}
复制代码

在testExtends方法中，由于泛型中用的是extends，在向list中存放元素的时候，咱们并不能肯定List中的元素的具体类型，便可能是Apple也多是Banana。所以调用add方法时，不论传入new Apple()仍是new Banana()，都会出现编译错误。

理解了extends以后，再看super就很容易理解了，即咱们不能肯定testSuper方法的参数中的泛型是Fruit的哪一个父类，所以在调用get方法时只能返回Object类型。结合extends可见，在获取泛型元素时，使用extends获取到的是泛型中的上边界的类型(本例子中为Fruit),范围更小。

总结：

在使用泛型时，存取元素时用super,获取元素时，用extends。