簽名分類方法的

Question

我不明白SeqLike特質中的sorted方法的簽名目的：

def sorted[B >: A](implicit ord: Ordering[B]): Repr 

更精確，我不明白：

1. 原因B>:A
2. Repr是什麼意思？

也許你可以對此有所瞭解。

在此先感謝您的回答！

Answer 1

1. 該方法採用隱式Ordering應該能夠處理一些超的A（因此B >: A）。即您應該可以使用Ordering[AnyVal]來比較Int值（因爲AnyVal是超類型Int）。
2. Repr是描述爲「包含元素的實際集合的類型」的SeqLike特徵本身的類型參數（SeqLike[+A, +Repr]）。這是爲了確保像sorted這樣的方法將返回相同類型的集合（例如List.sorted仍然是List）。

Answer 2

[B >: A]意味着sorted可以與B，任何順序，其中B是A

的超類型被稱爲我想A是性狀本身的類型參數，即

SeqLike被定義爲SeqLike[A, This]。詳盡，如SeqLike[A, +This <: SeqLike[A, This] with Seq[A]]。 This <: SeqLike[A, This]是F-界限多態性。

trait A[T <: A[T]] {} // the type parameter to A must be an A 
class C extends A[C] {} // this is how you use it. 

的actual return type of SeqLike.sorted是This。

這很有用，因爲這使得SeqLike的方法不僅可以返回SeqLike，還可以返回子類型！

回過頭來看看這個簡單爲例較早...

trait Model[T <: Model[T]] { 
    def find(id: Int): T = ... 
} 
class User extends Model[User] 
val model: User = new User().find(3) # no need to cast. 

Answer 3

下面是一個簡單的解釋，爲什麼B >: A：

讓我們考慮這個類（不編譯）：

class C[+T] { 
    def m(x: T): T = x 
} 

+T意味着協變，即C[Any]是例如超C[Int]。現在（"123"是String，所以它也Any）：

val cInt: C[Any] = new C[Int] 
cInt.m("123") // ??? We are supposed to return Int here 

在現實：

class C[+T] { 
    def m[A >: T](x: A): A = x 
} 

左右（編譯器推斷A爲Any和String這裏最近的共同祖先，這是Any）

val cInt: C[Any] = new C[Int] 
cInt.m("123") // Any = 123 

SeqLike的定義：trait SeqLike[+A, +Repr]，note +A