尾调用无法优化的核心原因是闭包捕获外层变量，导致外层栈帧不能安全销毁；例如outer中inner()虽为尾调用且引用x，但若弹出outer栈帧，inner将无法访问x，故优化被禁用。
尾调用无法优化，核心在于运行时无法安全地销毁当前函数的执行上下文（栈帧）。当尾调用的目标函数是一个闭包，并且它访问了外层函数的变量时，JS 引擎就无法确定外层栈帧是否还能被清除——因为那些变量可能还在被使用。
为什么闭包会让尾调用优化失效
尾调用优化的前提是：当前函数调用完另一个函数后，自身栈帧可以立即弹出，不留下任何残留。但闭包打破了这个前提：
- 闭包会“捕获”外层作用域中的自由变量（比如 let num = 1），这些变量本该随外层函数退出而释放
- 一旦闭包被作为尾调用目标，引擎必须确保这些被捕获的变量在闭包执行期间仍可访问
- 这就要求外层函数的栈帧不能提前销毁，否则闭包内部读取 num 时就会出错
- 结果就是：尾调用虽在语法上成立，但优化被禁用，栈帧照常压入
一个典型不可优化的例子
下面这段代码看似是尾调用，实则无法优化：
function outer() {
let x = 42;
return function inner() { return x; }(); // inner 是闭包，引用了 x
}
这里 inner() 是尾调用，但它依赖 outer 栈帧里的 x。如果引擎强行弹出 outer 的栈帧，inner 就无法正确读取 x——所以优化被跳过。
严格模式与实际支持情况
尾调用优化本身只在严格模式下被规范定义，但现实更复杂：
- Safari 是目前唯一在部分场景下实现该优化的主流浏览器引擎
- V8（Chrome/Node.js）、SpiderMonkey（Firefox）等均未启用，即使代码完全合规
- 这意味着，闭包导致的优化失败，在绝大多数 JS 环境中其实“无关紧要”——因为尾调用优化基本不生效
真正需要关注的是递归场景
虽然闭包影响优化逻辑，但开发者更应关心的是：在写递归函数时，是否无意引入了闭包或中间计算，从而让本可优化的形式失效。例如：
- 避免在尾调用前赋值给局部变量再返回
- 不要在尾调用后做加减、拼接等操作
- 传参代替闭包捕获：把外层变量显式作为参数传入，而非靠作用域链访问
