作用域链是函数定义时按词法嵌套形成的单向查找链，从当前AO依次向上访问outer指向的外层AO直至全局VO；闭包通过outer引用使外部变量对象属性被长期持有。
作用域链拓扑图不是画出来好看的，而是帮你一眼看清变量从哪来、往哪找、为什么找不到。排查多层嵌套闭包的寻址问题，关键不在“画得全”，而在“标得准”——准确标出每个函数定义时的词法位置和 outer 引用指向。
先画出函数定义位置决定的词法结构
闭包的寻址路径完全由函数声明时的代码位置决定，跟调用顺序无关。比如：
const globalName = '全局';
function foo() {
const fooName = 'foo';
return function bar() {
const barName = 'bar';
return function baz() {
console.log(globalName, fooName, barName);
};
};
}
这段代码中，baz 的词法外层是 bar，bar 的词法外层是 foo，foo 的词法外层是全局。拓扑图应严格按此嵌套绘制，而不是按调用顺序（如 foo() → bar() → baz()）连箭头。
- 在图中用实线箭头表示 outer 引用方向：baz → bar → foo → 全局
- 每个节点只写该函数定义时能直接访问的变量（环境记录），不写它“后来可能拿到”的值
- 全局节点必须显式标出 window/global 对象，作为链底锚点
标注每个作用域的变量对象（AO/VO）内容
变量对象是作用域链上实际存储数据的单元。拓扑图中每个节点旁应列出其变量对象的关键字段，例如：
立即学习“前端免费学习笔记（深入）”；
PigX UI 前端开发
下载
PigX UI Pro 前端开发指南 - Vue 3 + TypeScript + Element Plus。当用户提到 PigX UI、PigX 前端、lgb-mgui 项目、Vue 3 企业级后台开发、Element Plus 后台开发时使用此技能。
- 全局作用域：{ globalName: '全局' }
- foo 函数作用域：{ fooName: 'foo' }（注意：此时 bar 还未执行，barName 不在此处）
- bar 函数作用域：{ barName: 'bar' }（bar 执行时才创建，但它的 outer 指向 foo）
- baz 函数作用域：{}（空，但它会沿链向上查）
这样标清后，当 baz 中访问 fooName，你立刻看出：当前无，查 bar → 无，查 foo → 有。路径一目了然。
用虚线标出闭包捕获的变量引用链
闭包真正“留住”的，是对外部变量对象属性的引用，不是快照。拓扑图中可用虚线+注释标明哪些变量因闭包而被长期持有：
- 从 baz 节点出发，虚线指向 foo 节点中的
fooName字段（因为 baz 体里用了它） - 同样虚线指向 bar 节点中的
barName（baz 也用了它） - globalName 是全局的，无需虚线——它本来就不会被回收
这能解释常见问题：为什么多次调用同一个闭包会共享 count？因为所有实例都通过虚线连到同一个变量对象的同一属性上。
对照运行时执行上下文栈验证链路
拓扑图是静态的（定义时确定），执行上下文栈是动态的（调用时生成）。排查时需两者比对：
- 当
baz()执行时，执行栈是：[全局] ← [foo] ← [bar] ← [baz] - 但它的作用域链仍是：
baz.AO → bar.AO → foo.AO → 全局.VO - 如果发现某变量查不到，先确认：它是否真的出现在这条静态链上？有没有拼错名？有没有被同名变量遮蔽（如 var 和 let 同名）？
此时拓扑图就是你的“源代码地图”，执行栈只是“当前定位点”。定位偏差，往往是因为误把调用栈当成了作用域链。
