深入理解java中的null“類(lèi)型”

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

這篇文章主要介紹了深入理解java中的null“類(lèi)型”，分享了相關(guān)代碼示例，小編覺(jué)得還是挺不錯(cuò)的，具有一定借鑒價(jià)值，需要的朋友可以參考下

本文研究的主要是java中的null“類(lèi)型”的相關(guān)實(shí)例，具體介紹如下。

先給出一道簡(jiǎn)單的null相關(guān)的題目，引發(fā)我們對(duì)null的探討,后面會(huì)根據(jù)官方語(yǔ)言手冊(cè)對(duì)null“類(lèi)型”進(jìn)行解讀。

題目：下面程序能正確運(yùn)行嗎？

解析：

輸出應(yīng)該為：haha

因?yàn)閚ull 是可以強(qiáng)轉(zhuǎn)為任何類(lèi)類(lèi)型的，所以前面（（NULL）null）是合法的，但是null強(qiáng)轉(zhuǎn)以后是無(wú)效對(duì)象，其返回值為null,（后面會(huì)作解釋?zhuān)?/p>

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

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

再來(lái)一個(gè)例子：

這道題其實(shí)和上面是差不多的。

結(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語(yǔ)言中有兩種類(lèi)型，一種是基本類(lèi)型，還有一種是引用類(lèi)型。

還有一個(gè)特殊的null類(lèi)型即表達(dá)式null的類(lèi)型，它沒(méi)有名字。

因?yàn)閚ull類(lèi)型沒(méi)有名字，所以不可能聲明為null類(lèi)型的變量或者轉(zhuǎn)換為null類(lèi)型。

null引用是null類(lèi)型表達(dá)式唯一可能的值。

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

實(shí)際上，程序員可以忽略null類(lèi)型，可以認(rèn)為null僅僅是一個(gè)可以成為任何引用類(lèi)型的特殊符號(hào)。

看了這個(gè)一段，就比較豁然開(kāi)朗了。

在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”

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

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