制作一个 Comparator 对象来对通用 List使用 Collections.sort()

Question

我正在尝试为实现 MyInterface 的任何类的对象列表实现通用排序实用方法。每个 Java API (http://java.sun. com/javase/6/docs/api/java/util/Collections.html)，Collections.sort() 方法签名是：

public static <T> void sort(List<T> list, Comparator<? super T> c)

我不确定带有通配符参数的 List 是否可以替换“普通”参数化 List ，但我尝试了：

static void mySort(List<? extends MyInterface> myList, SortCriteria mySortCriteria) {
    Collections.sort(myList, new Comparator<? super MyInterface>() {
        ...
    });
}

并得到了编译时错误，

The type new Comparator(){} cannot extend or implement Comparator<? super MyInterface>
A supertype may not specify any wildcard.

所以，我将其更改为：

static void mySort(List<? extends MyInterface> myList, SortCriteria mySortCriteria) {
    Collections.sort(myList, new Comparator<MyInterface>() {
        ...
    });
}

并且它可以编译并运行。有什么好的解释吗？

Answer 1

您在这里使用了逆变。

基本上，您需要有一个可以比较列表中任意两个项目的比较器。如果列表的类型为 T，则意味着它必须能够比较 T 类型的任何两个项目 - 但如果它可以比较某种类型 X 的任何两个项目，其中 T 是 X 的子类X，那也没关系。

举个我最喜欢的例子，如果您有一个可以按面积比较任意两个形状的比较器，那么您显然可以使用它来比较任意两个三角形 - 因此可以使用以下命令对 List 进行排序一个AreaShapeComparator。

我不确定你在最后一段中所说的“当我尝试时”是什么意思……如果你能给出一个简短但完整的例子，但它不起作用，我们可以尝试解释原因。

编辑：好的，你不能使用 吗？扩展 X 还是 ？在 new 表达式中扩展 Y - 您只能将它们用作方法、类型或变量声明的一部分。当您构造一个新对象时，您需要指定确切的类型。

Answer 2

我不明白此约束对比较器的影响

该约束表示比较器必须至少能够比较 List 的泛型类型、或其超类型 。例如，使用 Comaparator 对 List 进行排序是有效的。如果Comparator能够比较Number，那么它当然也能够比较Integer。