超类型限定 与

<? 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());
    }
}