函数执行上下文的 LexicalEnvironment 与 VariableEnvironment-js教程-PHP中文网

词法环境（lexicalenvironment）负责运行时变量查找与作用域链构建，管理let/const/参数/this等；变量环境（variableenvironment）专管var和函数声明的初始化与提升，二者在创建阶段同源，执行阶段分工明确。

函数执行上下文的 lexicalenvironment 与 variableenvironment

JavaScript 函数执行上下文里，LexicalEnvironment（词法环境）和 VariableEnvironment（变量环境）是两个独立但紧密协作的内部组件，它们都属于执行上下文（Execution Context），但职责不同、行为不同、影响的作用域机制也不同。

词法环境（LexicalEnvironment）管“怎么找变量”

它决定运行时变量和 this 的查找路径。
当你写 console.log(x) 或访问 this，引擎就从当前 LexicalEnvironment 开始，沿着它的 outer 引用逐层向上查找，直到全局环境——这就是作用域链的实质。

存储内容：
- let / const 声明的绑定（含块级作用域，比如 if、for 内部）
- 函数参数
- catch 子句的异常绑定
- 箭头函数的 this（词法继承）
特点：
- 支持块级作用域，进入/退出块时会创建或销毁对应的词法环境
- let/const 变量在声明前处于 TDZ（暂时性死区），访问报错
- outer 指向外部词法环境，构成静态可追溯的作用域链

例如：

function foo() {
  let x = 1;
  {
    let x = 2;
    console.log(x); // 2 → 当前块的 LexicalEnvironment 中的 x
  }
  console.log(x); // 1 → 外层函数 LexicalEnvironment 中的 x
}

变量环境（VariableEnvironment）管“哪些东西能被提前声明”

它只负责var 声明和函数声明的初始化与绑定，是执行上下文创建阶段就“拍板定案”的那一份快照。

存储内容：
- var 声明（初始化为 undefined）
- 函数声明（直接绑定为函数对象）
特点：
- 在执行上下文创建阶段（Creation Phase）就完成全部绑定
- 不随块级结构变化——var 在 if 或 {} 里声明，依然属于函数级变量环境
- 是造成“变量提升”现象的底层机制

例如：

function bar() {
  console.log(a); // undefined（不是 ReferenceError）
  if (false) {
    var a = 10; // 仍会被提升到函数级 VariableEnvironment
  }
}

注意：虽然规范中 VariableEnvironment 本身也是一个词法环境类型（LexicalEnvironment 的子类），但它不用于运行时查找，只用于声明阶段的绑定管理。真正参与变量读取的是 LexicalEnvironment。

它们的关系不是“谁包含谁”，而是“谁服务谁”

创建阶段：

Java Maven Common
Java Maven 项目审查工作流的通用输入处理。当 Java Maven 项目以 ZIP压缩包或 GitLab 仓库 URL 形式提供且需要...时使用。

下载
- VariableEnvironment 和 LexicalEnvironment 初始指向同一个环境记录（比如函数的 DeclarativeEnvironmentRecord）
- 但一旦遇到块级结构（如 { let b = 1 }），LexicalEnvironment 会切换为新的块级环境，而 VariableEnvironment 保持不变
执行阶段：
- 所有变量读取（x）、this、super 都走 LexicalEnvironment 链
- var 赋值、函数调用等操作，最终也依赖 LexicalEnvironment 查找，但它的初始绑定来自 VariableEnvironment 的创建结果

简言之：

VariableEnvironment 是“声明登记处”（尤其对 var 和函数）
LexicalEnvironment 是“运行时寻址簿”（对所有标识符，包括 let/const/this/参数等）

实际调试中怎么观察？

现代 DevTools（如 Chrome）的“Scope”面板显示的 “Closure”、“Function”、“Block”、“Global” 等层级，本质上就是 LexicalEnvironment 链的可视化呈现；而 var 变量总出现在最外层函数作用域下，正反映了 VariableEnvironment 的静态绑定特性。

你不需要手动操作这两个环境，但理解它们的分工，就能一眼看穿：