Java中null字面量是否有类型？能否声明Null类型变量？

先回顾Scala的Null类型用法 #

在Scala里可以显式声明Null类型的变量，这类变量只能被赋值为null：

scala> val myNull: Null = null
val myNull: Null = null

甚至可以把函数参数声明为Null类型，强制调用时必须传入null，编译阶段就能拦截非法参数：

def dontAskMeWhyYouWouldDoThis(mustBeNull: Null) = println("Hooray!")
dontAskMeWhyYouWouldDoThis(null)                        // 输出"Hooray"
dontAskMeWhyYouWouldDoThis("this question is so silly") // 编译错误！

Java中的对应情况解答 #

1. null字面量的类型 #

Java中的null字面量没有具体的运行时类型，但从编译层面来看，它被视为所有引用类型的子类型，可以赋值给任何引用类型的变量。根据Java语言规范，null是一种特殊字面量，能够适配任何引用类型的赋值场景。

2. 能否声明Null类型的变量？ #

Java中不存在可直接使用的Null显式类型，无法像Scala那样声明Null类型的变量或参数。尝试在Java REPL（JShell）中声明会直接报错：

jshell> Null myNull = null;
|  Error:
|  cannot find symbol
|    symbol:   class Null
|  Null myNull = null;
|  ^--^

Java没有提供类似Scala的Null类型来专门约束变量只能容纳null，如果需要强制参数必须为null，只能通过文档说明或者运行时检查（比如if (param != null) throw new IllegalArgumentException()），无法通过类型约束在编译阶段实现。

内容的提问来源于stack exchange，提问作者Cory Klein