为什么Java编译器不理解此变量总是初始化的？

Question

class Foo{
    public static void main(String args[]){
        final int x=101;

        int y;
        if(x>100){
            y=-1;
        }
        System.out.println(y);
    }
}

Java编译器了解if语句的条件始终为true，因此y将始终被初始化。没有编译错误，如预期的那样。

class Bar{
    public static void main(String args[]){
        final int x;
        x=101;

        int y;      
        if(x>100){
            y=-1;
        }
        System.out.println(y);
    }
}

但是，当我将x的声明和初始化分为两行时，编译器似乎没有得到条件始终为true且y将始终被初始化的信息。

final int x;
x=101;
byte b;
b=x;
System.out.println(b);

同样的事情在这里发生，编译器会损失精度误差。

final int x=101;
byte b;
b=x;
System.out.println(b);

同样，编译器可以理解x在b的范围内。

Answer 1

它与编译器如何确定是否执行语句有关。它在JLS＃16中定义：

每个局部变量和每个空白的final字段在对其值进行任何访问时都必须具有一个明确分配的值。

在您的情况下，编译器无法确定y已被明确分配，并给您一个错误。这是因为它将需要确定条件始终为真，并且仅当中的条件if为 常量表达式时 才有可能。

JLS＃15.28定义
常量表达式 ：

编译时常量表达式是表示原始类型或String的值的表达式，该值不会突然完成，并且仅使用以下内容组成：

• […]
• 引用常量变量（第4.12.4节）的简单名称（第6.6.5.6.1节）。
  
  

该JLS＃4.12.4定义
常量变量 为：

最终类型并使用编译时常量表达式初始化的基本类型或String类型的变量称为常量变量。

在您的情况下，final int x = 101;是一个常量变量，但final int x; x = 101;不是。