JavaScript中尾递归未被主流引擎实际优化，ES2015规范虽要求严格模式下复用栈帧以实现尾调用优化（TCO），但V8、SpiderMonkey和JavaScriptCore均未启用，主因调试困难、性能权衡及兼容性顾虑；代码仍按普通递归执行，需手动转为循环或使用trampoline规避栈溢出。
JavaScript中尾递归本身没有被主流引擎实际编译优化，所谓“编译原理”更多是规范层面的设计意图和理论机制，而非当前运行时的真实行为。
尾递归在JS中的规范定义
ES2015（ES6）明确引入了正确尾调用（Proper Tail Calls, PTC）规范，要求严格模式下：当函数的最后一步操作是函数调用（包括自身），且该调用结果直接作为返回值时，引擎应复用当前栈帧，而非新建一个。
这背后的编译/解释逻辑是：
- 解析器识别尾位置（tail position）：即函数体中最后一个可执行语句，且为纯函数调用表达式
- 代码生成阶段标记该调用为“可优化尾调用”
- 运行时若启用TCO，虚拟机会跳过常规的push-stack-frame流程，改为重写当前帧的参数与局部变量，再jump到目标函数入口
为什么现实中几乎不生效？
尽管规范存在，但V8（Chrome/Node.js）、SpiderMonkey（Firefox）和JavaScriptCore（Safari）均未默认启用TCO，原因包括：
立即学习“Java免费学习笔记（深入）”；
- 调试困难：栈帧被复用后，开发者无法回溯完整调用链
- 性能权衡：TCO在某些场景下反而降低内联与JIT优化效率
- 兼容性顾虑：大量现有代码依赖Error.stack或arguments.callee等栈敏感特性
- V8早在2017年就移除了实验性TCO支持，至今未恢复
你写的尾递归，实际怎么执行？
以factorialTail(n, acc = 1)为例：
- 语法上满足尾递归形式：return factorialTail(n - 1, n * acc)
- 但V8仍会为每次调用创建新栈帧，和普通递归一样增长调用栈
- 它不会自动转成循环，也不会节省栈空间——只是结构更清晰、便于人手转为while循环
- 真正避免栈溢出，仍需手动改写为迭代，或使用trampoline等模拟技术
哪些语言真正在用这个原理？
对比更成熟的实现有助于理解原理落地条件：
- Erlang/Scala：编译期强制尾递归消除，栈空间恒为O(1)
- Kotlin：tailrec修饰符触发编译器生成while循环字节码
- Rust/Clojure：通过宏或编译器pass完成尾调用优化
- 而JS目前停留在“语法可识别、语义不保证优化”的状态
