尾调用优化允许函数在尾位置调用时不增加调用栈深度，避免栈溢出；该优化仅在严格模式下且调用位于尾位置时生效，如尾递归阶乘函数factorial(n, acc)中n
尾调用优化（Tail Call Optimization, TCO）是ECMAScript 6中提出的一项语言特性，旨在让特定形式的函数调用在不增加调用栈深度的情况下执行，从而避免栈溢出。虽然标准支持了这一特性，但实际开发中的应用与验证需要格外注意环境兼容性和代码结构。
理解尾调用与优化条件
一个函数的尾调用是指该函数的最后一个动作是调用另一个函数，并且其返回值直接作为当前函数的返回值。只有在严格模式下、且调用处于尾位置时，JavaScript引擎才可能进行优化。
示例：以下是一个典型的尾递归阶乘函数：
function factorial(n, acc = 1) {
if (n <= 1) return acc;
return factorial(n - 1, n * acc); // 尾调用
}
这个调用位于尾位置，且无额外计算，符合尾调用形式。
立即学习“Java免费学习笔记（深入）”；
现实环境中是否可用？
尽管ES6规范要求支持TCO，但主流引擎出于实现复杂性和调试困难的考虑，并未广泛启用。
当用户要求为 Java 代码添加注释、修改注释、审查注释、整理注释格式，或要求按照代码注释规范处理 Java 文件时，使用本技能。本技能用于统一生成和维护 Java 类注释模板、按 Git 对比 release 判断版本号、补充每行代码上方中文块注释、调整注释空行规则，并保持 Java 文件 UTF-8 无 BOM 编码。典型触发场景包括：补充类注释、更新 @version、检查 @author 来源、整理行尾注释、把注释放到代码上一行、检查注释是否符合规范、构建前检查 Java 注释风格。
- V8（Chrome、Node.js）：长期未实现，目前仍禁用TCO。
- JavaScriptCore（Safari）：曾部分支持，但在某些版本中也被移除或限制。
- SpiderMonkey（Firefox）：有限支持，仅在特定条件下触发，不稳定。
这意味着在大多数生产环境中，尾调用优化实际上不可依赖。即使代码写成尾递归形式，依然可能引发 Maximum call stack size exceeded 错误。
如何验证是否被优化？
可以通过构造深层递归测试来间接判断：
function testTailCall() {
function tailCall(n) {
if (n <= 0) return 'done';
return tailCall(n - 1);
}
console.time('tailCall');
try {
tailCall(100000);
console.timeEnd('tailCall');
} catch (e) {
console.log('Stack overflow at n =', e.stack.split('\n').length);
}
}
testTailCall();
若运行不报错且时间短，可能被优化；若报栈溢出，则未启用TCO。你可以在不同浏览器中运行此代码观察行为差异。
替代方案与实践建议
鉴于TCO支持薄弱，开发者应采用更可靠的替代方式：
- 使用循环代替递归，尤其在处理大数据或深层逻辑时。
- 借助蹦床函数（trampoline）手动消除递归栈：
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>const result = trampoline(() => factorial(10000));
这种方式将递归转为迭代执行，避免栈增长，兼容性好。
基本上就这些。尾调用优化理念很好，但现阶段更适合学习和理论探讨，在真实项目中应优先选择稳定可预测的方案。
