简短答案
对于
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;}才不是。
