上下文绑定有两个通用参数

Question

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

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

意思是:

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

如果我有一个包含两个通用参数的类怎么办？即我希望能够确保我有一个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东西叫做lambda型.有时他们非常方便(如果马车),但这肯定不是那个时代之一.使用显式隐式更好.