尾调用优化虽在ES6中定义，但因主流引擎未完全支持，实际不可依赖；需用循环或trampoline等替代方案避免栈溢出。
JavaScript中的尾调用优化（Tail Call Optimization, TCO）是一种编译器或引擎层面的优化技术，目的是在函数的尾调用场景下避免不必要的栈帧增长，从而防止调用栈溢出并提升性能。但需要注意的是，虽然ECMAScript 6（ES6）规范中正式定义了尾调用优化的要求，但目前大多数JavaScript引擎（如V8、SpiderMonkey）并未完全启用该功能，尤其是在非严格模式下。
什么是尾调用？
尾调用指的是函数的最后一个操作是调用另一个函数（或自身），并且该调用的返回值直接作为当前函数的返回值。例如：
function factorial(n, acc = 1) {
if (n <= 1) return acc;
return factorial(n - 1, n * acc); // 尾递归调用
}
在这个例子中，factorial(n - 1, n * acc) 是尾调用，因为它是函数体最后执行的操作，并且其结果直接返回。
尾调用优化的作用
如果没有尾调用优化，每次递归调用都会在调用栈上新增一个栈帧，当递归层级很深时，容易触发“Maximum call stack size exceeded”错误。而启用TCO后，引擎可以重用当前栈帧，而不是创建新帧，从而将空间复杂度从 O(n) 降低到 O(1)。
立即学习“Java免费学习笔记（深入）”；
实现效果类似于将递归转换为循环：
function factorial(n) {
let acc = 1;
while (n > 1) {
acc *= n;
n--;
}
return acc;
}
如何写出符合尾调用优化的代码
要让JavaScript引擎有机会进行尾调用优化，必须满足以下条件：
- 调用发生在尾位置（即函数的最后一条语句）
- 调用的结果被直接返回，不能有后续操作
- 代码运行在严格模式下（"use strict";）
- 调用目标必须是函数对象本身，不能是间接调用（如 (function(){})()）
下面是一些不符合尾调用优化的情况：
// 错误示例1：不是尾位置
function bad1(n) {
if (n === 0) return 1;
return bad1(n - 1) + 1; // 调用后还有加法操作
}
<p>// 错误示例2：非直接返回
function bad2(n) {
if (n === 0) return 1;
const result = bad2(n - 1);
return result;
}</p><p>// 错误示例3：间接调用
function bad3(f, n) {
return f(n); // 引擎无法确定f是否是同一个函数
}
</font></p><H3>实际环境中的支持情况</H3><p>尽管ES6标准要求支持尾调用优化，但主流浏览器出于调试困难和安全考虑，大多未开启该特性。例如：</p><ul><li><strong>V8（Chrome、Node.js）</strong>：长期实验性支持，但默认关闭，且没有稳定启用计划</li><li><strong>SpiderMonkey（Firefox）</strong>：部分版本支持，但后来也因兼容性和调试问题限制使用</li><li><strong>JavaScriptCore（Safari）</strong>：曾短暂支持，现状态不稳定</li></ul><p>因此，在生产环境中<strong>不能依赖尾调用优化来防止栈溢出</strong>。</p><H3>替代方案与建议</H3><p>由于引擎支持不可靠，推荐使用以下方式处理深层递归：</p><ul><li>手动将递归改为循环结构</li><li>使用 trampoline 函数模拟尾调用优化</li><li>利用Promise或setTimeout进行异步解栈（适用于非实时场景）</li></ul><p>trampoline 示例：</p><font face="Courier New"><pre class="brush:php;toolbar:false;">
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));</p>这种方式通过返回函数而不是立即调用，避免了栈增长，实现了类似尾调用优化的效果。
基本上就这些。虽然JavaScript语言层面设计了尾调用优化，但现实执行环境并不支持，开发者应优先采用更可靠的替代方案。不复杂但容易忽略。
