? extends T :表示上界是T, ? 都是继承自T的,都是T的子类; ? super T :表示下界是T,?都是T的父类;
例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及其子类对象。
第一、 频繁往外读取内容的,适合用 ? 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());
}
}
}