17370845950

词法作用域指函数作用域在定义时即确定，由静态嵌套的词法环境链决定；作用域链是引擎沿[[Environment]]逐层向上查找变量的路径，闭包、var/let/const行为及模块作用域均受其约束。

JavaScript 中的作用域不是“变量能不能被看到”的模糊概念，而是由函数定义时所处的词法环境决定的一套**静态可追溯的嵌套关系**；作用域链就是引擎沿着这条关系逐层向上查找变量的实际路径。

什么是词法作用域（Lexical Scope）

JavaScript 采用词法作用域，意味着函数的作用域在**函数定义时就确定了**，跟它在哪里被调用无关。这和“动态作用域”（比如某些 shell 或 Lisp 变体）完全不同。

常见错误现象：ReferenceError: x is not defined 或意外读到外层同名变量，往往是因为误以为调用位置决定了作用域。

• 函数内部访问变量，先查自己 [[Environment]]（即闭包环境），再查外层函数的 [[Environment]]，直到全局
• eval() 和 with 会动态修改词法作用域，但已被严格模式禁用，不建议使用
• 箭头函数没有自己的 this 和 arguments，但它继承外层函数的词法作用域（包括 [[Environment]]）

作用域链怎么构建：从函数创建说起

每次声明函数（无论 function、=> 还是 class 方法），JS 引擎都会为它绑定一个隐藏属性 [[Environment]]，指向其定义时所在词法环境的记录（Lexical Environment Record）。

这个链不是运行时临时拼的，而是在函数对象创建那一刻就固化下来的。

• 全局代码的 [[Environment]] 指向全局环境（含 window / globalThis 等）
• 函数 A 内定义函数 B，则 B 的 [[Environment]] 指向 A 创建时的词法环境（哪怕 A 已执行完毕）
• 每个词法环境包含两个部分：EnvironmentRecord（存变量）和 outer（指向上一级环境）

function outer() {
  const x = 'outer';
  function inner() {
    console.log(x); // x 在 outer 的 EnvironmentRecord 中
  }
  return inner;
}
const fn = outer();
fn(); // 输出 'outer' —— inner 的 [[Environment]] 仍指向 outer 执行时留下的环境

var / let / const 对作用域链的影响

三者都受词法作用域约束，但声明提升（hoisting）和暂时性死区（TDZ）会让它们在作用域链中“可见性”不同。

• var 声明会被提升到函数或全局顶部，初始化为 undefined；它在整块作用域内都存在于当前环境记录中
• let 和 const 也会被提升，但未初始化，从声明前到初始化前处于 TDZ；引擎在查找时若遇到 TDZ 中的变量，直接抛 ReferenceError
• 块级作用域（{}）对 let/const 有效，但对 var 无效；这意味着 if 或 for 块不会产生新的作用域链节点

容易被忽略的关键点

作用域链只用于**标识符解析（Identifier Resolution）**，和 this 绑定、原型链、模块导入导出完全无关。很多人混淆“找不到变量”和“this 指向不对”，其实是两条独立机制。

• 闭包捕获的是整个词法环境，不是单个变量值；多个闭包共享同一份 [[Environment]]，改一个会影响另一个（比如循环中没用 let 声明 i）
• 使用 debugger 或 DevTools 的 “Scope” 面板，能看到当前执行位置的完整作用域链，比猜更可靠
• ES6 模块（import/export）有独立的模块作用域，它也参与作用域链，但模块顶层不是全局，也不污染全局