Scala Typ Einschränkungen erlauben nicht null

Question

Ich habe folgenden Scala Code:

class X[T1 <: AnyRef] { 
    var _x : T1 = null 
} 

Der Code _x = null wird als Fehler markiert:

error: type mismatch; 
found : Null(null) 
required: T1 
var _x : T1 = null : T1 

Wenn ich Null Typeinschränkung alles funktioniert hinzufügen fein. Warum passiert das? Scala definiert AnyRef als Äquivalent von java.lang.Object, das natürlich nullfähig ist.

Answer 1

Statt

var _x : T1 = null 

Verwendung

var _x : T1 = _ 

Erklärung von der Scala Language Specification:

A variable definition var x: T = _ can appear only as a member of a template. It introduces a mutable field with type T and a default initial value. The default value depends on the type T as follows:

0 if T is Int or one of its subrange types,
0L if T is Long,
0.0f if T is Float,
0.0d if T is Double,
false if T is Boolean,
() if T is Unit,
null for all other types T.

Answer 2

Nur der Vollständigkeit halber, mit null in Scala ist ein bisschen entmutigt. Normalerweise wird Ihre Variable in eine Option eingeschlossen, solange Sie keinen guten Grund haben, null zu verwenden. Weitere Details finden Sie unter Option.

Answer 3

class X[T1 <: AnyRef] { 
    var _x : T1 = null 
} 

Wenn Sie es auf NULL festlegbare, ersetzen T1 <: AnyRef mit T1 >: Null sein.

Why this happens?

Nothing ist ein Subtyp von AnyRef und Nothing NULL ist nicht zulässig.

Answer 4

Wenn Sie erzwingen möchten, dass der generische Parameter nullable sein muss, dann können Sie eine Set-Untergrenze in den Null-Typ:

class X[T1 >: Null] { 
    var _x : T1 = null 
}