尾调用优化（TCO）是JavaScript引擎对尾调用的自动优化，复用栈帧以降低空间复杂度至O(1)，但仅Safari完全支持，Chrome和Firefox默认未启用；需严格模式、尾递归形式及避免后续操作；生产环境推荐循环替代或蹦床模式。
尾调用优化（Tail Call Optimization，TCO）是 JavaScript 引擎在特定条件下对函数尾调用进行的自动优化，它能避免新增调用栈帧，从而节省内存、防止栈溢出，并提升递归等场景的执行效率。但要注意：目前只有 Safari 完全支持 TCO（基于 ES2015 规范），Chrome 和 Firefox 因实现复杂性和调试兼容性问题，默认未启用该特性（V8 与 SpiderMonkey 已有实验性支持但被禁用）。
什么是尾调用？
尾调用指函数的最后一个操作是调用另一个函数（或自身），且该调用的返回值直接作为当前函数的返回值——中间不再进行其他计算或操作。
- ✅ 尾调用示例：return factorial(n - 1, n * acc);
- ❌ 非尾调用示例：return n * factorial(n - 1);（乘法在调用后执行，需保留当前栈帧）
TCO 如何节省内存和避免栈溢出？
普通递归每调用一次就压入一个栈帧，深度大时易触发 RangeError: Maximum call stack size exceeded。启用 TCO 后，引擎识别尾调用，复用当前栈帧而非新建帧，使递归的空间复杂度从 O(n) 降为 O(1)。
- 没有 TCO：计算
factorial(10000)很可能崩溃 - 有 TCO：同一调用可平稳完成，栈深度恒为 1
如何写出可被 TCO 的代码？
关键在于确保调用处于“尾位置”——即函数体中最后一个求值的表达式，且不依赖当前作用域后续计算。
立即学习“Java免费学习笔记（深入）”；
- 使用尾递归形式：把中间状态作为参数传递（如累加器
acc） - 避免在调用后做任何事：不能有运算、赋值、条件分支包裹、try/catch 包裹等
- 确保严格模式：TCO 只在严格模式（
"use strict"）下生效 - 注意异步/箭头函数：
async函数和箭头函数内部的尾调用不一定被优化（取决于引擎实现）
实际开发中怎么应对 TCO 不可用？
由于主流浏览器尚未稳定支持，生产环境不应依赖 TCO。更可靠的做法包括：
- 改用循环代替递归（最常用、最可控）
- 使用蹦床（trampoline）模式：返回函数而非立即调用，由外层循环驱动
- 对深度不确定的递归，加入显式栈限制或分片处理
- 借助 Babel 等工具转译尾递归为循环（需插件如
@babel/plugin-transform-tail-call-optimization）
