Sun的HotSpot JIT编译器是否自动将"final"应用于Java局部变量？

Question

我听说是这种情况,但我找不到确定的在线资源来确认.

背景:一位同事喜欢制作他的局部变量final.他这样做的原因之一是表现.我的论点是,Java的HotSpot Just In Time编译器会自动检测不变的局部变量并制作它们final,所以自己做这个没有性能上的好处.

请注意,我不是在问局部变量是否是一个好的编码实践final,因为已经有很多(非主题)SO问题.

编辑:mrhobo为优化整数文字的字节码提出了一个很好的观点.我应该给出一个我正在谈论的代码类型的例子,我的问题是:

Object doSomething(Foo foo) {
    if (foo == null) {
        return null;
    }

    final Bar bar = foo.getBar();
    final Baz baz = this.bazMap.get(bar);

    return new MyObject(bar, baz);
}

您是否认为在这种情况下会发生相同类型的优化,因为bar并且baz都标记了final？或者,HotSpot会自动检测到它们是否在方法范围内没有变化,并将它们视为final无论如何？

类似的问题

• 在循环中将局部变量声明为final
  • 相同的问题,但通过经验(通过查看类文件)得出答案,没有文档参考
• javac或Hotspot会自动添加'final'作为不变变量的优化吗？
  • 同样的问题,例如变量
• 在Java中内联
  • 同样的方法问题
• 在Java中使用final关键字可以提高性能吗？
  • 类似的问题,对局部变量没有达成共识

Answer 1

要理解为什么局部变量的最终对编译器完全无趣,编译器工作方式的一些背景将是有帮助的.基本上没有编译器对源代码(或字节码)本身进行操作,而是将它解析为某种中间表示(在应用优化时通常是几种不同的表示).几乎我所知道的每个编译器都使用某种形式的静态单一赋值或短SSA形式作为其中间表示.

正如名称所说,SSA表单基本上意味着每个变量只被赋值一次.为了更清楚,假设我们有以下简单的代码片段:

y = 4
x = 5
y = 6
z = x + y

在SSA表单中,这看起来类似于以下内容:

y_1 = 4
x_1 = 5
y_2 = 6
z_1 = y_2 + x_1

那我们为什么要这样做呢？因为它使得许多编译器优化变得更加容易(例如,看到y的第一次写入可以被消除,因为我们从未读过它)是微不足道的.所以,如果你想要,你可能会看到这个,因为每个变量已经是编译器的最终变量.

PS:循环和分支确实使这更复杂,但我不想在那里过多地讨论 - 维基文章有一个关于如何解决这些问题的简短解释.