None-type 제약 조건으로 특성을 어떻게 전문화 할 수 있습니까?

Question

먼저 질문에 불분명 한 경우 사과 드리겠습니다. 나는 아직 스칼라 용어를 사용하지 않았기 때문에 아마도 용어를 모으고있을 것이다. 나는 나의 예가 더 분명 할 것이라고 생각한다.

그래프의 기본 정점 - 목록 부모 및 하위 목록을 가질 수있는 모든 개체를 설명하는 특성 Hierarchical을 만들려고합니다. 더 구체적으로

:

• 1) Hierarchical 또는 부모가있을 수도 있고 없을 수도 있습니다.

• 2) 만약 그렇다면, 부모는 Hierarchical입니다.

• 3) Hierarchical는 Hierarchical도 아이들을해야합니다.

여기 내 일반적인 특성이다 :

/* 
    Hierarchical takes two type parameters: Parent and Child. 
    These should be Hierarchicals with parameters Parent and Child as well. 
*/ 
trait Hierarchical[Parent <: Hierarchical[Parent, Child], 
        Child <: Hierarchical[Parent, Child]] { 

    // parents must be passed by constructor lest they are treated as None. 
    // (Requirement 1, 2) 
    val parents: Option[List[Hierarchical[Parent, Child]]] = None 

    // children can be added, so mutability needed (Requirement 3) 
    var children: List[Hierarchical[Parent, Child]] = List() 

    def addChild(child: Child) = children ++= List(child) 
} 

이에 대한 전문성은 부모가 존재하지 않습니다, 유형이 모두 지정해서는 안 "루트"정점이다 - thusly 히 , None입니다. 여기에 Hierarchical 특성을 전문으로 내 시도이다 :

/* 
    A RootHierarchical has no parents. It does, however, have 
    children whose parents are RootHierarchicals and whose children 
    are Child. 
    A parent can be none (Requirement 1) 
*/ 
trait RootHierarchical[Child <: Hierarchical[RootHierarchical, Child]] 
    extends Hierarchical[None.type, Child] { 
    override val parents = None 
} 

인 IntelliJ이 행복입니다,하지만 내가 쓴 테스트가 컴파일되지 않습니다

import org.scalatest.FlatSpec 

class TestHierarchy extends FlatSpec { 

    "A Hierarchical object" should "be constructable" in { 

    /* 
    Create a dummy 
    */ 
    class DummyHierarchical(override val parents: List[DummyParentHierarchical]) 
     extends Hierarchical[DummyParentHierarchical, DummyHierarchical] 

    class DummyParentHierarchical extends RootHierarchical[DummyHierarchical] 

    val dummyParent = new DummyParentHierarchical 
    val dummyChild = new DummyHierarchical(List(dummyParent)) 
    dummyParent.addChild(dummyChild) 

    assert(dummyParent.parents.isEmpty) 
    assert(dummyParent.children.nonEmpty) 
    } 
} 

을 오류가 여기에 있습니다 :

Error:(14, 11) type arguments [None.type,Child] do not conform to trait Hierarchical's type parameter bounds [Parent <: Hierarchical[Parent,Child],Child <: Hierarchical[Parent,Child]] 
    extends Hierarchical[None.type, Child] { 

내 질문은 이것입니다 : 어떻게이 전문화를 만들 수 있습니까? 나는 None.type이 Hierarchical 유형이 아니라는 것을 알고 있습니다. 어떻게 이것을 전문화 할 수 있습니까?

Answer 1

브레인 스토밍을 한 후에 부모 유형을 지정할 필요가 없음을 알았습니다. 임의의 계층 적 유형 일 수 있으며 기본값은 Nil입니다. 나는이 문제는 특성의 당신의 정의부터 생각 Ideone it