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

背景：一位同事喜欢让他的局部变量最终.他这样做的原因之一是表现.我的论点是,Java的HotSpot Just In Time编译器会自动检测不变的局部变量,并使它们成为最终变量,因此自己做这个没有性能上的好处.

请注意,我不是要问局部变量是否是最终的良好编码实践,因为已经有很多(非主题)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是否会自动检测到它们在方法范围内没有发生变化,并将它们视为最终版本？

类似的问题

> Declaring local variable as final in a loop

>同样的问题,但通过经验(通过查看类文件)得出答案,没有文档参考

> Do javac or Hotspot automatically add ‘final’ as an optimisation of invariant variables?

>例如变量的相同问题

> Inlining in Java

>方法的相同问题

> Does use of final keyword in Java improve the performance?

>类似的问题,对局部变量没有达成共识