JavaScript尾调用优化（TCO）是复用栈帧避免溢出的技术，要求严格模式、尾位置调用、无arguments/caller/callee引用、静态可确定目标，但主流引擎均未实际支持，应优先使用循环替代。
JavaScript 的尾调用优化（Tail Call Optimization，TCO）是一种在特定条件下复用函数调用栈帧的技术，目的是避免因深度递归导致的“Maximum call stack size exceeded”错误。它不是让递归变快，而是让尾递归不占额外栈空间——理论上可无限调用而不溢出。
尾调用是什么？
尾调用指一个函数的最后一步操作是调用另一个函数（包括自身），且该调用的返回值直接被返回，中间不做任何计算或处理。
- ✅ 正确示例：
return factorial(n - 1, n * acc);—— 调用在末尾，结果直接返回 - ❌ 错误示例：
return 1 + factorial(n - 1);—— 加法在调用之后，不是尾调用 - ❌ 错误示例：
const res = factorial(n - 1); return res * 2;—— 有中间变量和后续运算
TCO 是怎么工作的？
普通函数调用会在调用栈中新增一帧，保存当前函数的变量、执行位置等；而满足尾调用条件时，引擎可丢弃当前帧，直接复用它来执行被调用函数——就像把一张旧表格擦掉重写，而不是再拿一张新表格。
- 栈深度保持为 1（对纯尾递归而言）
- 内存占用稳定，不随递归次数增长
- 本质是“跳转”而非“调用”，类似 goto 或循环跳转
启用 TCO 的硬性条件
必须同时满足以下四点，引擎才可能触发优化：
立即学习“Java免费学习笔记（深入）”；
- 代码运行在严格模式下（
"use strict"） - 调用位于语法上的尾位置（return 后紧跟函数调用表达式）
- 不能引用已废弃的属性，如
arguments、caller、callee - 调用目标必须可静态确定（不能是
fn()、obj[method]()等间接调用）
现实中的支持情况
ES6 规范要求支持 TCO，但主流引擎基本未启用：
- V8（Chrome / Node.js）：曾实验性支持，2017 年后移除，至今不支持
- SpiderMonkey（Firefox）：部分简单场景有识别，但不保证优化
- JavaScriptCore（Safari）：早期短暂支持，现也受限或关闭
这意味着：即使你写出了完全合规的尾递归函数，在浏览器里运行仍大概率报栈溢出。
开发者该怎么做？
别依赖 TCO。实用替代方案更可靠：
- 改写为循环：阶乘、遍历、累加类逻辑，几乎都能用 while / for 清晰替代
- 蹦床函数（trampoline）：让递归函数返回函数，由外层循环逐个执行，彻底控制栈深
-
异步分片：用
setTimeout或queueMicrotask拆解大递归，释放栈
基本上就这些。规范很美，现实很稳——写安全代码，优先选循环，尾递归只当一种清晰的建模方式，别当救命稻草。
