如何理解javascript中的词法作用域？_闭包是如何访问外部函数变量的？

词法作用域指函数作用域在定义时即确定，由代码书写结构决定；闭包是函数与其定义时词法环境的组合，捕获外部变量引用而非值，使变量生命周期延长。

JavaScript 中的词法作用域（Lexical Scope）是指函数的作用域在**定义时就确定了**，而不是在调用时才决定。它由代码的书写结构（即“词法”位置）决定，和函数在哪里被调用无关。闭包正是基于词法作用域实现的：一个函数记住了它定义时所处的词法环境，因此能持续访问其外部函数的变量。

词法作用域：定义时就“拍板”了

词法作用域不是运行时动态查找的，而是 JavaScript 引擎在解析阶段就通过代码结构确定的。只要看函数写在哪一层嵌套里，就能知道它能访问哪些变量。

• 内层函数可以访问外层函数的变量，但外层不能访问内层的
• 即使外层函数已经执行结束、执行上下文被销毁，只要内层函数还存在（比如被返回或保存），它依然保有对外层变量的引用
• 变量查找遵循“就近原则”：先查自己作用域，再逐级向外找，直到全局；找不到就报 ReferenceError

闭包：函数 + 它的词法环境

闭包不是某种特殊语法，而是一个函数与其定义时所在词法环境的组合。当函数被创建时，引擎会为它绑定一个“词法环境记录”，里面存着它能访问的所有外部变量的引用（不是拷贝）。

• 常见表现：外层函数返回一个内层函数，该内层函数仍可读写外层的局部变量
• 关键点：变量被“捕获”进闭包后，生命周期延长——只要闭包还活着，这些变量就不会被垃圾回收
• 注意：闭包捕获的是变量的**引用**，多个闭包共享同一变量（比如循环中没用 let 时容易出问题）

一个典型例子帮你看清机制

（不用记代码，重点看行为背后的逻辑）

function outer() {
  let count = 0;
  return function inner() {
    count++;
    return count;
  };
}
const counter = outer(); // 此时 outer 执行完毕，但 count 没被释放
console.log(counter()); // 1  
console.log(counter()); // 2

这里：inner 在定义时就处于 outer 的词法环境中，所以它记住了 count 的位置。每次调用 counter()，实际是在操作那个被闭包持有的 count 变量，而不是重新声明一个新的。

闭包访问外部变量的关键细节

• 访问的是变量本身，不是值的快照（除非是原始值且没被修改）
• 如果外部变量后来被重新赋值，闭包看到的就是新值
• var 声明的变量存在变量提升，let/const 有暂时性死区，但闭包捕获的仍是它们在词法作用域中对应的绑定位置
• 闭包不会复制外部变量，只是持有对其内存地址的引用