>の意味は？：Null <：in Scala？

Question

私は多くを検索しましたが、何も見つかりませんでした。このタイプの意味はScalaのtype declarationとは何ですか？あなたのケースNullに

type Ident >: Null <: AnyRef 

Answer 1

キーワードtype型エイリアス宣言のためのもので、ちょうどvalとdefは値とメソッドの宣言のためのものです。この場合、それは制約付きの抽象型エイリアスなので、タイプメンバであるtraitまたはclass - ローカルスコープ内の型エイリアスは抽象的ではなく、制約を持つことはできません。

タイプIdentは、サブタイプがAnyRefで、スーパータイプがNullです。

AnyRef

AnyRefは、（Javaのプリミティブ）にInt、Long、Charなどを除くすべてのタイプのすべての参照型の祖先です。

ヌル

Nullは全て "NULL可能" タイプのサブタイプです。実際、それはすべての参照型のサブタイプです。

AnyRefはすべてヌル入力可能なため、>: Nullからの唯一の追加制約は、IdentはNothingではありません。

はScala’s type hierarchyを参照してください：

Answer 2

IdentとAnyRefのサブタイプは、そのスーパータイプです。この境界がない場合、すべてのタイプの共通サブタイプはNothingですが、Nullと指定します.Nothingはすべてのサブタイプ（Int、Longなどを含む）のサブタイプです。

タイプシステムでは、NullとNothingは基本的にタイプ（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 

しかし、私たちが下限nullで、上位AnyRefであるため、これは、失敗します。

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

私たちは、このbeacuseここIntを置くことができませんタイプが制約を破る

Answer 3

の@セニアの答えに追加するには：これは、タイプ宣言ではありません、これは

のような文脈で見 抽象型メンバー宣言であり、

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

の具体的な実装では、FooのいずれかのタイプをIdentであり、このタイプは@ seniaの答えに記述されている制約を満たさなければなりません。