什么是作用域_JavaScript中的作用域链如何工作_技术教程

词法作用域指函数作用域在定义时即确定，由静态嵌套的词法环境链决定；作用域链是引擎沿[[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 块不会产生新的作用域链节点