JavaScript作用域链在函数定义时就固定,按词法嵌套关系构建,查找变量时沿链深度优先就近匹配,与调用栈无关;动态作用域则按调用关系临时查找。

JavaScript 中的作用域链是理解词法作用域的核心工具,它直观体现了变量查找的路径和时机。词法作用域与动态作用域的根本差异,就藏在“链怎么建”和“链怎么走”里。
作用域链在定义时就固定下来
函数被创建时,引擎会记录它**词法上嵌套的位置**,并把对应外层作用域的引用存入内部属性 [[Environment]]。这个链条不是运行时拼出来的,而是写完代码就确定了。
- 比如 function inner() { console.log(x); } 写在 function outer() { let x = 10; ... } 里面,那 inner 的作用域链头两个环节就是:inner 自身作用域 → outer 作用域 → 全局作用域
- 即使把 inner 拿出去赋值给全局变量再调用,这条链也不会变
- 闭包之所以能保留外部变量,正是因为作用域链始终指向定义时的环境,而不是调用时的栈帧
动态作用域没有固定的作用域链
如果 JavaScript 支持动态作用域,变量查找就不会沿定义时的嵌套结构向上找,而是按**当前调用栈**一层层往外看——谁调用了我,我就去它的局部作用域里找变量。
Java项目代码review工具。分析Git变更+完整调用链路上下文,推断业务需求,进行多维度评分和分类汇总,生成完整PRD文档。包含细粒度Java代码审查清单(Null安全、异常处理、Streams、并发、equals/hashCode、资源管理、API设计、性能、MyBatis/ORM、事务边界、SQL/DD...
- 例如:全局有 let x = "global";function bar() { console.log(x); };function foo() { let x = "local"; bar(); };调用 foo() 时,动态作用域会让 bar 去 foo 的执行上下文中找 x,输出 "local"
- 但实际输出是 "global",因为 bar 的作用域链只包含全局,不包含 foo —— 它根本没在 foo 里定义
- 这种按调用关系临时构建查找路径的方式,无法用静态的作用域链描述
查变量时,作用域链决定“往哪找”,不决定“谁调的”
执行一个函数时,引擎会沿着它的作用域链做 RHS 查询:从最内层开始,逐级向外匹配标识符。这个过程完全忽略调用者是谁、在哪里调用、有没有同名变量。
立即学习“Java免费学习笔记(深入)”;
- let a = 1; 在全局;function f() { console.log(a); };function g() { let a = 2; f(); };调用 g() 后,f 仍输出 1
- 原因:f 的作用域链里没有 g,只有全局;g 中的 a 对 f 完全不可见
- this 的绑定是动态的,但变量查找永远走作用域链——这是两个独立机制,别混在一起判断
遮蔽现象是作用域链查找逻辑的直接体现
当多层作用域中出现同名变量,作用域链决定了哪个会被优先取到:第一个匹配项胜出,后面的全被忽略。
- let x = "outer"; function fn() { let x = "inner"; console.log(x); } → 输出 "inner",因为链上第一层(fn 自身)就找到了
- 这说明查找是“深度优先、就近匹配”,不是“选最外层”或“选最新声明”
- 块级作用域(如 if、for 中的 let)也会加入作用域链,所以 if (true) { let x = 3; } console.log(x); 会报错——x 不在当前链上

















