尾调用优化（tco）理论上支持无限尾递归但实际未被主流js引擎启用，因调试困难、性能权衡和低使用率；可靠替代方案包括循环改写、蹦床函数、异步分片和生成器。

尾调用优化（tco）理论上能让递归“无限”执行而不爆栈，但现实中 javascript 引擎几乎都不启用它。你不能靠写对尾递归形式就自动获得无限深度——当前环境不买账。

什么是真正的尾调用

尾调用不是“最后写了函数调用”，而是函数执行流的最后一个动作必须是调用另一个函数，并且结果直接返回，中间不能有计算、赋值或副作用操作。

• ✅ 合法尾调用：return factorial(n - 1, n * acc)
• ❌ 非尾调用：return n * factorial(n - 1)（乘法在调用之后）
• ❌ 非尾调用：const res = factorial(n - 1); return res + 1（调用后还有加法）

主流引擎实际支持情况

ES2015 规范强制要求严格模式下实现 TCO，但所有主流运行时都选择忽略或禁用：

• V8（Chrome / Node.js）：实验性支持曾短暂存在，现已完全移除
• SpiderMonkey（Firefox）：未启用，即使严格模式也不触发优化
• JavaScriptCore（Safari）：是唯一长期保持有限支持的引擎，但行为不稳定，不建议依赖

为什么引擎不启用 TCO

不是技术做不到，而是权衡后主动放弃：

• 调试困难：栈帧被复用后，错误堆栈丢失中间调用链，定位问题成本陡增
• 性能不确定：识别尾调用需额外分析开销，可能拖慢普通函数调用
• 使用率低：绝大多数业务代码可用循环替代，没必要为小众场景妥协开发体验

替代方案比等待 TCO 更可靠

既然引擎不配合，就得自己动手控制执行节奏：

• 改写为循环：把递归逻辑显式展开成 while 或 for，空间复杂度 O(1)，稳定高效
• 蹦床函数（Trampoline）：返回函数而非立即调用，由外层循环逐个执行，避免栈增长
• 异步分片：用 setTimeout、Promise 或 queueMicrotask 把每层递归拆成微任务，让出主线程，防阻塞也防爆栈
• 生成器 + 迭代器：用 yield 暂停状态，按需推进，天然规避深层调用栈