为什么日食说空是一个原始类型？

Question

我在Eclipse Mars中写了这行代码，以达到混乱的目的：

null.toString();

我收到以下编译器错误消息：

无法在原始类型null上调用toString（）

这很奇怪，因为null不是一个基元类型，也不是一个对象引用，如下所述：null是一个对象吗？

所以，为了确保万无一失，我尝试使用< code>javac编译这样奇怪的代码行，得到了这样的结果:

NullTest.java:3: <nulltype> cannot be dereferenced

   null.toString();
       ^  
1 error

有人知道为什么Eclipse会给出这样（IMO）误导性的编译器错误消息吗？

Answer 1

没有理由。

通常eclipse会分析字节码，由于某种原因< code>null.toString()是两个字节码语句，一个定义和一个调用。因为您只能在对象上调用< code>toString,所以eclipse假定declaraion必须声明一个原语。

您可以编写 Bugreport，但请考虑错误消息国际化可能带来的开销。

Answer 2

因为null类型是< code>Object的子类型，所以可以在< code>null上调用< code>Object方法。

但是，按照该逻辑，由于 null 类型是每个引用类型的子类型，因此应该允许我们在 null 上调用任何类/接口的任何方法。那将是一团糟。

从语法上讲，< code>null.toString()应该首先被识别为方法调用表达式，因为< code>null是< code>Primary表达式。然后，为了确定类/接口来搜索方法< code>toString，JLS说

…如果T是类或接口类型，则要搜索的类或接口为T，如果T是类型变量，则为T的上限

如果 T 不是引用类型，则为编译时错误。

T是这里的空类型；它不是类类型、接口类型或类型变量，因此此步骤应该失败。但是，它失败是因为T不是引用类型吗？

空类型是引用类型吗？JLS说

类型...分为两类：基元类型和引用类型

数字类型是……

引用类型是类类型、接口类型、[类型变量]和数组类型。【句号！]

还有一种特殊的null类型。

根据您对文本的解析，null-type可能是也可能不是引用类型。这通常并不重要；这只是分类的问题。但是它会导致混淆，例如在这种情况下——失败是因为T不是“正确的”引用类型，编译器错误地推断它必须是原始类型。