Java泛型（有界通配符）

Java Generics (bounded wildcards)

根据Joshua Bloch的"有效Java"一书，有一个关于如何/何时使用泛型中的有界通配符的规则。这条规则是PECS(生产者扩展，Comsumer Super)。当我研究以下例子时：

1
2
3

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

我知道这个规则非常适合这个例子。我必须将方法pushAll声明为以下示例：

1
2
3
4
5
6
7

// Wildcard type for parameter that serves as an E producer
public void pushAll(Iterable<? extends E> src) {
for (E e : src)
{
push(e);
}
}

号

但是如果我有下面的例子会发生什么呢？

1
2
3

Stack<Integer> integerStack = new Stack<Integer>();
Iterable<Number> numbers = ... ;
integerStack.pushAll(numbers);

我必须按以下方式申报pushAll：

1
2
3
4
5
6

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

。

根据PECS规则，上述声明是错误的。但我想得到一个Stack的Integers，并把它传给这个Stack的Number。为什么不做呢？为什么我总是使用extends关键字？为什么使用super是错误的？当然，这也代表了康萨姆的观点。为什么消费者应该一直是super？

附：更具体地说，你可以在参考书的"第28项"部分找到上述例子。