Scala中的逆变问题

发布时间：2020-12-16 19:21:30 所属栏目：安全来源：网络整理

导读：我想定义一个这样的类型类： trait CanFold[-T,R] { def sum(acc: R,elem: T): R def zero: R}implicit object CanFoldInts extends CanFold[Int,Int] { def sum(x: Int,y: Int) = x + y def zero = 0}implicit object CanFoldSeqs extends CanFold[Traversa

我想定义一个这样的类型类：

trait CanFold[-T,R] {
  def sum(acc: R,elem: T): R
  def zero: R
}

implicit object CanFoldInts extends CanFold[Int,Int] {
  def sum(x: Int,y: Int) = x + y
  def zero = 0
}

implicit object CanFoldSeqs extends CanFold[Traversable[_],Traversable[_]] {
  def sum(x: Traversable[_],y: Traversable[_]) = x ++ y
  def zero = Traversable()
}

def sum[A,B](list: Traversable[A])(implicit adder: CanFold[A,B]): B = 
  list.foldLeft(adder.zero)((acc,e) => adder.sum(acc,e))

然而,问题是,当我这样做时,我得到一个Traversable [Any]和它
很高兴获得Traversable [Int]：

scala> sum(List(1,2,3) :: List(4,5) :: Nil)
 res10: Traversable[Any] = List(1,3,4,5)

更糟糕的是,我无法定义隐含的
在为Traversable [_]定义一个之后可遍历[Int],因为那样
这些定义会引起歧义.拉出我的头发后我
放弃.

有什么方法可以让这笔钱归来
Traversable [T]而不是Traversable [Any]？

看看如何在Scala库中的Seq上定义sum(),我可以看到它与Numeric一起使用,它是不变的,但是我想要超类型的默认实现,并且结果与输入不同(与fold操作相同)是不错.

解决方法

我知道将类型参数添加到此类型类的唯一方法是使用def而不是对象：

implicit def CanFoldSeqs[A] = new CanFold[Traversable[A],Traversable[A]] {
  def sum(x: Traversable[A],y: Traversable[A]) = x ++ y
  def zero = Traversable()
}

scala> sum(List(1,5) :: Nil)
res0: Traversable[Int] = List(1,5)

（编辑：李大同）

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