HotSpot能否在不内联纯方法的情况下消除其冗余调用？

答案是肯定的——HotSpot的C2（Server模式JIT编译器）确实能够识别纯方法，并在未内联的情况下消除重复的相同参数调用，直接复用第一次的返回值。这种优化属于**公共子表达式消除（Common Subexpression Elimination, CSE）**的一个特例，专门针对无副作用的纯方法场景。

纯方法的判定逻辑 #

HotSpot会通过静态分析与运行时信息结合，确认方法满足纯方法的核心条件：

• 返回值仅由输入参数决定，不依赖任何外部可变状态（比如静态变量、全局缓存、堆上的可变对象字段）；
• 执行过程中不会修改任何可见状态（包括参数对象、静态变量、堆内存等），也不会触发IO、线程调度等副作用。
  对于你例子里的add(int x, int y)，C2一眼就能判定它是纯方法——它只做简单的算术运算，没有任何外部依赖或副作用。

具体优化行为 #

在addTwice的例子中，即使add没有被内联，C2会将两次add(x, y)调用合并为一次，然后将返回值翻倍。生成的机器码会类似这样：

; 假设x和y已加载到寄存器中
call add       ; 仅调用一次add方法
mov rbx, rax   ; 保存第一次调用的结果
add rax, rbx   ; 将结果翻倍（等价于乘以2）

完全避免了第二次方法调用的开销。

实际场景的适用性 #

这种优化不仅适用于简单的算术方法，在更复杂的场景中也能生效：

• 即使方法内部有发散的控制流（比如分支、循环），只要最终返回值仅依赖参数且无副作用，C2依然能识别并应用CSE；
• 对于自动生成的代码中大量重复的纯方法调用，这个优化能有效减少冗余计算，提升执行效率；
• 当然，如果方法被内联了，后续还会有更多的优化空间（比如直接合并算术运算），但即使不内联，纯方法的重复调用消除依然能生效。

注意事项与限制 #

• 只有C2编译器（默认在Server模式下启用）会做这个深度优化，C1（Client模式）的优化策略更偏向启动速度，通常不会处理这种场景；
• 如果方法包含JNI调用、native方法，或者依赖可变的外部状态，HotSpot无法判定其纯特性，也就不会应用该优化；
• 如果参数是引用类型，HotSpot需要确保在两次调用之间，参数对象的状态没有被修改（比如不可变对象String、Integer就没问题，而可变的ArrayList则不行），否则不能复用返回值。

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