本文研究的主要是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é)有：

“A value of the null type (the null reference is the only such value) may be converted to any reference type.”

即“null可以被轉(zhuǎn)換為任何引用類(lèi)型?！?/p>

通過(guò)官方的語(yǔ)言手冊(cè)，對(duì)null類(lèi)型有了非常深刻的理解。

對(duì)我們編程以及以后求職筆試面試都有一定的幫助。

最后希望大家遇到一些奇怪的問(wèn)題，除了百度外，盡量多去Stack Overflow網(wǎng)站上去搜索，也多去查官方手冊(cè)。

總結(jié)

以上就是本文關(guān)于深入理解java中的null“類(lèi)型”的全部?jī)?nèi)容，希望對(duì)大家有所幫助。感興趣的朋友可以繼續(xù)參閱本站其他相關(guān)專(zhuān)題，如有不足之處，歡迎留言指出。感謝朋友們對(duì)本站的支持！