為什么正確的類型 Any 和 Nothing 適合類型構造函數形狀 F[_] 當它們是不同的類型時？

Question

考慮以下采用* -> *類型參數的方法

def g[F[_]] = ???

為什么以下不是語法錯誤

g[Any]       // ok
g[Nothing]   // ok

自從

scala> :kind -v Any
Any's kind is A
*
This is a proper type.

scala> :kind -v Nothing
Nothing's kind is A
*
This is a proper type.

所以Any和Nothing應該是錯誤的形狀？

Answer 1

引自 Scala 規格：

對於每個類型構造函數 （帶有任意數量的類型參數）， scala.Nothing <: <: scala.Any 。

假設類型參數的下限為1,…,上限1,…, 。 如果每個實際類型參數都符合其邊界，則參數化類型是格式良好的，即<:<: where 是替換[1:=1,…,:=] 。

多態方法類型在內部表示為[tps]其中[tps]是類型參數部分[1 >: 1 <: 1,…, >: <: ]對於某些≥0和是（值或方法）類型。 此類型表示采用 arguments 1,…,它符合下限1,…,和上限1,…,並產生類型的結果 .

因此，由於Any和Nothing符合F[_]的上限和下限（即Any和Nothing對應）， g[Any]和g[Nothing]是合法的。