[转]Java 泛型: 什么是PECS（Producer Extends, Consumer Super）

以下内容转自：

　　原文链接： stackoverflow 翻译： ImportNew.com - 刘志军
　　译文链接： http://www.importnew.com/8966.html

-----------------------------------------------------------------------

什么是PECS？ 

PECS指“Producer Extends，Consumer Super”。换句话说，如果参数化类型表示一个生产者，就使用；如果它表示一个消费者，就使用，可能你还不明白，不过没关系，接着往下看好了。

下面是一个简单的Stack的API接口：

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

假设想增加一个方法，按顺序将一系列元素全部放入Stack中，你可能想到的实现方式如下：

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

假设有个Stack，想要灵活的处理Integer，Long等Number的子类型的集合

Stack numberStack = new Stack();
Iterable integers = ....;
numberStack.pushAll(integers);

此时代码编译无法通过，因为对于类型Number和Integer来说，虽然后者是Number的子类，但是对于任意Number集合（如List）不是Integer集合（如List）的超类，因为泛型是不可变的。

幸好java提供了一种叫有限通配符的参数化类型，pushAll参数替换为“E的某个子类型的Iterable接口”：

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

这样就可以正确编译了，这里的就是所谓的 producer-extends。这里的Iterable就是生产者，要使用。因为Iterable可以容纳任何E的子类。在执行操作时，可迭代对象的每个元素都可以当作是E来操作。

与之对应的是：假设有一个方法popAll()方法，从Stack集合中弹出每个元素，添加到指定集合中去。

public void popAll(Collection dst){
       if(!isEmpty()){
                dst.add(pop());
        }
}

假设有一个Stack和Collection