java - 类文件格式的最终​​变量

Question

class 文件格式是否支持 final 关键字以防与变量一起使用？
或者它只是从代码中推断出变量的有效终结性，然后 JIT 编译器基于它执行优化？

Here ，在类文件格式文档中，他们提到了 final 关键字，但仅限于将它与 final block 和 final class 一起使用的情况。
没有关于最终变量的内容。

Answer 1

不，类文件中没有编码的此类信息。

您可以通过使用 final 局部变量和不使用 final 编译源文件来轻松验证这一点 - 结果类将是相同的。

但是，Java 8 添加了 MethodParameters记录有关方法参数的名称和访问标志的信息的属性。这意味着，您可以检查方法参数是否为 final。

即时编译器不需要了解 final 局部变量——它们可以轻松确定任何表达式的实际范围。即使变量不是最终的，例如

    int x = 1;
    // ... code A ...

    x = 2;
    // ... code B ...

编译器将优化代码 A，就好像 x 总是 1，而代码 B如果 x 总是 2。