ES6 引入了尾调用优化（Tail Call Optimization，TCO）的规范，但它的实现依赖于 JavaScript 引擎的支持（比如 V8 并未开启 TCO），所以这是一个理论上重要、实践中需要谨慎对待的考点。
一、什么是尾调用（Tail Call）？
尾调用是指：
函数的最后一步是调用另一个函数，并直接返回这个函数的执行结果。
例如：
function foo() {
return bar(); // bar 是 foo 的尾调用
}
尾调用意味着：
- 当前函数的调用栈帧不需要再做任何事。
- 调用栈可以复用，不需要为当前函数保留栈帧，从而节省内存。
二、什么是尾调用优化（TCO）？
尾调用优化的目标是：
当一个函数的最后一步是调用另一个函数，JS 引擎可以不再保留当前函数的调用记录，直接跳转执行被调用函数，复用当前栈帧。
也就是说：
- 不会形成函数调用嵌套的“栈帧链”；
- 可以避免函数递归导致的栈溢出（stack overflow）。
三、尾调用成立的条件
必须同时满足以下三个条件：
| 条件 | 说明 |
|---|---|
| 1. 在严格模式下 | TCO 只在 strict mode 下才可能被引擎开启 |
| 2. 是函数的最后一步调用 | return 后没有任何操作 |
| 3. 返回调用结果 | return bar(x) 形式，不能是 bar(x); return y |
✅ 尾调用示例：
'use strict';
function f(x) {
return g(x); // 最后一步是返回 g(x)，符合尾调用优化条件
}
❌ 非尾调用：
function f(x) {
const y = g(x);
return y; // 不是直接返回函数调用
}
四、尾调用优化应用场景：尾递归
递归调用时，若能做到尾调用，就能避免栈溢出。
普通递归（可能爆栈）：
function factorial(n) {
if (n <= 1) return 1;
return n * factorial(n - 1);
}
尾递归（理论上支持 TCO 时不会爆栈）：
'use strict';
function factorial(n, acc = 1) {
if (n <= 1) return acc;
return factorial(n - 1, acc * n);
}
五、实际支持情况
| JS 引擎 | 是否支持 TCO（尾调用优化） |
|---|---|
| Chrome/V8 | ❌ 不支持（曾尝试过，后移除） |
| Safari | ✅ 支持（唯一支持的主流浏览器） |
| Firefox | ❌ 不支持 |
| Node.js | ❌ 不支持（基于 V8） |
所以在 现代实际开发中无法依赖 TCO，需要手动优化递归为循环等。
六、替代策略（在不支持 TCO 的场景下）
- 使用
while/for替代递归 - 显式使用栈模拟递归过程
- 使用尾递归 + 手动转换为 trampoline 技术（“跳板函数”）
示例 trampoline 技术（仅作了解）：
function trampoline(fn) {
while (typeof fn === 'function') {
fn = fn();
}
return fn;
}
function sum(n, acc = 0) {
if (n <= 0) return acc;
return () => sum(n - 1, acc + n);
}
trampoline(() => sum(100000)); // 不会爆栈
七、总结
| 特性 | 说明 |
|---|---|
| 本质 | 栈帧复用，节省调用栈 |
| 条件 | 严格模式 + return 语句 + 最后一步调用 |
| 适用场景 | 递归函数调用优化、避免栈溢出 |
| 实际支持情况 | Safari 支持，其他主流浏览器和 Node.js 暂不支持 |
| 实际开发建议 | 写尾递归是良好习惯，但仍建议控制递归深度或用迭代优化 |
即便当前 TCO 没有广泛实现，尾调用思想仍是编程中节省资源、控制堆栈的有效技巧，是中高级前端面试中的延伸考察点。
常见考点
- 什么是尾调用？尾调用优化有什么好处？
- 尾调用优化需要满足哪些条件？
- 为什么尾递归比普通递归更安全？
- JS 引擎是否支持尾调用优化？有哪些局限？
- 如何手动优化递归，避免栈溢出？