>：Null <：在Scala中是什麼意思？

Question

我搜索了很多，但我沒有找到任何東西，在斯卡拉這種type declaration的含義是什麼？

type Ident >: Null <: AnyRef 

Answer 1

關鍵字type用於類型別名聲明，就像val和def用於值和方法聲明。在這種情況下，它是一個帶約束的抽象類型別名，所以它是一些trait或class的類型成員 - 本地作用域中的類型別名不能是抽象的，也不能有約束。

類型Ident是AnyRef和超類型Null的子類型。

AnyRef

AnyRef是所有引用類型的祖先，各類除了Int，Long，Char等（Java原始）。

空

Null是所有 「可空」 類型的子類型。實際上它是所有參考類型的一個子類型。

因爲所有AnyRef都是可以爲空的，所以>: Null的唯一附加約束是Ident不是Nothing。

見Scala’s type hierarchy：

Answer 2

在你的情況Null是Ident和AnyRef是它的超類型的子類型。在沒有這個邊界的所有類型的常見的亞型是Nothing，但您可以指定它是Null，用的是所有對象的亞型時，沒有什麼是一切的一種亞型（包括的int，long等）

之類的東西類型系統中使用空和無，基本上是類型（Contra/Co）方差。例如：

sealed trait Container[+A >: Null <: AnyRef] 
case class Full[A >: Null <: AnyRef](value: A) extends Container[A] 
case object Empty extends Container[Null] 

這個編譯器完美

val c: Container[String] = Full("String") 
val e: Container[String] = Empty 

但失敗了，因爲我們的下限是零和上是AnyRef：

val ff: Container[Int] = Full(10) 
val f: Container[Int] = Empty 

我們不能把Int這裏怎麼一回事，因爲這類型違反約束條件

Answer 3

要添加到@塞尼亞的回答是：這不是一個類型聲明，這是一個抽象類型成員聲明，在上下文中找到喜歡

trait Foo { // or perhaps class 
    type Ident >: Null <: AnyRef 
} 

並且意味着Foo的任何具體實現必須定義某種類型爲Ident，這種類型必須滿足@ senia的答案中描述的限制。