Java面试题五：Java 的泛型， super T 和 extends T 的区别

相关文章：

java泛型通配符 ? extends T 和 ? super T 的区别和用法

一、二者的意思

? extends T ：表示上界是T， ? 都是继承自T的，都是T的子类； 
? super T ：表示下界是T，？都是T的父类；

二、用法

例1，我们有多个对象，其中Cat，Dog，Chicken都是extends Animal的。

        List list = new ArrayList();
        List list = new ArrayList();
        List list = new ArrayList();

此时，List ? extends Animal list是无法得知这个list究竟可能是上面的哪一种，所以，list是无法 使用add方法的，但是我们可以读取到Anumal类型的数据。

例2，我们有DogFather1，DogFather2，DogFather3，都可能是Dog的父类。

        List list = new ArrayList();
        List list = new ArrayList();
        List list = new ArrayList();

这样，我们不能确定这个list里究竟是DogFather1，还是DogFather2，还是DogFather3，所以我们读取时无法得知读取的是什么类型，但是我们可以写入Dog及其子类对象。

三、总结

第一、 频繁往外读取内容的，适合用 ? extends T； 
第二、 经常往里插入的，适合用 ? super T； 
（阿里JAVA开发手册强制这样使用，见集合处理的第6条）

这个用法的典型用法可以在java的集合类Collections源码中找到：

    public static  void copy(List dest, List src) {
        int srcSize = src.size();
        if (srcSize > dest.size())
            throw new IndexOutOfBoundsException("Source does not fit in dest");

        if (srcSize < COPY_THRESHOLD ||
            (src instanceof RandomAccess && dest instanceof RandomAccess)) {
            for (int i=0; i di=dest.listIterator();
            ListIterator si=src.listIterator();
            for (int i=0; i