如何理解Javascript的执行上下文?

JavaScript执行上下文主要有三种:全局执行上下文、函数执行上下文和eval执行上下文;每个上下文包含词法环境、变量环境和this绑定,经历创建与执行两阶段,构成调用栈。

JavaScript 的执行上下文(Execution Context)是代码运行时的“环境容器”,它决定了变量、函数能被访问的范围,以及 this 的指向。理解它,就等于看清了 JS 代码“在哪执行、能看见什么、this 是谁”这三件事的底层依据。

执行上下文有哪几种类型?

JS 中主要有三种执行上下文:

  • 全局执行上下文:脚本一启动就创建,只有一个。最外层没被函数包裹的代码都在这里执行;this 指向全局对象(浏览器中是 window,Node.js 中是 global)。
  • 函数执行上下文:每次调用函数时创建,每个调用都有独立的一份。参数、函数内声明的变量、this 值都在这个上下文中确定。
  • Eval 执行上下文:极少用,eval() 执行字符串代码时创建,基本可忽略。

执行上下文内部包含什么?

每个执行上下文在创建时,会初始化三个核心部分:

  • 词法环境(Lexical Environment):记录当前作用域中声明的变量和函数(即 let/const/function),还保存一个指向外部词法环境的引用(形成作用域链)。
  • 变量环境(Variable Environment):早期用于处理 var 声明的提升和初始化(undefined),现在和词法环境高度重合,但语义上仍区分——let/const 在词法环境中,var 在变量环境中。
  • this 绑定:根据函数调用方式决定(如普通调用、方法调用、call/apply、箭头函数继承外层等),不是从作用域链里找,而是由执行上下文直接记录。

执行上下文是怎么创建和销毁的?

过程分两阶段:创建阶段执行阶段

  • 进入函数时,JS 引擎先做创建:分配内存、建立词法/变量环境、确定 this、把函数声明和 var 提升并初始化(undefined),let/const 虽被声明但处于“暂时性死区”(TDZ),不能访问。
  • 然后进入执行阶段:逐行运行代码,给变量赋值、执行函数调用——每次新调用又触发新一轮创建,形成执行上下文栈(Execution Context Stack,也叫调用栈)。
  • 函数执行完毕后,对应上下文从栈顶弹出,其中的变量若无其他引用,会被垃圾回收。

为什么理解执行上下文对写代码有帮助?

它直接解释了很多常见现象:

  • 函数能访问外层变量(闭包本质就是内部上下文保留对外部词法环境的引用);
  • var a = 1; console.log(a); var a = 2; 不报错,因为创建阶段已声明 a 并设为 undefined
  • let b = 1; console.log(b); let b = 2; 报错(ReferenceError),因为 b 在 TDZ 内不可读;
  • 箭头函数没有自己的 this,因为它不创建执行上下文中的 this 绑定,而是沿用外层上下文的值。

基本上就这些。执行上下文不复杂,但容易忽略——它不是语法糖,而是 JS 运行时的真实结构。看懂它,很多“奇怪行为”就变自然了。