如何理解尾调用在某些 JS 运行时中由于闭包捕获导致无法优化的原因

时间：2026-06-05 10:21:57 编辑：袖梨来源：一聚教程网

尾调用无法优化的核心原因是闭包捕获外层变量，导致外层栈帧不能安全销毁；例如outer中inner()虽为尾调用且引用x，但若弹出outer栈帧，inner将无法访问x，故优化被禁用。

尾调用无法优化，核心在于运行时无法安全地销毁当前函数的执行上下文（栈帧）。当尾调用的目标函数是一个闭包，并且它访问了外层函数的变量时，JS 引擎就无法确定外层栈帧是否还能被清除——因为那些变量可能还在被使用。

尾调用优化的前提是：当前函数调用完另一个函数后，自身栈帧可以立即弹出，不留下任何残留。但闭包打破了这个前提：

下面这段代码看似是尾调用，实则无法优化：

"use strict"
function outer() {
let x = 42;
return function inner() { return x; }(); // inner 是闭包，引用了 x
}

这里 inner() 是尾调用，但它依赖 outer 栈帧里的 x。如果引擎强行弹出 outer 的栈帧，inner 就无法正确读取 x——所以优化被跳过。

尾调用优化本身只在严格模式下被规范定义，但现实更复杂：

虽然闭包影响优化逻辑，但开发者更应关心的是：在写递归函数时，是否无意引入了闭包或中间计算，从而让本可优化的形式失效。例如：