java - 什么是PECS(生产者扩展了 super 消费者)？

Question

在阅读泛型时，我遇到了PECS（生产者extends和消费者super的缩写）。

有人可以向我解释如何使用PECS解决extends和super之间的混淆吗？

Answer 1

tl; dr：“ PECS”是从集合的角度来看的。如果您仅从通用集合中提取项目，则它是生产者，应使用extends;如果您仅将物品塞入其中，则它是使用者，应使用super。如果两个都使用同一个集合，则不应使用extends或super。



假设您有一个方法以事物的集合为参数，但是您希望它比仅接受Collection<Thing>更灵活。

情况1：您想浏览集合并为每个项目做事。
然后列表是生产者，因此您应该使用Collection<? extends Thing>。

原因是Collection<? extends Thing>可以包含Thing的任何子类型，因此当您执行操作时，每个元素都将表现为Thing。 （实际上，您无法向Collection<? extends Thing>添加任何内容，因为您无法在运行时知道该集合包含哪种Thing特定子类型。）

情况2：您想向集合中添加东西。
然后列表是使用者，因此您应该使用Collection<? super Thing>。

这里的理由是，与Collection<? extends Thing>不同，无论实际的参数化类型是什么，Collection<? super Thing>始终可以容纳Thing。在这里，您不必关心列表中已经存在的内容，只要它允许添加Thing即可。这就是? super Thing的保证。