第28条：利用有限制通配符来提升API的灵活性

参数化类型是不可变的。对两个不同类型T1和T2而言，List<T1>与List<T2>没有父子类型关系。

 

考虑：

public class Stack<E> {
    public Stack();
    public void push(E e);
    public E pop();
    public boolean isEmpty();
}

假设增加一个方法，按顺序将一系列的元素放到堆栈中：

public void pushAll(Iterable<E> src) {
    for(E e : src)
        push(e);
}

如果尝试这样做：

Stack<Number> s = new Stack<Number>();
Iterable<Integer> i = ...;
s.pushAll(integers);

从逻辑上讲，这样应该是允许的，因为Integer是Number的子类，应当允许将Integer放到类型为Number的堆栈中。

但实际运行的时候会提示Iterable<Number>与Iterable<Integer>不兼容。

 

有限制的通配符类型可以处理这种情况：

pushAll的输入参数不应该是“E的Iterable接口”，而应该为“E的某个子类型的Iterable接口”，修改为Iterable<? extends E>

 

假设添加一个popAll方法，从堆栈中弹出每个元素，添加到指定集合中：

public void popAll(Collection<E> dst) {
    while(!isEmpty) {
        dst.add(pop());
    }
}

与未修改的putAll一样，应当允许类型为Number的栈帧放在包括Number在内的父类型中。

所以，修改为：

public void popAll(Collection<? super E> dst) {
    while(!isEmpty) {
        dst.add(pop());
    }
}

 

在putAll方法中，输入参数的角色是生产者，因为参数提供数据给堆栈使用，在popAll方法中，输入参数的角色是消费者，因为堆栈提供数据给参数使用。总之，如果参数化类型表示一个T生产者，就使用<? extends T>，如果表示一个T的消费者，就使用<? super T>。