深入理解JavaScript高级之词法作用域和作用域链

什么是词法作用域

词法作用域是指JavaScript代码的作用域是基于源代码中变量和函数声明的位置来确定的，而不是基于运行时的调用栈。换言之，词法作用域与代码的声明位置有关。

例如，下面的代码示例中，bar函数在foo函数内部定义，因此它的作用域（也称为“词法环境”）包含了foo函数范围内的变量，即x变量。

function foo() {
  var x = 1;
  function bar() {
    console.log(x);
  }
  bar();
}
foo(); // 输出1

作用域链

每个JavaScript函数都与一个“作用域链”相关联，该作用域链是由当前执行环境和所有包含它的外部环境中的变量对象组成的。变量对象包含了在当前执行环境中定义的变量，以及在父级执行环境中定义的变量。当需要访问一个变量时，JavaScript引擎会沿着作用域链向上查找，直到找到该变量为止。

例如，下面的代码示例中，bar函数在foo函数内部定义，因此它的作用域链包含了foo函数的变量对象和全局变量对象。当bar函数需要访问x变量时，JavaScript引擎会从bar函数的作用域开始向上查找，直到找到该变量为止。

var x = 1;
function foo() {
  var x = 2;
  function bar() {
    console.log(x);
  }
  bar();
}
foo(); // 输出2

示例说明

示例1

function test() {
  var x = "hello";
  function innerTest() {
    console.log(x);
  }
  x = "world";
  return innerTest;
}
var fn = test();
fn(); // 输出"world"

在上述示例中，innerTest函数定义在test函数内部，但它在return语句中被返回，这就导致它可以在test函数的外部被调用。innerTest函数的作用域链中包含了test函数的变量对象和全局变量对象。当innerTest函数被调用时，JavaScript引擎会从innerTest函数的作用域对象开始向上查找，直到找到x变量为止。由于x变量在test函数内部被重新赋值为"world"，因此最终输出的结果为"world"。

示例2

var a = 1;
var b = 2;
function outer() {
  var a = 3;
  function inner() {
    console.log(a+b);
  }
  return inner;
}
var fn = outer();
fn(); // 输出5

在上述示例中，inner函数在outer函数内部定义，因此它的作用域链包含了outer函数的变量对象和全局变量对象。当inner函数被调用时，JavaScript引擎会从inner函数的作用域对象开始向上查找，直到找到a和b变量为止。由于a变量在outer函数内部被重新赋值为3，而b变量属于全局变量，因此最终输出的结果为5。