运维开发网

scala – 特征继承的依赖性

运维开发网 https://www.qedev.com 2020-07-12 21:04 出处:网络 作者:运维开发网整理
在 Scala中,我如何将容器特征(如Traversable [Content])添加到另一个扩展容器的容器(因此其内容的可见性有限? 例如,下面的代码试图为需要Traversable的容器定义特征WithIter(当然,我实际上在Container中有其他东西). import scala.collection._ trait Container { type Value } trait
在 Scala中,我如何将容器特征(如Traversable [Content])添加到另一个扩展容器的容器(因此其内容的可见性有限?

例如,下面的代码试图为需要Traversable的容器定义特征WithIter(当然,我实际上在Container中有其他东西).

import scala.collection._

trait Container {
  type Value
}

trait WithIter extends Container with immutable.Traversable[Container#Value]

class Instance extends WithIter {
  type Value = Int
  def foreach[U](f : (Value) => (U)) : Unit = {}
}

编译器(scalac 2.8.0.Beta1-RC8)发现错误:

error: class Instance needs to be abstract, since method foreach in trait GenericTraversableTemplate of type [U](f: (Container#Value) => U)Unit is not defined

有什么简单的方法吗?

class Instance extends WithIter {
  type Value = Int
  def foreach[U](f : (Container#Value) => (U)) : Unit = {}
}

如果你在谈到内部类时没有指定OuterClass#,那么这个. (即,特定于实例)将被假定.

0

精彩评论

暂无评论...
验证码 换一张
取 消