上下文綁定有兩個通用參數

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 。 有時他們非常方便（如果馬車 ），但這肯定不是那個時代之一。 使用顯式隱式更好。