具有两个通用参数的上下文边界

在 Scala 中，我可以使用上下文边界：

def sort[T : Ordered](t: Seq[T])

与以下意思相同：

def sort[T](t: Seq[T])(implicit def Ordered[T])

如果我有一个带有两个泛型参数的类怎么办？ IE。我希望能够确保我有一个Writer[T, String]。是否有一种语法可以使用上下文边界（T : ...）或者我是否需要显式地隐式（写起来很有趣）。

是的，这是可能的！但其实并不是很漂亮：

trait Writer[T, O] {
  def write(t: T): O
}

def writeToString[T: ({ type L[x] = Writer[x, String] })#L](t: T) =
  implicitly[Writer[T, String]].write(t)

implicit object intToStringWriter extends Writer[Int, String] {
  def write(t: Int) = t.toString
}

进而：

scala> writeToString(1)
res0: String = 1

The ({ type L[x] = Writer[x, String] })#L东西被称为拉姆达型 https://stackoverflow.com/q/8736164/334519。有时它们非常方便（如果），但这绝对不是那些时候。使用显式隐式会更好。