java - 关于 PECS java 泛型

Question

阅读 Java Essentials，第 2 版，有一个称为 PECS 的规则用于方法参数中的类型安全。如果它产生你扩展，消耗你使用 super 。对不起，如果我定义错误，因为我不明白。

谁能阐明 Joshua Bloch 所说的生产者/消费者？

Answer 1

查看此 pdf其中有一系列幻灯片(搜索 PECS):

泛型是不变的

• 即List<String>不是 List<Object> 的子类型
• 有利于编译时类型安全，但不够灵活

有界通配符类型提供额外的 API 灵 active

• List<String>是 List<? extends Object> 的子类型
• List<Object>是 List<? super String> 的子类型

所以

PECS — 生产者扩展，消费者 super

• 使用Foo<? extends T>对于 T制作人
• 使用Foo<? super T>对于 T消费者

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

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

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

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