静态与动态作用域

在计算机编程中，作用域是指程序中变量、函数以及对象的可访问性范围。静态作用域和动态作用域是两种常见的作用域规则，它们决定了程序在运行时如何解析变量引用。

静态作用域

静态作用域，也称为词法作用域，是在编译时确定的作用域规则。它定义了变量在源代码中被声明的位置决定了其可见性的方式。在静态作用域中，作用域链是在编译阶段就被静态确定的。

示例代码：

var a = 1;

function foo() {
  console.log(a);
}

function bar() {
  var a = 2;
  foo();
}

bar(); // 输出 1

在上面的示例中，bar 函数内部定义了一个名为 a 的变量，但在调用 foo 函数时，它会访问到外层作用域中的全局变量 a 的值。这是因为 foo 函数在声明时已经确定了其作用域，在调用时依然使用的是外层作用域。

动态作用域

与静态作用域不同，动态作用域是在运行时确定的作用域规则。在动态作用域中，作用域链是基于当前执行上下文中的栈来动态确定的。

示例代码：

var a = 1;

function foo() {
  console.log(a);
}

function bar() {
  var a = 2;
  foo();
}

bar(); // 输出 2

在上面的示例中，foo 函数在被调用时，会访问到当前执行上下文中的变量 a，而不是外层作用域的全局变量 a。这是因为动态作用域是基于调用栈来决定的。

静态作用域 vs 动态作用域

静态作用域和动态作用域在解析变量引用的方式上存在一定的差异。

• 静态作用域是基于源代码的结构来确定作用域，在编译时就静态地决定了作用域链。静态作用域的优点是在代码编写阶段就能确定变量引用的解析方式，便于代码理解和调试。但它的缺点是无法根据程序的运行时的上下文来改变作用域。

• 动态作用域是基于当前执行上下文栈来动态确定作用域链，允许根据程序运行时的上下文改变作用域。动态作用域的优点是灵活，可以根据需要动态改变作用域链，但缺点是给程序带来了不确定性和调试的复杂性。

在大部分编程语言中，包括JavaScript在内，都采用了静态作用域的方式来解析变量引用。这意味着在编写代码时，我们可以根据变量的作用域规则来预测其行为，以提高程序的可读性和可维护性。

总结来说，静态作用域和动态作用域是两种不同的作用域规则，它们决定了程序如何解析变量引用。静态作用域在编译时确定作用域链，而动态作用域在运行时动态确定作用域链。对于大部分编程语言来说，包括JavaScript，静态作用域是较为常见和普遍的作用域规则。