排序就地陣列，斯卡拉

Question

我嘗試這樣做：

implicit class ArrayExtensions[A](a: Array[A]) { 
    /** 
    * Sort a slice [from, until) of this array 
    */ 
    def sort(from: Int, until: Int)(implicit cmp: Ordering[A]) = java.util.Arrays.sort(a, from, until, cmp) 
} 

但是，我認爲我打a bug in the compiler：

[error] found : Array[A] 
[error] required: Array[? with Object] 
[error] Note: A >: ? with Object, but class Array is invariant in type T. 
[error] You may wish to investigate a wildcard type such as `_ >: ? with Object`. (SLS 3.2.10) 
[error]  def sort(from: Int, until: Int)(implicit cmp: Ordering[A]) = java.util.Arrays.sort(a, from, until, cmp) 

如何解決這個問題？

Answer 1

所以，至今我身邊做此得到：

a.slice(from, until).sorted.copyToArray(a, from) 

但是，因爲它需要兩個額外的遍歷這是不理想的。

Answer 2

問題的答案就在你引用的bug中：「Java通用數組不能用於Scala值類型」。正如該錯誤所述，真正的問題是錯誤消息不是太有用。問題是你對A的類型沒有限制，但並不是所有的Scala類型都可以用作Java泛型類型參數，只有引用類型可以。試試這個：

implicit class ArrayExtensions[A <: AnyRef](a: Array[A]) { 
    /** 
    * Sort a slice [from, until) of this array 
    */ 
    def sort(from: Int, until: Int)(implicit cmp: Ordering[A]) = java.util.Arrays.sort(a, from, until, cmp) 
} 

AnyRef對應的Java Object，而Any包括Scala的類型不是Java對象（如Int）。