词法作用域是闭包存在的前提，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(); // 输出 hello

inner 定义在 outer 内部 → 词法作用域锁定可访问 msg；outer 执行结束 → 其词法环境本该销毁；但 fn（即 inner）被保留并调用 → 引擎通过 inner 的 outer 指针维持对 msg 的引用 → 闭包生效。