编译器的行为与通用方法的null参数不同

Question

以下代码可以在Eclipse上完美编译，但是无法通过javac进行编译：

public class HowBizarre {
      public static <P extends Number, T extends P> void doIt(P value) {
      }

      public static void main(String[] args) {
            doIt(null);
      }
}

我简化了代码，所以现在根本不使用T。不过，我看不出发生此错误的原因。由于某种原因，javac决定T代表Object，然后抱怨Object不符合T的界限（这是对的）：

HowBizarre.java:6：不兼容的类型；推断的类型实参java.lang.Number，java.lang.Object不符合类型变量P，T的范围

发现：<P,T>无效

必需：无效

       doIt(null);
           ^

请注意，如果我将null参数替换为非null值，则可以正常编译。

哪个编译器行为正确，为什么？这是其中之一的错误吗？

Answer 1

该问题是由于JLS规范所致，该规范要求必须将不可推论的类型参数推导为Object，即使它不满足界限（并因此会触发编译错误）。

以下是“错误”报告的摘录（为清楚起见，已对其进行了进一步注释）：

[“错误” ID 6299211-方法类型变量：推断为空

](http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6299211)

该程序无法编译：

public class Try {
    void m() {
        java.util.Collections.max(null);
    }
}

状态 ：已 关闭，不是缺陷。

评估 ： 这不是错误
。推理算法无法从参数（null）收集任何信息，并且不会在对返回值有任何期望的地方调用该方法。在这种情况下，编译器必须推断出java.lang.Object类型变量。

JLS
15.12.2.8推断未解决的类型参数

然后，还可以推断出尚未推断出的所有剩余类型变量 Object

但是，Object不是的子类型，Comparable<? super Object>因此不在声明的类型变量的范围内Collections.max：

<T extends Object& Comparable<? super T>> T max(Collection<? extends T>)

进一步的探索

使用显式类型参数可以“解决”问题：

HowBizarre.<Number,Integer>doIt(null); // compiles fine in javac

为了表明与null参数无关，而与类型推断的绝对缺乏信息更多，可以尝试例如以下两种声明之一：

<T,U extends Comparable<T>> void doIt()

<T extends Number,U extends T> void doIt()

在这两种情况下，调用doIt();都不会在中进行编译javac，因为它必须推断U为符合Object15.12.2.8，即使这样做会触发编译错误。

关于Eclipse的注意

尽管以上代码片段均未​​在的某些版本中进行编译javac，但它们都在Eclipse的某些版本中进行了编译。这可能暗示了Eclipse的错误。众所周知，不同的编译器之间存在分歧。