尾调用优化通过重用栈帧避免递归时的栈溢出。当函数最后一步调用自身且返回其结果时，如阶乘函数factorial(n, acc)在n≤1时返回acc，否则递归调用factorial(n-1, n*acc)，此时可进行优化，但JavaScript中仅部分引擎支持。
尾调用优化（Tail Call Optimization, TCO）是JavaScript中提升递归性能的重要机制，尤其在处理深度递归时能有效避免栈溢出问题。虽然理论强大，但实际支持有限，理解其原理和限制对编写高效递归函数至关重要。
什么是尾调用与尾调用优化
当一个函数的最后一个动作是调用另一个函数（包括自身），并且该调用的返回值直接作为当前函数的返回值时，这个调用就是尾调用。如果这个函数调用的是自己，就称为尾递归。
尾调用优化的核心思想是：既然当前函数已经不需要再执行任何操作，那么它的调用帧就可以被安全地移除或重用，从而节省调用栈空间。
例如：
立即学习“Java免费学习笔记（深入）”；
以下是一个典型的尾递归函数，用于计算阶乘：
function factorial(n, acc = 1) {
if (n <= 1) return acc;
return factorial(n - 1, n * acc); // 尾调用
}
这里 factorial(n - 1, n * acc) 是尾调用，因为它是函数体最后一步操作，且结果直接返回。
TCO如何提升递归性能
普通递归每深入一层就会在调用栈中新增一个帧，深度过大时会触发“Maximum call stack size exceeded”错误。而尾调用优化允许引擎复用栈帧，使递归的空间复杂度从 O(n) 降至 O(1)。
- 减少内存占用：无需为每次调用保存新的栈帧
- 避免栈溢出：可安全执行成千上万次递归调用
- 提升执行效率：减少函数调用开销
JavaScript中的现实支持情况
尽管ES6规范明确要求实现尾调用优化，但主流引擎出于调试困难、兼容性等问题，实际支持非常有限。
- V8（Chrome、Node.js）：默认未启用，即使使用
--harmony-tailcalls标志也仅部分支持 - SpiderMonkey（Firefox）：不支持严格模式下的TCO
- JavaScriptCore（Safari）：曾短暂支持后移除
这意味着在大多数环境中，尾递归函数仍可能栈溢出。
替代方案与最佳实践
由于TCO不可靠，开发者应考虑更稳健的替代方式：
- 改用循环：将递归逻辑转为 while 或 for 循环，完全避开栈限制
- 蹦床函数（Trampoline）：让递归函数返回下一个调用，由外部循环执行
- Promise + queueMicrotask：通过微任务队列模拟异步递归，释放调用栈
示例：使用蹦床避免栈溢出
function trampoline(fn) {
let result = fn;
while (typeof result === 'function') {
result = result();
}
return result;
}
<p>function factorial(n, acc = 1) {
if (n <= 1) return acc;
return () => factorial(n - 1, n * acc); // 返回函数，延迟执行
}</p><p>trampoline(factorial(50000)); // 安全执行
基本上就这些。尾调用优化理念优秀，但在当前JavaScript环境中不能依赖。编写高性能递归代码，优先考虑显式转换为迭代或使用蹦床等技术，确保程序稳定运行。
