深入JavaScript_执行上下文与作用域链

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

JavaScript 的执行上下文和作用域链是理解代码运行机制的核心基础。它们共同决定了变量的查找方式、函数的执行环境以及代码的可访问性。掌握这些概念,能帮助开发者更准确地预测代码行为,避免常见错误。

执行上下文:代码运行的环境

每当 JavaScript 执行一段代码时,都会创建一个执行上下文来管理当前的运行环境。执行上下文分为三种类型:

  • 全局执行上下文:代码首次运行时创建,只有一个。全局对象(浏览器中是 window)和全局变量都在这里。
  • 函数执行上下文:每次调用函数时创建,每个函数调用都有独立的上下文。
  • eval 执行上下文:在 eval 函数中运行代码时创建,通常不推荐使用。

执行上下文的创建分为两个阶段:创建阶段执行阶段

在创建阶段,会做三件事:

  • 确定 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),直到声明语句执行前都不能访问。

基本上就这些。执行上下文构建了运行环境,作用域链决定了变量如何查找,而闭包和块级作用域则是它们的实际体现。理解它们之间的协作关系,能让代码更可控、更高效。不复杂但容易忽略。