执行上下文是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 中被提出的原因之一。
刚开始接触模版引擎的 PHP 设计师,听到 Smarty 时,都会觉得很难。其实笔者也不例外,碰都不敢碰一下。但是后来在剖析 XOOPS 的程序架构时,开始发现 Smarty 其实并不难。只要将 Smarty 基础功练好,在一般应用上就已经相当足够了。当然基础能打好,后面的进阶应用也就不用怕了。 这篇文章的主要用意并非要深入探讨 Smarty 的使用,这在官方使用说明中都已经写得很完整了。笔
词法环境与作用域链:变量查找的核心机制
每个执行上下文内部包含一个词法环境,用于存储变量和函数声明。词法环境由两部分组成:环境记录(Environment Record)和外部词法环境引用(outer lexical environment)。
- 环境记录:记录当前作用域内的变量和函数绑定。
- 外部引用:指向其外层函数或全局环境,形成作用域链。
当查找一个变量时,引擎从当前词法环境开始,沿着外部引用逐层向上搜索,直到全局环境。这就是闭包能够访问外部函数变量的根本原因——内部函数保留了对外部词法环境的引用。
this 的绑定机制:动态但可预测
this 的值在执行上下文中确定,不是在编写时决定的。它的指向取决于函数是如何被调用的。
- 全局环境中,this 指向全局对象(浏览器中是 window)。
- 普通函数调用,this 默认指向全局对象(严格模式下为 undefined)。
- 方法调用,this 指向调用该方法的对象。
- 通过 call、apply、bind 可显式绑定 this。
- 箭头函数没有自己的 this,继承外层作用域的 this 值。
这种动态性使得 this 在复杂调用链中容易出错,但只要理解调用方式和执行上下文的创建规则,就能准确预测其值。
基本上就这些。掌握执行上下文的创建流程、调用栈的行为、词法环境的结构以及 this 的绑定逻辑,就能真正看懂 JavaScript 是如何一步步运行代码的。不复杂但容易忽略。









