JavaScript变量作用域问题：代码运行输出结果与预期不符

核心原因 #

你对输出结果的预期是基于动态作用域的执行逻辑，但JavaScript采用的是词法作用域（静态作用域），二者的作用域绑定规则完全不同：

• 词法作用域：函数的作用域在函数定义阶段就已经确定，仅和函数声明时所在的代码位置有关，和函数的调用位置、调用栈完全无关
• 动态作用域：函数的作用域在函数调用阶段才确定，和函数的调用位置相关

代码运行逻辑分析 #

你提供的代码中，函数C是直接在全局作用域下声明的，因此它的作用域链固定为：C自身作用域 → 全局作用域，不管在哪里调用C，查找变量a时都会按照这个链路向上查找。

'use strict';
// C定义在全局作用域，作用域链固定指向全局
function C() {
  console.log(a);
}

function B() {
  let a = 'printing A from B()';
  C(); // 调用位置不影响C的作用域链，不会访问B的a
}

function A() {
  let a = 'printing A from A()';
  B(); // 同理，A的a也不会进入C的作用域链
}

const a = 'printing A from global context';

三个调用的实际逻辑：

1. 调用A()：A调用B，B调用C，C自身没有a，向上查找全局的a，输出全局结果，符合你的预期
2. 调用B()：B内定义的a属于B的局部作用域，不会进入C的作用域链，C还是找到全局的a，因此输出全局值，和你预期的printing A from B()不符
3. 调用C()：直接在全局调用C，还是查找全局的a，不会访问A或B内的局部变量

符合你预期的修改方案 #

如果要让C能访问调用位置外层的a，可以选择两种方案：

1. 把a作为参数传递给C：

// 修改C定义
function C(a) {
  console.log(a);
}
// 调用时传参
function B() {
  let a = 'printing A from B()';
  C(a); // 传入B的a
}

2. 调整函数嵌套结构，把C定义在B内部，让C的词法作用域指向B的作用域：

function B() {
  let a = 'printing A from B()';
  // C定义在B内部，作用域链包含B的作用域
  function C() {
    console.log(a);
  }
  C(); // 此时调用就会输出B的a
}

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