为什么在类型成员中使用traits在subtrait中给出“错误：类型不匹配”？

Question

我要定义一些特质，描述不同的树节点如下：

trait Node 

trait HasParent { 
    this: Node => 
    type P <: Node with HasChildren 

    def parent: P 
    def setParent(parent: P) 
} 

trait HasChildren { 
    this: Node => 

    def children: Seq[Node] 

    protected def add[T <: Node with HasParent](child: T) { 
     child.setParent(this) //  error: type mismatch; 
//  found : HasChildren with Node 
//  required: child.P 
//    child.setParent(this) 
    } 
} 

能否请你解释一下，为什么这个代码不编译？哪里不对？

Answer 1

在HasParent中定义的类型P是一种抽象类型。这意味着每个HasParent可以有另一种类型P，只要它满足（上）类型边界。

当你调用setParent上一些HasParent与T，你有没有保证this具有所需类型的特定HasParent的。

你确定你不想写：

type P = Node with HasChildren