词法环境是JavaScript中定义时确定的抽象机制，由环境记录（存储变量绑定）和外部词法环境引用（构成作用域链）组成，用于变量查找；它被执行上下文持有，区分全局、函数、块级三种类型。
词法环境是 JavaScript 中用来管理变量和函数声明的内部机制，它决定了变量在哪里可以被访问、值是什么。它不是运行时动态创建的“对象”，而是一种规范中的抽象概念，描述了标识符（比如变量名）和它们对应值之间的绑定关系。
词法环境包含什么？
每个词法环境由两部分组成：
- 环境记录（Environment Record）：真正存储变量、函数、参数等绑定的地方。分为声明式记录（如函数内）和对象式记录（如 with 语句）。
- 外部词法环境引用（Outer Lexical Environment）：指向其外层作用域的词法环境，形成链式结构——这就是“词法环境链”或“作用域链”的基础。
词法环境在哪儿产生？
它在代码**定义时**（也就是词法分析阶段）就已确定，和函数的书写位置直接相关，与调用位置无关。例如：
function outer() {
const x = 10;
function inner() {
console.log(x); // 这里能访问 x，因为 inner 的词法环境的 outer 引用指向 outer 的词法环境
}
return inner;
}
const fn = outer();
fn(); // 输出 10 —— 尽管 outer 已执行完毕，inner 仍通过其词法环境链记住 x
这个例子体现的是闭包：inner 函数的词法环境保留了对 outer 词法环境的引用，所以能持续访问 x。
立即学习“Java免费学习笔记（深入）”；
词法环境和执行上下文的关系
执行上下文（Execution Context）是 JS 引擎执行一段代码时的运行时“容器”，它包含三个核心部分：
- 变量对象（VO）或词法环境（LE）—— ES6 起主要用词法环境替代 VO
- 作用域链（Scope Chain）—— 实际就是当前词法环境及其所有外部词法环境组成的链
- this 值
换句话说：执行上下文持有并使用词法环境，词法环境是执行上下文里负责变量查找的核心组件。每当函数被调用，引擎会创建一个新的执行上下文，并基于该函数的定义位置初始化其词法环境（含正确的外部引用）。
全局、函数、块级词法环境的区别
不同代码结构会创建不同类型的词法环境：
- 全局词法环境：最外层，outer 为 null；其环境记录既存全局变量（如 var 声明），也关联全局对象（如 window）。
- 函数词法环境：每次函数调用新建；环境记录包含参数、arguments（非箭头函数）、函数内 let/const/var 声明；outer 指向函数定义时所在词法环境。
- 块级词法环境：由 { } 块（如 if、for、let/const 声明所在的块）触发；只包含该块内 let/const 声明；outer 指向外层函数或全局词法环境。
注意：var 声明不创建新词法环境，而是绑定到最近的函数或全局词法环境的环境记录中。
基本上就这些。理解词法环境的关键是抓住“定义时决定、链式查找、静态可分析”这三点。它不像执行上下文那样随调用动态切换，而是像一张写死的作用域地图，被执行上下文拿来用。
