在类型别名中使用上下文绑定

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)