我试图定义一个通用容器,其元素可以返回封闭容器。就像是:
abstract class Container[E <: Element] { // compile error
def contains( e: E ): Boolean
def addNewElement(): Unit
}
abstract class Element[C <: Container] { // compile error
def enclosingContainer(): C
}
class MyContainer extends Container[MyElement] {
private var elements = List[MyElement]()
override def contains( elem: MyElement ) = elements.contains( elem )
override def addNewElement() { elements ::= new MyElement(this) }
}
class MyElement( container: MyContainer ) extends Element[MyContainer] {
override val enclosingContainer = container
}
但是该片段无法编译,因为我应该给一个类型参数Element
in the abstract class Container[E <: Element]
定义和类型Container
in the abstract class Element[C <: Container]
定义。
我有办法实现我正在寻找的行为吗?是否有适当的声明Container
and Element
?我应该定义第三方对象吗?
已经给出的其他解决方案无法强制类型匹配:也就是说,给定一个类型ContainerImpl extends Container
,你应该确定ContainerImpl.E.C
应该ContainerImpl
而不是其他容器。这是强制执行这一点的一个(改编自http://programming-scala.labs.oreilly.com/ch13.html):
abstract class ContainerWithElement {
type C <: Container
type E <: Element
trait Container {
self: C =>
def contains( e: E ): Boolean
def addNewElement(): Unit
}
trait Element {
self: E =>
def enclosingContainer(): C
}
}
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)