Java JIT是否会将递归方法调用整体优化为迭代形式？

1. JIT是否会将递归转换为迭代形式消除调用？ #

当前HotSpot JVM的JIT编译器（C1客户端编译器、C2服务端编译器）没有实现通用的递归转迭代优化，仅支持极其有限的特定场景优化：

• 仅能处理直接尾递归场景：也就是方法执行的最后一步恰好是调用自身，没有额外的返回值运算、没有多态调度、没有关联的监视器锁操作，最典型的就是带累加器的阶乘尾递归实现。
• 这类优化不属于Java规范强制要求的能力，实现高度依赖JDK版本、JVM运行参数、方法的热点编译阈值，没有公开文档做确定性的保障，不能作为业务代码的依赖逻辑。

通用的递归转迭代或者尾调用消除，确实是Project Loom规划的后期新增特性，目前的JIT零散优化和Loom的目标并不重叠：Loom要实现的是跨任意方法的通用尾调用消除，不受调用对象是自身的限制。

2. 递归优化对栈轨迹的影响 #

如果某段递归代码确实触发了JIT的优化，栈轨迹会有明显的变化：

• 被优化掉的递归调用帧不会出现在栈轨迹中，原本调用深度为N的递归，优化后栈中仅会保留1层当前方法的栈帧，打印异常栈时看不到中间的递归调用层级。
• 原本深度较高时会抛出的StackOverflowError不会再触发，因为没有栈帧的叠加过程。
• 如果优化过程中做了方法内联等关联操作，甚至栈中可能完全看不到当前递归方法的帧，会被合并到上层调用方的栈帧中。

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