JavaScript只支持词法作用域,变量查找基于函数定义位置而非调用位置;如全局定义的foo()调用时无论被谁执行都访问全局x,闭包则印证作用域绑定发生在定义时刻。

JavaScript 只支持词法作用域,不原生支持动态作用域。所谓“区分”,其实是通过对比代码行为,看清 JS 是如何在定义时锁定变量查找路径的——而不是等运行时再看谁调用了它。
词法作用域:变量查找看函数写在哪
函数内部访问变量,引擎会沿着代码嵌套结构向上找,从定义位置开始一层层往外查,和谁调用它完全无关。
- 全局声明 let x = 'global'
- 函数 foo() 在顶层定义,内部写 console.log(x)
- 另一个函数 bar() 内部也声明了 let x = 'local',然后调用 foo()
- 结果:输出 'global',不是 'local'
因为 foo 的定义位置就在全局,它的作用域链一开始就只连着全局环境。
动态作用域(仅作对比,JS 不这样):变量查找看函数被谁调用
如果 JS 是动态作用域,foo() 执行时就会顺着调用栈往回找:它被 bar() 调用 → 就去 bar 的局部环境里找 x → 找到 'local' 就输出它。
分析 Java Spring Boot 后端 Controller 代码,自动生成 Markdown 格式的接口文档。当用户说“生成 Java 接口文档”、“生成 API 文档”、“从 Spring 代码生成文档”时触发。
立即学习“Java免费学习笔记(深入)”;
- Bash 中可直接验证这种行为:x=global; foo() { echo $x; }; bar() { local x=local; foo; }; bar → 输出 local
- JS 没有这种机制,但你可以用 eval 或 with(已废弃且禁止)模拟出类似效果,不推荐也不代表语言本意
遮蔽现象是词法作用域的自然体现
同一作用域链上,内层声明会覆盖外层同名变量,这恰恰说明查找是按嵌套层级静态进行的。
- let x = 1(全局)
- function outer() { let x = 2; inner(); }
- function inner() { console.log(x); }(inner 定义在全局,所以仍输出 1)
- 但如果把 inner 写进 outer 里面:function outer() { let x = 2; function inner() { console.log(x); } inner(); } → 输出 2
差别只在 inner 写在哪,不在谁调用它。
闭包是词法作用域最直观的证据
函数返回后,其内部仍能访问定义时所在作用域的变量,说明作用域绑定发生在定义那一刻,而非执行时。
- function makeCounter() { let count = 0; return () => ++count; }
- const c1 = makeCounter(); const c2 = makeCounter();
- c1() 和 c2() 各自维护独立的 count,因为每个 makeCounter 调用都创建了新的词法环境,而返回的函数记住了它定义时的环境引用

















