为什么可比和比较器在Java中是PECS通配符类型的使用者？

Question

在有效Java中，在“使用有界通配符以增加API灵活性”项目中，在谈到PECS (生产者-扩展，消费者-超级)的使用时，作者提到：

可比较性始终是使用者，所以通常应该使用Comparable<吗？超级T>优先于可比。比较器也是如此；因此，您通常应该使用Comparator<吗？超级T>优先于比较器。

我不清楚为什么比较器和比较器被认为是消费者。

在讨论PECS ( What is PECS (Producer Extends Consumer Super)? )的主题中，使用者通常将集合作为某些泛型方法的参数。

而这里的可比只是一个接口。

有谁能分享一些见解吗？谢谢!

Answer 1

可以对Consumer和Supplier接口进行一个很好的类推( Supplier类似于生产者)。Consumer<T>是接收T的函数，而Supplier<T>是返回T的函数。注意，我们讨论的是方法签名和返回类型，我们对方法的语义只字未提。这是PECS的一个核心属性:它独立于语义，完全可以根据所使用方法的签名和返回类型来确定。

看看Comparable和Comparator，我们发现这两种方法(int compareTo(T)和int compare(T, T))都可以接受，即消耗，T's。

对于集合，我们必须查看如何使用集合，即如果我们使用生产者--或使用者--方法：

如果我们从集合中检索数据( ? extends T.

• If，迭代器，.)，列表为我们生成值，我们使用它来存储数据，(即我们调用add(T)、addAll(Collection<T>)、contains(T)、.)，我们调用消费方法，因此该方法是数据的使用者E 226，我们使用? super T.

• If存储和检索值，集合同时充当使用者和生产者，因此我们必须使用精确的T，既不使用... extends ...也不使用... extends ...。

Answer 2

“…我不清楚为什么可比较和比较器被认为是消费者。…“

每当泛型类C<T>的方法成员接受(即“消费”) T类型的参数时，该方法就是T__s的使用者。

因此，被认为是由类型变量T表示的类型的o对象的“使用者”。

Answer 3

当我们说"Comparable是消费者“时，我们实际上指的是”接口方法是消费者“。这是对"Comparable只是一个接口“这一疑问的回答。

见其签名：https://docs.oracle.com/en/java/javase/14/docs/api/java.base/java/lang/Comparable.html#compareTo(T)

int compareTo​(T o)

它使用泛型T，不生成任何泛型对象。