编译器对泛型方法的 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 不符合类型的界限 变量 (s) P,T

找到：<P,T>void

必填：无效

       doIt(null);
           ^

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

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

Answer 1

这是 javac 中的一个错误。 Eclipse 推断正确的类型。

您可以致电doIt((Number) null); 解决此问题

即使您不打算使用 javac 进行开发，也请修复此问题，因为 ant 或 maven 等工具使用它，如果您在某些时候引入它们会导致问题。

Answer 2

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

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

"Bug" ID 6299211 - method type variable: inference broken for null

此程序无法编译：

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

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

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

---

JLS 15.12.2.8 Inferring Unresolved Type Arguments

任何尚未被推断的剩余类型变量然后被推断为具有类型Object

---

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

<T extendsObject & 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 中编译，因为它必须根据 15.12.2.8 将 U 推断为 Object，即使这样做会触发编译错误。

---

关于 Eclipse 的注意事项

虽然上面的 sn-ps 都不能在某些版本的 javac 中编译，但它们都可以在某些版本的 Eclipse 中编译。这表明 Eclipse 存在错误。众所周知，不同的编译器之间存在分歧。

相关问题

• Generics compiles and runs in Eclipse, but doesn’t compile in javac

Answer 3

根据 polygenelubricants 的研究，sun 的 javac 显然忠实于规范。过去我也使用过其他编译器，当发生冲突时，总是证明 sun 的 javac 是正确的。 Sun 的优势是将他们从实施过程中获得的经验记录到规范中，而其他人则必须从头开始阅读规范 - 阅读时真的很难不入睡。