词法作用域是闭包存在的前提,javascript在函数声明时就根据源码嵌套结构确定其可访问变量范围,且该范围不随调用位置改变;内部函数通过outer指针持续引用外层词法环境,形成闭包。

词法作用域不是闭包的“结果”,而是它发生的土壤——没有词法作用域,闭包根本不会存在。
词法作用域:代码写定时就锁死的作用域范围
JavaScript 在函数声明那一刻,就根据代码的嵌套结构,确定了它能访问哪些变量。这个范围不随调用位置改变,只取决于函数在源码中“出生”的地方。
- 一个在全局定义的函数,它的 outer 指针 指向全局词法环境
- 一个定义在
makeCounter内部的函数,它的 outer 指针 就固定指向makeCounter执行时创建的那个词法环境 - 查找变量时,引擎沿着 outer 指针一级级向上找,这条链就是作用域链,和调用栈无关
为什么动态作用域无法产生闭包
像某些 shell 脚本那样,按“谁调用了我”来决定能访问什么变量,叫动态作用域。而 JavaScript 的词法作用域是静态的:它看的是“我在哪被写出来”,不是“我在哪被运行”。正因如此,内部函数才能在外部函数执行完毕后,依然准确找到当初定义时就能看到的那些变量。
闭包只是词法作用域的自然延续
当一个内部函数引用了外层的 let/const 变量,并作为返回值、事件回调或定时器任务离开原作用域,JS 引擎发现它还“牵着”外层的词法环境,就会保留那个环境不被回收——这不是特殊机制,而是词法作用域必须成立的保障。
- 不需要 return 函数才叫闭包;只要嵌套 + 引用 + 外部存活,闭包就已形成
- 每个函数都自带 outer 指针,但只有当它逃出原作用域并仍需访问外层变量时,这个指针才真正“显形”为闭包
- 所谓“记住”,本质是 outer 指针持续有效;所谓“访问”,是作用域链查找过程照常发生
一个最小闭环验证
这段代码没做任何“封装”操作,却完整展现了前提与结果:
function outer() { const msg = 'hello'; return function inner() { console.log(msg); }; } const fn = outer(); fn(); // 输出 helloinner 定义在 outer 内部 → 词法作用域锁定可访问 msg;outer 执行结束 → 其词法环境本该销毁;但 fn(即 inner)被保留并调用 → 引擎通过 inner 的 outer 指针维持对 msg 的引用 → 闭包生效。











