为什么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 语句的条件始终为真，因此 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 的声明和初始化分成两行时，编译器似乎没有得到条件始终为真并且 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

作为实现可移植性目标的一部分，对于编译器应该接受什么和应该拒绝什么有一套非常具体的规则。在确定变量在使用时是否被明确分配时，这些规则既允许也只需要有限形式的流分析。

请参阅 Java 语言规范 Chapter 16. Definite Assignment

关键规则是16.2.7. if Statements, "if (e) S" 的情况。明确分配的规则扩展为：

V 在 if (e) S 之后赋值当且仅当 V 在 S 之后赋值> 和 V 在 e 之后赋值为 false。

y 是相关的V。它在 if 语句之前未分配。它确实是在 S, y = {y=-1;} 之后分配的，但是当 x>100 为 false 时，没有任何东西使它分配。

因此 y 不是在 if 语句之后明确分配的。

更完整的流程分析将确定条件 x>100 始终为真，但 JLS 要求编译器根据这些特定规则拒绝程序。

最终变量很好。规则实际上是：-

"如果将最终变量分配给除非 在紧接在 任务。”

声明使其绝对未赋值，即使是有限流分析也可以确定 x 在赋值时仍然绝对未赋值。

Answer 2

这与编译器如何确定语句是否执行有关。定义在JLS #16:

当访问其值时，每个局部变量和每个空白最终字段都必须具有明确分配的值。

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

JLS #15.28 定义常量表达式：

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

• [...]
• 引用常量变量 (§4.12.4) 的简单名称 (§6.5.6.1)。

JLS #4.12.4 将常量变量定义为：

原始类型或 String 类型的变量，它是 final 并使用编译时常量表达式初始化，称为常量变量。

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

Answer 3

你对第二个代码中的变量x做了什么叫做blank final变量。如果 final 变量在声明时未初始化，则称为空白 final 变量。

许多 Java 开发人员认为最终变量的值在编译时是已知的。这并非总是如此。据说在编译时不知道空白最终变量的值。因此，您的第二个代码会给您一个编译错误。编译器可以看到你已经初始化了最终变量x，但是编译不知道它的值。所以编译器无法解析 if 语句。因此它认为变量y 没有被初始化。

您可以阅读有关 Java 最终变量的更多信息here。