为什么正确的类型 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]是合法的。