<? super T> 超类型限定##
1. 概述:限定泛型只能为T类型的父类或者本身
2. 例子
List<? super Integer> list1 = new ArrayList<Integer>();
List<? super Integer> list1 = new ArrayList<Number>();
List<? super Integer> list1 = new ArrayList<Object>();
3. 操作局限性
- 只能做添加数据的操作: 在添加数据的时候,通过限定的Integer 父类或者子类的子类型限定泛型,可以插入Integer对象
- 不能做获取数据的操作: 在获取数据的时候,由于泛型的父类可能有很多种,读取时,不一定能够确定操作的数据是属于哪种类型,除非使用object所有类的基类来获取,由于泛型不确定性,这样会导致数据丢失.
<? extends T> 子类型限定##
1. 概述:限定泛型只能为T类型的子类或者本身
2. 例子
List<? extends Number> list2 = new ArrayList<Integer>();
List<? extends Number> list2 = new ArrayList<Double>();
List<? extends Number> list2 = new ArrayList<Number>();
3. 操作局限性
- 只能做获取的数据操作,在获取数据时,限定了是Number类的子类的泛型, 所以 获取的数据必定可以是Number类本身获取是其子类,但同时,由于子类有可能很多,不能直接获取到其子类对象.
- 不能做添加的数据操作,在添加数据时,由于泛型是限定Number类的子类或者本身,无法确定当前列表里保存的是什么类型的数据
适用领域##
PESC原则
“Producer Extends，Consumer Super”。如果参数化类型表示一个生产者，就使用<? extends T>；如果它表示一个消费者，就使用<? super T>
生产者使用extends
如果你需要一个列表提供T类型的元素（即你想从列表中读取T类型的元素），你需要把这个列表声明成<? extends T>，比如List<? extends Integer>，因此你不能往该列表中添加任何元素。消费者使用super
如果需要一个列表使用T类型的元素（即你想把T类型的元素加入到列表中），你需要把这个列表声明成<? super T>，比如List<? super Integer>，因此你不能保证从中读取到的元素的类型。即是生产者，也是消费者
如果一个列表即要生产，又要消费，你不能使用泛型通配符声明列表，比如List<Integer>。
简单点来说就是 使用时, 需要频繁的插入数据时, 就使用超类型限定, 需要获取数据时,就使用子类型限定
源码例子 Collections.copy()##
public static <T> void copy(List<? super T> destination, List<? extends T> source) {
if (destination.size() < source.size()) {
throw new IndexOutOfBoundsException("destination.size() < source.size(): " +
destination.size() + " < " + source.size());
}
Iterator<? extends T> srcIt = source.iterator();
ListIterator<? super T> destIt = destination.listIterator();
while (srcIt.hasNext()) {
try {
destIt.next();
} catch (NoSuchElementException e) {
// TODO: AssertionError?
throw new IndexOutOfBoundsException("Source size " + source.size() +
" does not fit into destination");
}
// 体现点
// ** srcIt.next()...
// ** destIt.set()...
destIt.set(srcIt.next());
}
}