为什么Java根本没有优化尾递归？

据我所读：原因是因为在继承时，要确定要实际调用的方法并不容易。

但是，为什么Java至少没有对静态方法进行尾递归优化并强制使用正确的方法来用编译器调用静态方法？

为什么Java根本不支持尾递归？

我不确定这里是否有任何困难。

关于建议的副本，如JörgW Mittag ^1所述：

• 另一个问题是关于TCO的，这个是关于TRE的。TRE比TCO简单得多。
• 此外，另一个问题询问JVM对希望编译为JVM的语言实现施加哪些限制，该问题询问Java，这是不受JVM限制的一种语言，因为JVM规范可以通过以下方式更改：设计Java的人
• 最后，JVM中甚至没有关于TRE的限制，因为JVM确实具有方法内GOTO，这是TRE所需的全部

¹ _{添加了格式以标注点。}

正如本视频中的 Oracle Java语言架构师Brian Goetz所解释的：

在jdk类中，有许多对安全性敏感的方法，它们依赖于对jdk库代码和调用代码之间的堆栈帧进行计数，以确定谁在调用它们。

更改堆栈上的帧数的任何操作都会破坏此情况并导致错误。他承认这是一个愚蠢的原因，因此JDK开发人员已替换了此机制。

然后他进一步提到这不是优先事项，而是尾递归

最终会完成的。

注意：这适用于HotSpot和OpenJDK，其他VM可能会有所不同。

Java没有尾调用优化，原因与大多数命令式语言没有的原因相同。命令式循环是该语言的首选样式，程序员可以用命令式循环代替尾部递归。对于不建议使用其样式的功能，复杂性是不值得的。

程序员有时希望用其他命令性语言以FP风格编写的东西仅在计算机开始在内核而不是在GHz范围内扩展后的最近十年左右才流行起来。即使到现在，它也不是很流行。如果我建议在工作中使用尾部递归来替换命令式循环，那么一半的代码审阅者会大笑，而另一半会给人以困惑的印象。即使在函数式编程中，您也通常避免尾部递归，除非其他构造（例如高阶函数）不能完全匹配。

Java没有严格的调用优化，因为JVM没有用于尾部调用的字节码（针对某些静态未知的函数指针，例如某些vtable中的方法）。

似乎出于社会（也许是技术上）的原因，在JVM规范的拥有者中很难在JVM中添加新的字节码操作（这将使其与该JVM的早期版本不兼容）。

^{不在JVM规范中添加新字节码的技术原因包括现实生活中的JVM实现是非常复杂的软件（例如，由于它正在执行许多JIT优化）。}

尾部调用某些未知函数需要用新的栈帧替换当前的栈帧，并且该操作应位于JVM中（这不仅仅是更改生成字节码的编译器）。

除非一种语言具有进行尾部调用的特殊语法（递归或其他方式），并且当请求尾部调用但无法生成尾部调用时编译器将发出嘎嘎叫声，否则“可选”尾部调用或尾部递归优化将产生以下情况：一台计算机上的一堆代码可能需要少于100个字节的堆栈，而另一台计算机上则需要超过100,000,000个字节的堆栈。这种差异应被视为定性的，而不仅仅是定量的。

可以预期，机器的堆栈大小可能会有所不同，因此，代码始终可以在一台机器上工作，而将堆栈炸毁在另一台机器上。但是，通常，即使人为地限制了堆栈，也可以在一台计算机上运行的代码可能会在所有具有“正常”堆栈大小的计算机上运行。但是，如果在一台机器上优化了递归深度为1,000,000的方法，而不是在另一台机器上进行尾调用优化，则即使其堆栈异常小，也可以在前一台计算机上执行，而即使堆栈异常大，也可以在后者上执行失败。

我认为Java中不使用尾调用递归，主要是因为这样做会改变堆栈跟踪，从而使调试程序变得更加困难。我认为Java的主要目标之一是允许程序员轻松调试他们的代码，而堆栈跟踪对于做到这一点至关重要，尤其是在高度面向对象的编程环境中。由于可以改用迭代，因此语言委员会必须认为不值得添加尾递归。