深入理解java中的null“類型”

更新時間：2018年01月31日 15:29:13 作者：明明如月小角落

這篇文章主要介紹了深入理解java中的null“類型”，分享了相關代碼示例，小編覺得還是挺不錯的，具有一定借鑒價值，需要的朋友可以參考下

本文研究的主要是java中的null“類型”的相關實例，具體介紹如下。

先給出一道簡單的null相關的題目，引發(fā)我們對null的探討,后面會根據(jù)官方語言手冊對null“類型”進行解讀。

題目：下面程序能正確運行嗎？

解析：

輸出應該為：haha

因為null 是可以強轉(zhuǎn)為任何類類型的，所以前面（（NULL）null）是合法的，但是null強轉(zhuǎn)以后是無效對象，其返回值為null,（后面會作解釋）

而haha方法是靜態(tài)方法，靜態(tài)方法使用靜態(tài)綁定，不會拋出空指針異常。

如果把haha()函數(shù)變?yōu)榉庆o態(tài)之后，將會拋出空指針異常。

再來一個例子：

這道題其實和上面是差不多的。

結(jié)果還是輸出“haha”

Java Language Specification中我們可以看到

在4.1. The Kinds of Types and Values一節(jié)中提到：

There are two kinds of types in the Java programming language: primitive types (§4.2) and reference types (§4.3). ”
Type:
PrimitiveType
ReferenceType
There is also aspecial null type, the type of the expression null (§3.10.7, §15.8.1), which has no name.
Because the null type has no name, it is impossible to declare a variable of the null type or to cast to the null type.
The null reference is the only possible value of an expression of null type.
The null reference can always undergo a widening reference conversion to any reference type.
In practice, the programmer can ignore the null type and just pretend that null is merely a special literal that can be of any reference type.

我給翻譯一下：

Java語言中有兩種類型，一種是基本類型，還有一種是引用類型。

還有一個特殊的null類型即表達式null的類型，它沒有名字。

因為null類型沒有名字，所以不可能聲明為null類型的變量或者轉(zhuǎn)換為null類型。

null引用是null類型表達式唯一可能的值。

null引用可以轉(zhuǎn)換為任意引用類型。

實際上，程序員可以忽略null類型，可以認為null僅僅是一個可以成為任何引用類型的特殊符號。

看了這個一段，就比較豁然開朗了。

在5.2. Assignment Conversion一節(jié)中：

“A value of the null type (the null reference is the only such value) may be assigned to any reference type, resulting in a null reference of that type”

一個null類型（null（空）引用是這種類型的唯一的一個值）的值，可以賦值給任意類型，將返回一個該類型對象的空引用(其實還是null)。

在5.3. Method Invocation Conversion這一節(jié)有：