尾调用优化（TCO）是JavaScript引擎对尾调用自动复用栈帧的机制，可将尾递归空间复杂度从O(n)降至O(1)，避免栈溢出；但因主流引擎未默认支持，实践中应优先设计尾递归再转为循环。
尾调用优化（Tail Call Optimization，TCO）是JavaScript引擎在特定条件下对尾调用自动进行栈帧复用的一种机制，它能让递归函数避免因调用栈过深而触发“Maximum call stack size exceeded”错误，并显著降低内存开销。
什么是尾调用？
尾调用是指一个函数的最后一步操作是调用另一个函数（包括调用自身），且该调用的返回值直接被当前函数返回，中间不再进行其他计算。关键在于“最后一步”和“无额外操作”。
例如：
// 是尾调用：f() 的结果直接返回，没有后续运算
function foo(x) {
return bar(x); // ✅ 尾调用
}
// 不是尾调用：return 前还要加 1
function baz(x) {
return qux(x) + 1; // ❌ 非尾调用（+1 是额外操作）
}
// 是尾递归（也是尾调用）
function factorial(n, acc = 1) {
if (n <= 1) return acc;
return factorial(n - 1, n * acc); // ✅ 尾调用自身
}
TCO 如何改善递归性能？
普通递归每调用一次就压入一个栈帧，深度为 n 时占用 O(n) 栈空间；启用 TCO 后，引擎识别尾调用，复用当前栈帧而非新建，将递归转化为类似循环的执行方式，空间复杂度降至 O(1)。
立即学习“Java免费学习笔记（深入）”；
- 避免栈溢出：深层递归（如 n > 10000）不再崩溃
- 减少内存分配：不持续创建新执行上下文
- 提升执行效率：省去栈帧进出的开销
现实中的支持情况与注意事项
ES2015（ES6）规范明确定义了严格模式下的尾调用优化，但主流浏览器引擎（V8、SpiderMonkey、JavaScriptCore）目前均未默认启用 TCO（出于调试、性能权衡等工程考量）。Node.js 在部分版本中可通过 --harmony-tailcalls 启用（已废弃），实际项目中不可依赖。
因此，实践中更推荐：
- 手动将尾递归改写为 while 循环（最可靠）
- 使用 trampoline（弹跳函数）模式模拟 TCO
- 借助 Babel 等工具转译为循环（需插件支持）
一个可运行的替代方案示例
把上面的尾递归阶乘改写为循环：
function factorial(n, acc = 1) {
while (n > 1) {
acc = n * acc;
n = n - 1;
}
return acc;
}
逻辑一致、零栈增长、全环境兼容。
基本上就这些。TCO 理念重要，但落地要看引擎；写递归时优先设计成尾递归形式，再主动转为迭代，才是稳妥之道。
