翻译从Java泛型通配符斯卡拉

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) 

---

我在想一个woulds如何转化与博这样的方法签名没有通配符的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。

类型不匹配;找到：java.util.ArrayList [Number] required：java.util.List [Object]注意：数字<：对象，但Java定义的特征列表在E中不变。您可能希望研究通配符类型，例如_ <: Object 。 （SLS 3.2.10）

事实上，我发现甚至不可能直接调用唯一的Java方法，因为它失败时会出现相同类型的错误。

Collections.sort[Object](list, comparator) 

---

至于相媲美列表框中的版本，我想出了这个声明：

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

但是，这并不在所有的工作：

非法循环引用涉及类型T

---

我在做什么错？斯卡拉变种泛型遵循不同规则的Java？如何在不实际发生编译错误的情况下调用一个调用Collections.sort方法？

旁注：

不，我真的不问我怎么能进行排序Scala中的一个列表。我知道Scala拥有自己的一套集合，排序函数和用于比较对象的不同方法（如Ordered和Ordering特征）。我的问题涉及泛型方法的一般问题以及从Java到Scala的泛型翻译。

Answer 1

你给了错误的类型参数T：您排序List[Number]，而不是一个List[Object]：

sort[Number](list, comparator) 

会工作。

如果要排序调用无类型参数，你需要定义两个参数列表（因为类型推断Scala中是如何工作的）：

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

// Then 
sort(list)(comparator) 

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

关于相媲美的版本，你必须明确地写通配符：

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