关于PECS java泛型

Question

阅读Java Essentials，第二版，方法参数中有一条称为PECS的类型安全规则。如果它生产你扩展，消费你使用超级。如果我定义错了，我很抱歉，因为我不明白。

有人能解释一下Joshua Bloch所说的生产者/消费者吗？

Answer 1

请看这个pdf，它有一系列关于这方面的幻灯片(搜索PECS)：

泛型类型是不变的

·也就是说，List<String>不是List<Object>的子类型

·有利于编译时类型安全，但不灵活

绑定的通配符类型提供了额外的灵活性API

·List<String>是List<? extends Object>的一个子类型

·List<Object>是List<? super String>的一个子类型

所以

PECS -生产者扩展，消费者超级

·为T生产者使用Foo<? extends T>

·为T消费者使用Foo<? super T>

仅适用于输入参数(不要使用通配符类型作为返回类型)。

假设您想要向Stack添加批量方法：

void pushAll(Collection<? extends E> src);
//src is an E producer

void popAll(Collection<? super E> dst);
// dst is an E consumer

Answer 2

当一个方法读取/迭代集合中的元素时，它是消费者，当它广告到集合时，它是生产者。