将通用通配符从Java转换为Scala

Question

在java.util.Collections类中，我们有两种sort方法的变体，一种是使用相应的Comparator获取任意对象的列表：

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

并且获取可Comparable对象列表：

public static <T extends Comparable<? super T>> void sort(List<T> list)

---

我在想如何用有界通配符将这种方法签名翻译成Scala。 对于第一个版本，我从字面上翻译了签名，一眼就没有编译问题：

def sort[T](list: List[T], comparator: Comparator[_ >: T]) { ??? }

但后来我发现我无法使用以下参数调用此方法：

val comparator = new Comparator[Object] {
    def compare(o1: Object, o2: Object) = ???
}
val list = new ArrayList[Number]
sort[Object](list, comparator)

最后一行给出了这个编译错误，即使我明确地将类型T指定为Object 。

类型不匹配; found：java.util.ArrayList [Number] required：java.util.List [Object]注意：Number <：Object，但Java定义的特征List在类型E中是不变的。您可能希望调查通配符类型，例如_ <: Object 。 （SLS 3.2.10）

实际上，我发现甚至不可能直接调用唯一的Java方法，因为它失败并且具有相同类型的错误。

Collections.sort[Object](list, comparator)

---

至于具有可比列表的版本，我想出了这个声明：

def sort[T <: Comparable[_ >: T]](list: List[T]) { ??? }

但这根本不起作用：

涉及T类的非法循环引用

---

我究竟做错了什么？ Scala变体泛型是否遵循Java规则的不同规则？ 如何调用一个调用Collections.sort方法而不实际得到编译错误？

边注：

不，我真的不知道如何在Scala中对列表进行排序。 我知道Scala有自己的一组集合，排序函数和一种比较对象的不同方法（例如Ordered和Ordering traits）。 我的问题涉及泛型方法的一般问题以及从Java到Scala的泛型的翻译。

Answer 1

您为T提供了错误的类型参数：您对List[Number]排序，而不是List[Object] ：

sort[Number](list, comparator)

将工作。

如果要在没有类型参数的情况下调用sort，则需要定义两个参数列表（因为类型推断在Scala中的工作方式）：

def sort[T](list: List[T])(comparator: Comparator[_ >: T]) { ??? }

// Then
sort(list)(comparator)

您可能需要考虑使用对协方差有适当支持的Scala类型（即在Scala中， List[Number]是List[Object] ）。

关于具有可比性的版本，您必须显式编写通配符：

def sort[T <: Comparable[T], U <: T](list: List[U]) { ??? }

Answer 2

您可以使用以下命令调用Java变体（或您的变体）：

Collections.sort[Number](list, comparator)

这里的问题是因为Java泛型类型是不变的。 换句话说，这在Java中失败了：

List<Number> l1;
List<Integer> l2 = l1; //contravariance fails
List<Object> l3 = l1; //covariance fails

在Scala中，泛型类型参数可以在声明中声明为协变或逆变。 Scala的List类型参数被声明为协变（这是有效的，因为它是不可变的）。 换句话说，这是有效的：

val l1: List[Number] = ???
val l2: List[Object] = l1 //valid

但是因为你使用Java的java.util.List不是一个选项。