词法作用域是闭包形成的底层前提，即函数定义时就确定其可访问的变量范围；闭包是嵌套函数引用外层变量并逃逸出其作用域后，因outer指针保持对外层词法环境的引用而自然形成的现象。
词法作用域是闭包形成的底层前提，不是运行时决定的，而是写代码时函数放在哪、嵌套在哪，就“锁定”了它能访问哪些变量。闭包不是刻意造出来的，是词法作用域 + 函数作为值被返回或传递时自然发生的现象。
词法作用域：定义时就定死的作用域范围
JavaScript 的作用域在函数声明那一刻就确定了，跟它后来在哪被调用完全无关。比如一个函数在全局定义，它的 outer 指针就指向全局词法环境；如果它定义在另一个函数内部，outer 就指向那个外层函数的词法环境。
这和“动态作用域”（比如某些 shell 脚本）完全不同——后者看的是调用链，而 JS 看的是代码结构本身。
- 函数里访问变量，先查自己词法环境（let/const）和变量环境（var）
- 找不到，就顺着 outer 指针往上找，一级一级直到全局
- 这个查找路径就是作用域链，它由 outer 指针串联而成，不是靠调用栈决定的
闭包形成：内部函数“带走”了外层变量的引用
当一个函数内部定义了另一个函数，并且这个内部函数引用了外部函数的局部变量（比如 let 声明的 count），同时这个内部函数以某种方式逃出了外部函数的作用域（比如作为返回值、赋给全局变量、传给 setTimeout），那么闭包就形成了。
立即学习“Java免费学习笔记（深入）”；
关键点在于：外部函数执行完后，它的执行上下文本该被销毁，但因为内部函数还“抓着”它的词法环境（通过 outer），JS 引擎就不会回收那些变量——它们被“活捉”住了。
- 必须有嵌套函数
- 内部函数必须引用外部函数的变量（哪怕只读）
- 内部函数必须在外部函数作用域之外被调用或保留
一个典型例子帮你串起来
看这段代码：
function makeCounter() {let count = 0;
return function() {
return ++count;
};
}
const inc = makeCounter();
inc(); // 1
inc(); // 2
makeCounter 执行完后，count 理应消失，但它没消失——因为返回的那个匿名函数通过自己的 outer 指针，一直连着 makeCounter 创建时的词法环境。每次调用 inc，都是在操作那个被“封存”的 count。
闭包不是魔法，是词法作用域的必然结果
你不需要“制造”闭包，只要写了嵌套函数 + 引用了外层变量 + 让内层函数跑出去，闭包就自动存在。它本质是 JS 引擎为支持词法作用域而设计的内存管理机制：只要还有活跃的引用，变量就留着。
基本上就这些。
