编译器优化是否改变了以下代码中语句的执行？[重复]

Question

在最近的一个相关问题中，我发现以下代码

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

/*5*/        System.out.println(x);
    }

存在编译器错误，x不是init。（初始化）。令我惊讶的是，编译器无法推理init。尤其是因为这段代码似乎不需要任何运行时推理，如下所示：

1. 在指示的第2行，find被设置为false。
2. 第2行和第3行之间没有代码。
3. 所以到达第3行，！找到的必然是true所以init是不可避免的。

我不知道这是否正确。我隐约记得，编译器优化可以改变语句的执行顺序。这在这里起作用了吗？有没有可能在3号线和4号线之前到达5号线？

环境
openjdk 15.0.2 2021-01-19
openjdk运行时环境（构建15.0.2 7-27）
openjdk 64位服务器虚拟机（构建15.0.2 7-27，混合模式，共享）
javac 15.0.2 Windows 10

Answer 1

请看我（迟到）对另一个问题的回答。规范要求进行源代码分析。

这不是以您建议的方式重新排序代码；这将改变行为，这是被禁止的。

想想一般情况：如果在计算完成之前允许使用计算，那么没有什么是可预测的。

但是，在您的示例中，允许足够聪明的编译器将生成的代码优化为（有效地）System.out.println（-1）。这两个变量实际上都不需要。

如果发生这种情况，则不会影响所需的明确任务检查。从逻辑上讲，简化是在验证源代码之后进行的。

你必须检查生成的字节码，看看实际发生了什么。此外，在Java中，可以“稍后”通过及时编译到本机代码来完成优化。