诊断Java代码:提高Java代码的性能(alt)解释了为什么JVM不支持尾调用优化。
但是,尽管众所周知如何将尾递归函数自动转换为简单循环,但是Java规范并不要求进行这种转换。大概没有原因的一个原因是,通常来说,不能以面向对象的语言静态地进行转换。相反,必须由JIT编译器动态完成从尾递归函数到简单循环的转换。
因此,如清单3中的示例所示,我们不能期望静态编译器在保留Java语言的语义的同时对Java代码执行尾部递归转换。相反,我们必须依靠JIT进行动态编译。根据JVM,JIT可能会或可能不会这样做。
然后它提供了一个测试,你可以用来确定你的JIT是否这样做。
我使用几个Java SDK运行了该程序,结果令人惊讶。在Sun的1.3版Hotspot JVM上运行表明,Hotspot不执行转换。在默认设置下,计算机上的堆栈空间用完不到一秒钟。另一方面,IBM的1.3版JVM发出了毫无问题的提示,表明它确实以这种方式转换了代码。