爲什麼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一樣非常多 。