为什么if（Boolean.TRUE）{…}和if（true）{…}在Java中的工作方式不同

Question

我想知道子句中Boolean.TRUE和true值之间的区别if。当我使用Boolean.TRUE而不是时，为什么会给我一个编译错误（一个值可能尚未初始化）true。

下面是我的代码：

public class Test {

    public void method1() {
        int x;
        if(Boolean.TRUE) {
            x = 200;
        }
        System.out.println("x: " + x);   // Compilation error       
    }

    public void method2() {
        int x;
        if(true) {
            x = 200;
        }
        System.out.println("x: " + x);   // Compiles fine
    }
}

Answer 1

简短答案
对于if (true)编译器，可以推断出x在读取之前已初始化的内容。这并非if (Boolean.TRUE)如此。

正式答案： 在读取之前，
所有局部变量都必须有一个 确定的赋值
（14.4.2。局部变量声明的执行）：

[…]如果声明符没有初始化表达式， 则对变量的每次引用都必须在对变量的赋值之前执行 ，否则第16条的规则会发生编译时错误。

在这种情况下if，在变量引用之前的代码中包含一条语句，因此编译器执行一些流分析。但是，如第16章所述。明确分配：

除了对条件布尔运算符&&，||和? :和 布尔值常量表达式 的特殊处理外，在流分析中不考虑 表达式 的值。

因此，由于true是一个布尔值常量表达式，并且Boolean.TRUE（它是对堆中值的引用，因此需要自动拆箱等），因此它不是

if (true) {
    x = 200;
}

产生xwhile 的明确分配

if (Boolean.TRUE) {
    x = 200;
}

才不是。