关于动态作用域（dynamic scope）下变量返回undefined及代码报错的疑问

嘿，我来帮你理清楚这个问题～ 你得出0的结果，大概率是不小心把动态作用域和我们日常更熟悉的词法作用域搞混了，或者忽略了动态作用域最核心的变量查找规则，具体来说有这几个关键点：

• 混淆了动态作用域的查找逻辑：调用栈链≠定义作用域链
  词法作用域是「看函数定义在哪里」，沿着定义时的上层作用域链找变量；但动态作用域是「看函数在哪里被调用」，沿着调用时的栈链往上找变量。如果调用栈的所有层级都没有目标变量，就会报错/返回undefined，而不是去函数定义时的环境（比如全局）找。
  举个典型的例子：

  var a = 0; // 全局变量a
  function foo() {
    console.log(a);
  }
  function bar() {
    // bar里没有定义a
    foo();
  }
  bar();
  

  词法作用域下，foo定义在全局，会找到全局的a=0；但动态作用域下，foo是在bar里被调用的，调用栈是bar → foo，bar里没有a，且调用栈的上层若也没有a的话，就会报错，而不是取全局的0。你可能错误地用了词法作用域的逻辑去推导动态作用域，所以得到了0。

• 忽略了动态作用域的变量查找边界：不会自动回退到全局
  很多动态作用域的语言（比如Bash、早期的Lisp变种），变量查找只会局限在当前的调用栈链中，不会默认回退到全局作用域。哪怕全局有同名变量，只要调用栈里找不到，就会触发“未定义”错误。你可能默认动态作用域和词法作用域一样，找不到就去全局找，所以误判为0。

• 错误绑定了全局变量与动态上下文
  你可能潜意识里把全局变量当成了动态作用域的默认 fallback，但动态作用域的核心是「调用时的执行上下文」，只有当全局是当前调用栈的最顶层（比如直接在全局调用函数）时，才会访问到全局变量。如果函数是在某个局部上下文里调用的，全局变量不在当前调用栈链中，就不会被访问到。

内容的提问来源于stack exchange，提问作者David