执行上下文是代码运行时的完整环境，词法作用域通过其内部的词法环境组件实现变量绑定与作用域链查找；执行上下文含ThisBinding、词法环境和变量环境三部分，词法环境由环境记录和外部引用构成，静态确定并支撑闭包。
执行上下文和词法作用域是 JavaScript 运行机制的两个核心支柱，它们不是并列概念，而是“容器与内容”的关系：执行上下文是代码运行时的完整环境，词法作用域则通过词法环境（Lexical Environment）这一组件，在其中具体实现变量绑定与查找规则。
执行上下文是运行时的“工作台”
每当一段可执行代码（全局代码或函数调用）开始运行，JS 引擎就会创建一个执行上下文。它包含三个关键部分：
-
ThisBinding：决定当前上下文中
this的指向 -
词法环境（LexicalEnvironment）：负责存储
let、const声明，并维护对外部词法环境的引用，支撑块级作用域和闭包 -
变量环境（VariableEnvironment）：专门处理
var声明和函数声明的提升与初始化
全局上下文只存在一个；每次函数调用都会新建一个函数执行上下文，并压入调用栈——函数返回后，该上下文即被销毁。
词法作用域由定义位置静态决定
词法作用域不是运行时动态生成的，而是在代码写完、解析阶段就已固化。它体现为函数体内部能访问哪些外层变量，完全取决于函数在源码中**声明的位置**，而非调用位置。
立即学习“Java免费学习笔记（深入）”；
例如：
function outer() {
const x = 10;
return function inner() {
console.log(x); // 能访问，因为 inner 在 outer 内部定义
};
}
const fn = outer();
fn(); // 即使在全局调用，x 仍可访问
这里的 inner 函数的词法环境，从创建之初就持有了对 outer 词法环境的引用——这就是词法作用域的落地形式。
词法环境是执行上下文里实现作用域的结构
每个执行上下文都必须配备一个词法环境，它是词法作用域的运行时载体。它的内部结构包括：
-
环境记录（Environment Record）：实际存放当前作用域中
let/const变量的地方，类似一个键值映射表 - 外部词法环境引用（OuterEnv）：指向其外层（父级）词法环境，多个嵌套形成作用域链
当查找变量 a 时，引擎会先查当前词法环境的环境记录；找不到就顺着 OuterEnv 向上查找，直到全局词法环境——这个过程就是作用域链的遍历。
闭包的本质是词法环境的持久化保留
闭包之所以能“记住”外层变量，不是因为函数记住了某个值，而是因为它所关联的词法环境对象，连同其 OuterEnv 链，被 JS 引擎持续保留在内存中。
只要内层函数还存在（比如被赋值给全局变量、作为回调传入异步操作），它所依赖的外层词法环境就不会被垃圾回收——这正是闭包让局部变量“逃逸”出函数生命周期的关键机制。
