scala - 与えられた例で明示的に自己型を使用する必要があるのはなぜですか?

Question

このから Scala のスケーラブルなコンポーネントの背後にあるすべての概念を読んで取得しようとしていますが、この例に self 型が必要な理由をまだ完全には理解できません。

abstract class Graph {
  type Node <: NodeLike
    trait NodeLike {    // without self: Node => won't compile
      def connectWith(n: Node) =
    new Edge(this, n)
    }           
    class Edge(from: Node, to: Node)
}

抽象型Nodeは のサブタイプでNodeLikeあり 、指定された上位制約に従って適合するthis型のオブジェクトです。NodeLike詳細な説明をいただければ幸いです。

Answer 1

定義では

def connectWith(n: Node) = new Edge(this, n)

thisは typeNodeLikeを持っていますが、 のコンストラクタは、 のサブタイプであるtypeであるEdge必要があります。が必要なタイプの.fromNodeNodeLikethisNode