为什么x没有在这里初始化？

Question

为什么x没有在下面初始化？

public class rough {
    public static void main(String[] args) {
        int x;
        boolean found = false;
        for (int i = 0; i < 10; i++) {
            if (Math.random() < 0.5) {
                found = true;
                x = 10;
                break;
            }

        }
        if (!found)
            x = -1;
        System.out.println(x);//x isn't initialized here
    }
}

平均而言，对于一半的迭代，for循环中的if将是true，从而初始化x。对于另一半，找到的保持false，因此外部if将初始化。因此，我不明白为什么编译器会感到恼火。

作为最终蒸馏（见下面的简化），考虑

public static void main(String[] args) {
        int x;
        boolean found = false;
        if (!found)
            x = -1;

        System.out.println(x);
    }

这也给出了一个错误，x不是init。

以前的简化

更令人惊讶的是，更改if（Math.random（）

事实上，进一步调查后，将原来的for循环替换为

        for (int i=0;i<1;i++)
           x = 10;

 for (; !found; ) {
            x = 10;
            break;
        }

同样糟糕。只有for（；；）{...中断；}

Answer 1

（把这个作为一个单独的答案写下来，因为我认为它会从评论中受益）。

这就是语言——律师的回答。

语言规范要求在使用变量之前对其进行初始化。

规则包括：

>

编译器不考虑此分析中表达式的值。请参见示例16.2。

第二条规则解释了为什么即使在对我们来说“显而易见”的情况下，编译器也不能使用这些知识。即使编译器编写人员愿意进行更深入的分析，遵守Java规范也会禁止它。

如果下一个问题是“但是为什么？”那么我不得不猜测，但是标准的目的是获得一致的行为。你不希望一个编译器接受另一个编译器拒绝的合法Java。

Answer 2

编译器不能很容易地检测到导致x被初始化的所有分支，但是您可以通过将-1分配给x来很容易地修复这个问题（以及代码）

public static void main(String[] args) {
    int x = -1;
    for (int i = 0; i < 10; i++) {
        if (Math.random() < 0.5) {
            x = 10;
            break;
        }
    }
    System.out.println(x);
}

现在你不需要找到（所以我也删除了它）。