類型必須被限制爲什麼才能被賦值爲「null」？

Question

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

使「類型不匹配;實測值：空（NULL）要求：這個」

所以想必我需要告訴類型檢查，這將是可以賦值爲null類型。我該怎麼做呢？

（如果有一個網站，我應該先讀問這樣的問題之前，請點我吧。我目前通過第二版的程序的預印本在斯卡拉部分路）

Answer 1

您必須將This約束爲Null的超類 - 這是告訴編譯器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 
} 

這應該工作。是否有一個特定的原因，你想需要參數化類型的特質？

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] 
} 

跟投，你不再需要綁定此特徵編譯類型，雖然你可能希望它有其他原因。