执行上下文是JavaScript运行核心，引擎通过创建和执行两阶段生成上下文，结合调用栈管理函数调用顺序，利用词法环境与外部引用构成作用域链实现变量查找，同时依据调用方式动态确定this指向，箭头函数则继承外层this。
JavaScript 是一门单线程、解释型语言，它的执行机制核心之一就是“执行上下文”（Execution Context）。理解执行上下文是掌握 JavaScript 运行原理的关键。它决定了变量查找、函数调用、this 指向等行为。下面从底层机制出发，深入剖析 JavaScript 引擎如何解析和管理执行上下文。
执行上下文的生命周期：创建与执行
每当 JavaScript 引擎开始执行一段代码时，都会为其创建一个执行上下文。这个过程分为两个阶段：
- 创建阶段：在代码执行前，引擎会进行预处理，包括变量提升（hoisting）、函数提升、确定 this 指向以及创建词法环境（Lexical Environment）和变量环境（Variable Environment）。
- 执行阶段：变量被赋值，函数被调用，语句逐行执行，词法环境中的绑定被更新。
例如，在全局代码执行前，全局执行上下文被创建，window 对象（浏览器中）被绑定为 this，所有 var 声明的变量被初始化为 undefined，函数声明则完整地存入内存。
执行上下文栈：控制函数调用顺序
JavaScript 引擎使用一个栈结构来管理执行上下文，称为调用栈（Call Stack）或执行栈。全局上下文位于栈底，每次函数调用都会创建新的执行上下文并压入栈顶。当前正在执行的上下文始终在栈顶。
立即学习“Java免费学习笔记（深入）”；
- 函数调用时，新上下文入栈。
- 函数执行完毕，上下文出栈，控制权交还给下一层。
递归过深会导致栈溢出（Stack Overflow），因为调用栈有最大深度限制。这也是为什么尾递归优化在 ES6 中被提出的原因之一。
词法环境与作用域链：变量查找的核心机制
每个执行上下文内部包含一个词法环境，用于存储变量和函数声明。词法环境由两部分组成：环境记录（Environment Record）和外部词法环境引用（outer lexical environment）。
- 环境记录：记录当前作用域内的变量和函数绑定。
- 外部引用：指向其外层函数或全局环境，形成作用域链。
当查找一个变量时，引擎从当前词法环境开始，沿着外部引用逐层向上搜索，直到全局环境。这就是闭包能够访问外部函数变量的根本原因——内部函数保留了对外部词法环境的引用。
this 的绑定机制：动态但可预测
this 的值在执行上下文中确定，不是在编写时决定的。它的指向取决于函数是如何被调用的。
- 全局环境中，this 指向全局对象（浏览器中是 window）。
- 普通函数调用，this 默认指向全局对象（严格模式下为 undefined）。
- 方法调用，this 指向调用该方法的对象。
- 通过 call、apply、bind 可显式绑定 this。
- 箭头函数没有自己的 this，继承外层作用域的 this 值。
这种动态性使得 this 在复杂调用链中容易出错，但只要理解调用方式和执行上下文的创建规则，就能准确预测其值。
基本上就这些。掌握执行上下文的创建流程、调用栈的行为、词法环境的结构以及 this 的绑定逻辑，就能真正看懂 JavaScript 是如何一步步运行代码的。不复杂但容易忽略。
