java 泛型 t extends_java 泛型<? super T>和<? extends T>

本文以list为例，其他集合类似。

为了安全，编译器在List进行存储的时候只会保存为一种类型。

List super T> list中的元素全是T的某个父类型

List extends T> list中的元素全是T的某个子类类型

上面这种定义类型的使用场景:

PECS指“Producer Extends，Consumer Super”。换句话说，如果参数化类型表示一个生产者，就使用 extends T>；如果它表示一个消费者，就使用 super T>。

在实际的使用中, extends T> 实际上代表的是T的某个子类,X继承自T，当我们插入一个数据T的时候无法保证其能够转换成X，但是我们可以保证读取的数据可以转换成T。

同理 super T>实际上也是代表的T的某个父类,当我们读取一个数据的时候是无法保障Y能够转换成T的，但是能够保障插入T数据能够转换成Y。

由于List extends T>是list中的某个子类，如果我们向list中添加元素，子类之间并不能相互转换，导致添加失败，而List super T> 则可以用来添加T的子类，因为T的子类型都可以转为T的某个父类。 相反List extends T>中的元素则都可以转为T，则可以用来读取list中的元素，但是List super T> 中的元素不能转为T则无法用来读取list中的元素，除非读取为Object 类型。

这样这两个类型的用途就很明显：

List super T> 保证向list中添加的元素全是T的子类含T，用于只写操作，读操作可能会导致异常

List extends T> 保证读取list中的元素全是T的子类含T ，用于只读操作，写操作会有异常

用例(java.util.Collections的copy方法)：

public static 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

dest.set(i, src.get(i));

} else {

ListIterator super T> di=dest.listIterator();

ListIterator extends T> si=src.listIterator();

for (int i=0; i

di.next();

di.set(si.next());

}

}

}

保证dest只用来存储数据，src的数据只会被读取。

附加：

对于实现了RandomAccess接口的列表，随机读取的效率高于迭代器，而没有实现RandomAccess的接口的列表使用迭代器效率要高一些。(Java接口RandomAccess全面了解)