JavaScript词法环境是什么？它与执行上下文有何联系？

一分耕耘，一分收获！既然都打开这篇《JavaScript词法环境是什么？它与执行上下文有何联系？》，就坚持看下去，学下去吧！本文主要会给大家讲到等等知识点，如果大家对本文有好的建议或者看到有不足之处，非常欢迎大家积极提出！在后续文章我会继续更新文章相关的内容，希望对大家都有所帮助！

词法环境是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。

词法环境和执行上下文的关系

执行上下文（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 声明不创建新词法环境，而是绑定到最近的函数或全局词法环境的环境记录中。

基本上就这些。理解词法环境的关键是抓住“定义时决定、链式查找、静态可分析”这三点。它不像执行上下文那样随调用动态切换，而是像一张写死的作用域地图，被执行上下文拿来用。

文中关于的知识介绍，希望对你的学习有所帮助！若是受益匪浅，那就动动鼠标收藏这篇《JavaScript词法环境是什么？它与执行上下文有何联系？》文章吧，也可关注golang学习网公众号了解相关技术文章。