词法作用域指函数作用域在定义时即确定，由静态嵌套的词法环境链决定；作用域链是引擎沿[[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）。
立即学习“Java免费学习笔记（深入）”；
这个链不是运行时临时拼的，而是在函数对象创建那一刻就固化下来的。
- 全局代码的
[[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）有独立的模块作用域，它也参与作用域链，但模块顶层不是全局，也不污染全局
