允许“布尔”和“对象”的相等比较？

Question

以下代码

public class TestComparison {
    public static void main(String[] args) throws Exception {
        boolean b = true;
        Object o = new Boolean(true);
        System.out.println("comparison result: "+ 
            (o == b)); // Eclipse complains about this expression
    }
}

使用javac V1.7.0_15 编译没有错误，并在运行时打印“false”。然而，Eclipse Juno 抱怨“不兼容的操作数类型 Object 和 boolean”。

显然 javac 将原始布尔值 b 自动装箱，然后通过对象相等性比较 o 和自动装箱的 b，产生 false，而 Eclipse 拒绝进行自动装箱。

根据 Java 语言规范，哪种行为是正确的？我应该在哪里提交错误？

注意：如果我将o 的类型更改为Boolean，事情会按预期工作：Eclipse 接受代码，并且代码打印“true”。

Runnable version on ideone.com

Answer 1

这是您的项目语言级别设置。您可能正在使用具有 Java 6 语义的 Java 7 编译器。我这里没有 Eclipse，但我在 IntelliJ 中复制了它，当语言级别为 Java 6 时它会出错，即使我使用的编译器是 7。我猜 Eclipse 也有。 This link 解释它。

Answer 2

关于您的“注意”，当o 更改为Boolean 时，代码可以编译和工作：

这段代码：

public class Tester{
  public static void main(String args[]){
    Boolean one = new Boolean(true);
    Object two = new Boolean(true);
    boolean three = true;
    System.out.println("SAME 1:2 " + (one == two) + " 1:3 " + (one == three) + " 2:3 " + (two == three));
    System.out.println("EQUAL 1:2 " + (one.equals(two)) + " 1:3 " + (one.equals(three)) + " 2:3 " + (two.equals(three)));
  }
}

产生这个结果：

SAME 1:2 false 1:3 true 2:3 false
EQUAL 1:2 true 1:3 true 2:3 true

要了解这是为什么，我们需要考虑各种表达式的编译时类型：

• one == two 比较 Boolean 和 Object - 它们都是引用类型，所以测试是引用相等 (Java Language Specification, Java SE 7 edition, §15.21.3)
• one == three 比较 Boolean 和 boolean - 这被视为原始 boolean 值的比较 (§15.21.2)； one 已拆箱并与 three 进行比较。
• two == three 将 Object 与 boolean 进行比较 - 在​​这种情况下，boolean 通过强制转换转换为 Object（§5.5，在这种情况下将 boolean 装箱到 Boolean 然后扩大Boolean 到 Object)，然后比较两者的引用相等性。

EQUAL 行要简单得多 - 所有三种情况都是对 Boolean.equals(Object other) 的调用，当参数为 three 时使用装箱。