Java是否会优化掉仅用作返回值的无用变量以提升执行速度？

你问到点子上了——Java的JVM（尤其是JDK 1.8使用的HotSpot虚拟机）确实会优化掉这种仅用于返回的“无用”变量，不过得区分开前端编译（javac）和运行期JIT编译的不同阶段：

1. 前端编译（javac）阶段：几乎不做此类优化 #

如果你用javap -c Foo反编译你的类，会看到barA和barB的字节码是有差异的：

• barA的字节码会包含变量的存储和加载操作：

public int barA();
  Code:
     0: iconst_1
     1: istore_1
     2: iload_1
     3: ireturn

• barB则直接返回常量：

public int barB();
  Code:
     0: iconst_1
     1: ireturn

javac本身只做基础的语法处理和字节码生成，不会主动消除这种冗余变量，它更关注代码语义的准确转换。

2. 运行期JIT编译阶段：会彻底消除冗余 #

当你的代码被多次调用（触发JIT编译的阈值），HotSpot的JIT编译器（不管是客户端的C1还是服务器端的C2）都会执行冗余变量消除这类优化。它会分析代码的数据流，发现变量a除了被赋值后直接返回之外没有任何其他用途，就会把变量的存储、加载操作完全消除，最终生成的机器码和barB的完全一致——两种方法的执行性能没有任何差异。

关于你的测试结果 #

你用JUnit验证的返回值和返回类型一致是必然的：JVM的优化永远不会改变代码的语义，只会在不影响结果的前提下提升执行效率。

补充说明 #

你提到Python不会做这类优化，这和Java的设计思路不同：Python以解释执行字节码为主，而Java依赖JIT的运行期优化来提升性能，这类冗余消除是JIT优化的基础操作之一。

内容的提问来源于stack exchange，提问作者blkpingu