Scala标准库List.forall为何采用while循环而非递归实现

标准库底层实现的设计优先级和业务开发完全不同，优先保障极致性能与全场景稳定性，而非纯函数式的语法风格，具体可以分为三点：

• 性能表现的确定性更强
  标准库是整个Scala生态的基础依赖，forall属于全生态高频调用的基础方法，哪怕1%的性能损耗都会被放大无数倍。while循环是JVM平台上性能表现最稳定的迭代实现，JVM即时编译器会对这种结构做大量运行时优化（比如循环展开、热点值缓存等），没有任何额外开销。
  虽然理论上符合要求的尾递归可以被Scala编译器优化为等价的循环结构，但尾递归优化依赖编译器的具体实现，旧版本编译器、Scala.js/Scala Native等跨平台编译场景下，都存在优化失效的小概率风险。而while循环的执行逻辑在所有平台、所有编译器版本下都是100%确定的，不会出现意料之外的性能下降。
• 彻底规避栈溢出风险
  即使尾递归优化逻辑正常，也需要代码维护者始终保证递归是尾递归形式。如果后续迭代代码时不小心破坏了尾递归结构，超长List的遍历就会直接触发栈溢出，这类问题在线上场景排查成本极高。while循环从实现根源上消除了栈溢出的可能，稳定性更强。
• 最佳实践的适用场景有差异
  「优先用递归消除可变变量」是面向业务开发的最佳实践，目的是提升业务代码的可读性、可维护性，降低共享可变状态带来的bug概率。但这个规则并不适用于标准库底层实现：你看到的代码中的these是方法内部的局部可变变量，不会逃逸到方法外部，没有线程安全问题，也不会对外暴露可变状态，这种场景的局部可变是完全安全且被官方鼓励的。

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