执行上下文分为全局、函数和eval三种,创建阶段确定this、词法环境和变量环境,作用域链由词法环境构成,逐层查找变量,闭包利用作用域链访问外部变量,let/const引入块级作用域和暂时性死区,共同决定变量访问与生命周期。

JavaScript 的执行上下文和作用域链是理解代码运行机制的核心基础。它们共同决定了变量的查找方式、函数的执行环境以及代码的可访问性。掌握这些概念,能帮助开发者更准确地预测代码行为,避免常见错误。
执行上下文:代码运行的环境
每当 JavaScript 执行一段代码时,都会创建一个执行上下文来管理当前的运行环境。执行上下文分为三种类型:
- 全局执行上下文:代码首次运行时创建,只有一个。全局对象(浏览器中是 window)和全局变量都在这里。
- 函数执行上下文:每次调用函数时创建,每个函数调用都有独立的上下文。
- eval 执行上下文:在 eval 函数中运行代码时创建,通常不推荐使用。
执行上下文的创建分为两个阶段:创建阶段和执行阶段。
在创建阶段,会做三件事:
立即学习“Java免费学习笔记(深入)”;
- 确定 this 的值(this binding)
- 创建词法环境(Lexical Environment),用于存储变量和函数声明
- 创建变量环境(Variable Environment),主要用于 var 声明的提升处理
例如:
console.log(a); // undefined(存在但未赋值)var a = 10;
function foo() {
console.log(b); // undefined
var b = 20;
}
foo();
之所以能“提前”访问变量,是因为在创建阶段,var 声明被提升到了当前上下文中,只是尚未赋值。
作用域链:变量查找的路径
作用域链是执行上下文中的一个内部机制,它决定了变量和函数的访问权限。它本质上是一个由词法环境组成的链式结构,用于逐层向上查找标识符。
JavaScript 采用词法作用域(静态作用域),也就是说,函数的作用域在定义时就确定了,而不是调用时。
看一个例子:
var x = 10;function outer() {
var y = 20;
function inner() {
var z = 30;
console.log(x + y + z); // 60
}
inner();
}
outer();
在 inner 函数中,虽然它没有定义 x 和 y,但它可以访问它们。这是因为 inner 的作用域链包含了自身的词法环境,然后是 outer 的词法环境,最后是全局环境。
作用域链的形成依赖于函数的嵌套关系,每层函数都能“记住”它的外层变量。
闭包与作用域链的关系
闭包是指函数能够访问其外部函数作用域中的变量,即使外部函数已经执行完毕。这正是作用域链的体现。
例如:
function counter() {let count = 0;
return function() {
count++;
return count;
};
}
const inc = counter();
console.log(inc()); // 1
console.log(inc()); // 2
尽管 counter 函数已经返回,但返回的函数依然可以通过作用域链访问到 count 变量。这个引用链就是闭包的核心。
闭包让数据得以私有化,但也可能导致内存泄漏,如果不再需要却仍被引用,垃圾回收机制无法释放。
块级作用域与 let/const 的影响
ES6 引入了 let 和 const,带来了块级作用域的概念。与 var 不同,let 和 const 声明不会被提升到整个函数作用域顶部,而是受限于最近的 {} 块。
例如:
if (true) {let blockVar = 'I am block-scoped';
}
console.log(blockVar); // 报错:blockVar is not defined
这是因为 let 声明的变量只存在于该块的作用域内,不会进入变量提升的“全局可见”状态。
在执行上下文中,let 和 const 虽然也会被收集,但处于“暂时性死区”(Temporal Dead Zone),直到声明语句执行前都不能访问。
基本上就这些。执行上下文构建了运行环境,作用域链决定了变量如何查找,而闭包和块级作用域则是它们的实际体现。理解它们之间的协作关系,能让代码更可控、更高效。不复杂但容易忽略。










