词法作用域：理解变量查找的规则

2023-10-28 03:58:37

作用域（二）——词法作用域

在上一篇文章中，我们介绍了“作用域”这个概念，它定义了一组规则，指导引擎如何根据标识符名称在当前作用域和嵌套子作用域中查找变量。为了深入了解变量查找机制，让我们探索词法作用域的概念。

词法作用域是一种静态作用域，意味着变量的可见性是在编译时确定的，而不是在运行时。在这种作用域模型中，变量的查找遵循代码中出现的顺序，并受到代码块和函数调用的影响。

嵌套作用域

在词法作用域中，嵌套的代码块和函数创建了自己的作用域，这些作用域可以访问外层作用域中的变量，但外层作用域不能访问内层作用域中的变量。例如：

let outerVar = 10; // 定义在外层作用域中的变量

function innerFunction() {
  let innerVar = 20; // 定义在内层作用域中的变量
  console.log(outerVar); // 访问外层作用域中的变量
  console.log(innerVar); // 访问内层作用域中的变量
}

innerFunction();

在这个例子中，outerVar在外层作用域中定义，可以在内层函数中访问。然而，innerVar在内层作用域中定义，只能在内层函数中访问。

作用域链

当查找变量时，引擎会从当前作用域开始向上搜索，直到找到包含该变量的作用域。这种搜索过程被称为作用域链。例如：

let globalVar = 10; // 定义在全局作用域中的变量

function outerFunction() {
  let outerVar = 20; // 定义在外层作用域中的变量

  function innerFunction() {
    let innerVar = 30; // 定义在内层作用域中的变量
    console.log(globalVar); // 访问全局作用域中的变量
    console.log(outerVar); // 访问外层作用域中的变量
    console.log(innerVar); // 访问内层作用域中的变量
  }

  innerFunction();
}

outerFunction();