在類型別名中使用上下文綁定

Question

是否可以在Scala類型別名中使用上下文邊界？

e.g

type U = A : B 

Answer 1

沒有，因爲綁定的情況下實際上是一個額外的隱含參數的簡寫。

例如：

def sort[A : Ordering](xs: Seq[A]) 

爲

def sort[A](xs: Seq[A])(implicit ordering: Ordering[A]) 

的簡寫形式，這不能在類型定義來表示。

Answer 2

不必在類型聲明中直接綁定上下文，而必須有一個單獨的值聲明來表示JPP提到的隱式參數。

誰定義的類型也將提供綁定的語境證據：

trait Generic { 
    type U 
    implicit val ordering: Ordering[U] // evidence for U: Ordering 

    def max(u1: U, u2: U) = List(u1, u2).max 
} 

def concrete[T: Ordering] = new Generic { 
    type U = T 
    val ordering = implicitly[Ordering[T]] 
} 

assert(concrete[Int].max(1,3) == 3)