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

1.二者的意思

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

2.用法

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

        List<? extends Animal> list = new ArrayList<Cat>();
        List<? extends Animal> list = new ArrayList<Dog>();
        List<? extends Animal> list = new ArrayList<Chicken>();

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

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

        List<? super Dog> list = new ArrayList<DogFather1>();
        List<? super Dog> list = new ArrayList<DogFather2>();
        List<? super Dog> list = new ArrayList<DogFather3>();

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

3.总结

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

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

    public static <T> void copy(List<? super T> dest, List<? extends T> 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<srcSize; i++)
                dest.set(i, src.get(i));
        } else {
            ListIterator<? super T> di=dest.listIterator();
            ListIterator<? extends T> si=src.listIterator();
            for (int i=0; i<srcSize; i++) {
                di.next();
                di.set(si.next());
            }
        }
    }