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

发布时间：2020-12-16 18:58:40 所属栏目：安全来源：网络整理

导读：在 Scala中,我可以使用上下文边界： def sort[T : Ordered](t: Seq[T]) 意思是： def sort[T](t: Seq[T])(implicit def Ordered[T]) 如果我有一个包含两个通用参数的类怎么办？即我希望能够确保我有一个Writer [T,String].是否存在可以使用上下文边界(T：…)

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

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

意思是：

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

如果我有一个包含两个通用参数的类怎么办？即我希望能够确保我有一个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

({type L [x] = Writer [x,String]})#L的东西叫做type lambda.有时它们非常方便(如果是buggy),但这肯定不是那个时代之一.使用显式隐式更好.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!