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

Question

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

例如

type U = A : B

Answer 1

您不必在類型聲明中直接綁定上下文，而是必須有一個單獨的值聲明，表示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)

Answer 2

不，因為上下文綁定實際上是額外隱式參數的簡寫。

例如：

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

是一種簡寫形式

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

這不能在類型定義中表示。