型に "null"を割り当てる前に、型を制約する必要はありますか？

Question

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

は、「型の不一致を、見つけ：NULL（ヌル）が必要：この」与え

をので、おそらく私は、これはnullを割り当てることができるタイプであることを行っていることを型チェッカーを伝える必要があります。これはどうすればいいですか？

（私はこのような質問をする前に最初に読むべきサイトがあれば、それで私を指すしてください。私は現在、スカラ座でのプログラミングの第2版のプレプリントによる途中だ）

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

をキャストすると、あなたはもはや、コンパイルするには、この特性のためにバインドタイプを必要とするが、 。