scala - null で初期化されたパラメータ化された型の変数を宣言できないのはなぜですか?

Question

なぜこれが機能しないのですか？

trait testtrait[T] {
  var ob:T = null
}

次に、scalac testtrait.scala が生成します

testtrait.scala:2: error: type mismatch;
 found   : Null(null)
 required: T
  var ob:T = null
             ^
one error found

私はScala 2.9を使用しています

score 5 · Accepted Answer

正確な理由はわかりませんが、アンダースコアの概念 ( type のデフォルト値のショートカットで、 object の場合は null ) は正常に機能します。

trait testtrait[T] {
  var ob:T = _
}

より恐ろしい回避策がasInstanceOfキャストされますが、アンダースコアがより良い代替手段であることがわかりました。

trait testtrait[T] {
  var ob:T = null.asInstanceOf[T]
}

score 5 · Accepted Answer

nullは type の値ですが、どの型もサブタイプとして持っているNullわけではなく、 -派生のものだけです (もちろんを除く)。次のようなことをしたとします。NullAnyRefNothing

object SomeObj extends testtrait[Int]

何SomeObj.obに等しくなければなりませんか？であるため、可能な値としてIntはありません。null

他の回答で述べられているように、アンダースコア構文を使用してタイプのデフォルト値を設定する必要があります。

score 2 · Accepted Answer

全タイプの中で一番下のタイプはですNothing。これはT、他の制約を受けていない任意の型がである可能性がありNothing、でnullはないことを意味しますNothing(実際、値はありません)。

したがって、を代入できるようにするにはnull、それを記述する必要があります[T >: Null](TはのスーパータイプですNull)。

一方、を使用してデフォルト値に初期化できますvar ob: T = _。ただし、 for any はボックス化され、たとえば 0 の代わりに割り当てられることに注意してAnyValくださいT。nullこれにより、予期しない結果が生じる可能性があります。

3 に答える 3