Java泛型：Collections.max（）签名和Comparator

Question

我了解集合的获取和放置原理：如果某个方法接受一个集合，它将向其中写入类型T，则参数必须为Collection<? super T>；而如果它将从中读取类型T，则参数必须为Collection<? extends T>。

但是有人可以解释一下Collections.max()签名：

public static <T> T max(Collection<? extends T> coll,
                    Comparator<? super T> comp)

特别是为什么Comparator<? super T>而不是Comparator<? extends T>？

Answer 1

Josh Bloch的助记符 PECS 在这里很有用。它代表：

生产者extends，消费者super

这意味着，当一个参数化的类型被传递给的方法将 产生 的实例T（它们将从它以某种方式被检索），? extends T应该被使用，因为子类的任意实例T也是T。

当将参数化类型传递给方法时，将 使用的 实例T（它们将被传递给该方法以执行某些操作），? super T因为应将的实例T合法地传递给接受某些超类型的任何方法T。例如，Comparator<Number>可以在上使用Collection<Integer>。? extends T将无法正常工作，因为Comparator<Integer>不能对进行操作Collection<Number>。

编辑： 要澄清更多关于获取/放置（生产/消费）：

public T something();
       ^

以上是产生的方法T。

public void something(T t);
                      ^

上面是消耗的方法T。

“生产者extends，消费者super”适用于如何将参数化对象传递给该对象的方法。对于Collections.max()，将从中检索项目Collection，因此它是生产者。这些项目将作为参数传递给on上的方法Comparator，因此它是使用者。