本文先给出一道简单的null相关的题目，引发我们对null的探讨,后面会根据官方语言手册对null“类型”进行解读。

题目：下面程序能正确运行吗？

解析：输出应该为：haha

因为null 是可以强转为任何类类型的，所以前面（（NULL）null）是合法的，但是null强转以后是无效对象，其返回值为null,（后面会作解释）

而haha方法是静态方法，静态方法使用静态绑定，不会抛出空指针异常。

如果把haha()函数变为非静态之后

将会抛出空指针异常。

再来一个例子：

你真的理解java中的null“类型”吗？

这道题其实和上面是差不多的。

结果还是输出“haha”

你真的理解java中的null“类型”吗？

Java Language Specification中我们可以看到

在4.1. The Kinds of Types and Values一节中提到：

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类型表达式唯一可能的值。

null引用可以转换为任意引用类型。

实际上，程序员可以忽略null类型，可以认为null仅仅是一个可以成为任何引用类型的特殊符号。

看了这个一段，就比较豁然开朗了。

在5.2. Assignment Conversion一节中：

“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这一节有：