尾调用优化（TCO）是js引擎将尾调用转为循环以避免栈溢出的机制，但仅safari在严格模式下真正支持；尾调用指函数最后一步直接返回另一函数调用结果。
尾调用优化（Tail Call Optimization，TCO）是 javaScript 引擎在满足特定条件时，将尾调用转换为循环以避免新增调用帧、防止栈溢出的机制。但要注意：目前只有 Safari 的 javascriptCore 引擎在严格模式下真正支持 TCO；V8（chrome/node.js）和 SpiderMonkey（firefox）虽曾尝试实现，但已暂停或未启用。也就是说，写法上可以遵循尾调用规范，但不能依赖运行时一定优化。
什么是尾调用？
尾调用指函数的最后一步操作是调用另一个函数（或自身），且该调用的返回值直接作为当前函数的返回值——中间不再做任何计算或处理。
✅ 正确的尾调用（尾递归）：
function factorial(n, acc = 1) {
if (n return factorial(n – 1, n * acc); // 最后一步是调用自身，无后续运算
}
❌ 非尾调用（普通递归）：
立即学习“Java免费学习笔记（深入）”；
function factorial(n) {
if (n return n * factorial(n – 1); // 调用后还要乘 n，不是尾位置
}
如何写出可被优化的递归函数
- 确保递归调用处于尾位置：函数体最后执行的语句必须是函数调用，不能跟在加减、拼接、赋值等操作之后
- 消除“调用后处理”逻辑：把累积结果通过参数传递（即引入累加器 accumulator），而不是靠返回值层层回传
- 使用严格模式：TCO 规范要求代码运行在
"use strict"下，否则引擎可能直接忽略尾调用上下文 - 避免闭包捕获外部变量参与计算：尾调用需保证调用目标明确、无动态作用域干扰，尽量让所有状态都显式通过参数传递
实际开发中的建议
- 即使引擎不优化，尾递归写法本身也更易理解、不易出错，适合表达迭代逻辑
- 对深度不确定的递归（如树遍历、大型数组处理），优先改用显式循环或迭代器，避免栈溢出风险
- 可借助 Babel 等工具将尾递归自动转为 while 循环（需插件如
@babel/plugin-transform-tail-recursion），获得兼容性保障 - 测试时不要仅看 Chrome 控制台行为——它不启用 TCO，建议在 Safari 技术预览版中验证尾调用是否真的复用栈帧