유형을 "null"로 지정하기 전에 유형을 제한해야합니까?

Question

trait Link[This] { 
    var next:This = null 
} 

는 "형식이 일치를, 발견 : 널 (NULL)이 필요합니다 :이"제공

을 그래서 아마도 내가이가 null 할당 할 수있는 형태가 될 것이라는 것을 유형 검사를 말할 필요가있다. 어떻게해야합니까?

Answer 1

null이 해당 유형에 유효한 값임을 컴파일러에 알리는 방법 인 This을 수퍼 클래스 Null으로 제한해야합니다. (사실, 생각 약 Any, AnyRef 및 AnyVal 만 문제를 muddles - 당신이 원하는 것을 위해 컴파일러를 물어!)

trait Link[This >: Null] { 
    var next:This = null 
} 

을하지만, 난 당신이 null을 사용하지 않는 것이 좋습니다 것입니다 당신은 Option[This]을 사용하고 영향을 미칠 수 None - 그런 구조는 패턴 매칭을 사용할 수있게하며,이 필드를 사용하는 클라이언트가 값을 갖지 않을 것으로 기대하는 매우 강력한 진술입니다.

trait Link[This] { 
    var next:Option[This] = None 
} 

Answer 2

trait Link { 
    var next:This = null 
} 

(내가 이런 질문을하기 전에 먼저 읽어해야 사이트가 있다면, 그것을. 나는 현재 스칼라에서 프로그래밍의 2 판의 프리 프레스를 통해 파트 방법이야 날 지점하시기 바랍니다)

이렇게하면됩니다. 유형으로 특성을 매개 변수화해야하는 특별한 이유가 있습니까?

Answer 3

처음 생각했는데 작동하지 않았습니다. 이유가 확실하지 않습니다. 악화가 최악에 관해서

trait Link[This <: AnyRef] { // Without the type bound, it's Any 
    var next: This = null 
} 

, 항상 캐스팅 : 당신이 다른 이유가 그것을 할 수도 있지만

캐스트와

trait Link[This <: AnyRef] { 
    var next: This = null.asInstanceOf[This] 
} 

, 당신은 더 이상 컴파일이 특성 행 유형을 필요가 없습니다 .