单一类型的性状中的双向链接

Question

我试图创建一个特征，该特征实现带有双向链接的树，以便当节点添加父节点时，该节点将添加到父节点的子节点中。 我在下面得到的错误是：

类型不匹配; 找到所需的：PolyTree.this.type（具有基础类型PolyTree [T]）：T

任何知道为什么此代码出错的信息以及使该代码起作用所需的条件：

trait PolyTree[T <: PolyTree[T]]  { 


    private val _parents: ListBuffer[T] = ListBuffer() 
    private val _children: ListBuffer[T] = ListBuffer() 


    def addParent(parent: T): PolyTree[T] = { 

        if (parent == this) 
            throw new IllegalArgumentException(); 

        _parents += parent 

        parent._children += this // Error 

        this 
    } 

}

Answer 1

发生错误是因为'parent._children'的类型为'T'，而'this'的类型为'PolyTree [T]'，这是Scala中的不同类型。

您可以通过在特征的顶部插入以下自类型注释来修复错误：

self: T =>

这是必需的，因为如果没有它，以下内容将是有效的代码：

class TreeOne extends PolyTree[TreeOne]
class TreeTwo extends PolyTree[TreeOne]

因为TreeOne满足T <：PolyTree [T]的条件，所以允许TreeTwo使用TreeOne作为类型参数。 但是，一旦添加了自类型注释，Scala实际上会在编译时尝试将TreeTwo中的self /'this'强制转换为'T'（TreeOne），发现它不是类型安全的，并拒绝声明出现错误的TreeTwo：

error: illegal inheritance
self-type TreeB does not conform to PolyTree[TreeA]'s selftype TreeA'

我不是最擅长理解或解释这些内容的人，但是您可以从第12章获得更多的知识。O'Reilly的“ Programming Scala”中的Scala类型系统 。