为什么 Java 编译器会抱怨局部变量没有在这里初始化？

Question

int a = 1, b;
if(a > 0) b = 1;
if(a <= 0) b = 2;
System.out.println(b);

如果我运行此命令，我会收到：

Exception in thread "main" java.lang.Error: Unresolved compilation problem: 
 The local variable b may not have been initialized

 at Broom.main(Broom.java:9)

我知道局部变量未初始化，并且您有责任执行此操作，但在这种情况下，第一个 if 未初始化变量？

Answer 1

如果将第二个 if 更改为 else，那么编译器会很高兴。

int a = 1, b;
if(a > 0) b = 1;
else b = 2;
System.out.println(b);

如果您确实想深入研究这个问题，Java 语言规范的一整章专门讨论 明确分配。此案例属于您的具体示例：

规则不接受变更：

void flow（布尔标志）{
        整数 k；
        如果（标志）
                k = 3；
        如果（！标志）
                k = 4；
        System.out.println(k); // k 在此之前不是“明确分配”的
}

因此编译该程序必定会导致发生编译时错误。

这个特定的示例（以及许多其他说明性的示例）可能看起来超出了您的期望，但这正是语言设计者想要的方式，并且所有编译器都必须遵守规则。

Answer 2

重点关注“IF”，编译器无法判断条件是否为真。

Answer 3

当代码甚至无法编译时，请不要尝试运行它。

通常您无论如何都无法做到这一点，但现代 IDE 非常“有帮助”，可以让您做到这一点。他们通常用只会抛出错误的代码替换代码中不可编译的部分，例如您所看到的错误。

更好的方法是查看编译器/IDE 提供的错误消息，并在尝试运行应用程序之前尝试修复这些错误消息。

了解编译器错误和运行时异常之间的区别是重要的一步。

Answer 4

在Java中，局部变量在使用之前必须进行初始化。

在您的情况下，两个初始化都是有条件的，编译器无法确定任何条件是否为真。这会让编译器感到不安。

来自 Java 文档：

局部变量（第 14.4 节、第 14.13 节）必须在使用前通过初始化（第 14.4 节）或赋值（第 15.26 节）显式赋予值，编译器可以使用以下方式进行验证：明确赋值规则

Answer 5

局部变量在编译时不会被替换，因此编译器不知道 IF 是 true 还是 false。

另一方面，如果变量被定义为final，那么它将在编译时被替换。

Answer 6

Java 编译器无法发现另一个 if 与 else 一样工作。编译器很聪明，但没那么聪明。

Answer 7

您可以将 final 关键字添加到 a 的声明中，以帮助编译器优化代码。

// this compiles just fine
final int a = 1, b;
if(a > 0) b = 1;
if(a <= 0) b = 2;
System.out.println(b);