Scala loại hạn chế không cho phép null

Question

Tôi có đoạn code Scala sau:

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

Mã _x = null được đánh dấu như lỗi:

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

Nếu tôi thêm loại Null công trình hạn chế tất cả mọi thứ khỏe. Tại sao điều này xảy ra? Scala định nghĩa AnyRef là tương đương với java.lang.Object, tất nhiên là nullable.

Answer 1

Thay vì

var _x : T1 = null 

sử dụng

var _x : T1 = _ 

Giải thích từ 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

Chỉ cần cho đầy đủ, sử dụng null trong Scala là một chút nản lòng. Bạn thường quấn biến của bạn trong một tùy chọn miễn là bạn không có một lý do chính đáng để sử dụng null. Xem Option để biết thêm chi tiết.

Answer 3

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

Nếu bạn muốn nó được nullable, thay thế T1 <: AnyRef với T1 >: Null.

Why this happens?

Nothing là một subtype của AnyRef, và Nothing không nullable.

Answer 4

Nếu bạn muốn thực thi mà các tham số chung phải nullable, sau đó bạn có thể đặt thấp hơn ràng buộc với loại Null:

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