scala - 具有两个通用参数的上下文范围

Question

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

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

意思是:

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

如果我有一个带有两个通用参数的类，该怎么办？ IE。我希望能够确保我有一个 Writer[T, String]。有没有可以使用上下文范围( T : ...)的语法，还是我需要显式地包含隐式的(写起来很有趣)。

Answer 1

是的，有可能!但不是很漂亮:

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

({ type L[x] = Writer[x, String] })#L的事物称为 type lambda。有时它们非常方便(如果是 buggy)，但这绝对不是那种情况。使用显式隐式更好。