为什么null被称为“每个引用类型的子类型”？

Question

伙计们，可以在任何一个给我this book遇到短语的合乎逻辑的解释：

您可能会发现它有助于想到? extends T为包含在间隔每一种类型的下面和null类型北临T以上（其中null的类型是每个参考类型的子类型）。

谢谢。

Answer 1

我认为这只是意味着您可以将空引用分配给任何引用类型。这并不意味着我是一个非常有帮助的思考方式。

Java语言规范有这样说的空类型（section 4.1）：

还有一个特殊的空类型， 型表达空，其中有 没有名字的。由于空类型没有 名称，因此无法声明空类型的 变量或将 转换为空类型。空引用 是空类型的 表达式的唯一可能值。无效 引用可以始终转换为任何 引用类型。在实践中，程序员可以忽略空类型 ，只是假装null仅仅是一个 特殊字面值，它可以是任何 引用类型。

Answer 2

这意味着null可以是任何类型。

您可能有一个类Animal与Dog的子类。 如果您有一个类型为Animal的变量，其值为null您不能确定null是Animal类型还是Dog类型。两者同样有效。

Answer 3

null instanceof T 

为任何类型T

Answer 4

类型形成一个偏序，在程序集合中的所有类型的，即任何两种属实，有可能是他们之间的关系（即T1 < T2 - 某种意义上T2是T1的一个子类型）。不相关的类层次结构中的事物没有定义这样的关系。

所以基本上这是告诉你的是? extends T描述的这组类型的所有成员都小于T并且大于null。 null作为所有东西的子类型存在，因为将值null分配给引用总是有效的。

更正式地说：

∀x ∈ ? extends T. null ≥ x ≥ T 

Answer 5

从this interesting article，摘录：

Java有null类型。预JLS3，所述 null类型是没有正式的任何类型的 亚型，和空 参考不是正式的任何类型的除空类型的值 。一个 法令作出的空引用 强制转换为任何引用类型 实际的理由。 （这类似于 使得列表 分配给即使名单是不是 亚型列表。你知道 法令为捕获转换。列表形式 参数法令）JLS3 空类型定义为一种亚型每种类型都有 ，所以它看起来像Bottom一样非常多 。