JavaScript词法作用域在编译阶段(词法分析与AST生成时)即静态确定,由代码嵌套位置决定变量归属、遮蔽关系及函数的[[Environment]]引用,运行时仅沿预设链查找。

JavaScript 的词法作用域在代码真正执行前就已锁定,关键不在运行时怎么调用,而在源码写在哪——编译阶段就定死了变量归属和查找路径。
词法分析阶段就标记作用域结构
引擎拿到源码第一件事是词法分析:把代码切分成一个个 token(比如 function、let、变量名、花括号等),只“看”结构,不执行任何逻辑。
- 遇到
function outer() { ... },立刻标记这里开启一个新作用域,父级就是当前所处的作用域(比如全局) - 如果
function inner()写在outer函数体内部,引擎直接确认inner的词法父级是outer的作用域 -
let x、const y或var z出现在哪一层代码块里,就登记到对应层级的作用域记录中,位置决定归属
函数定义时就固化 [[Environment]] 引用
每个函数对象在创建(即定义)那一刻,引擎就悄悄给它挂上一个隐式属性 [[Environment]],指向它诞生时所在的词法环境。
分析 Java Spring Boot 后端 Controller 代码,自动生成 Markdown 格式的接口文档。当用户说“生成 Java 接口文档”、“生成 API 文档”、“从 Spring 代码生成文档”时触发。
- 比如
function makeGreeting() { let msg = 'Hi'; return () => console.log(msg); },箭头函数一被定义,它的 [[Environment]] 就绑死了makeGreeting的作用域 - 哪怕
makeGreeting执行完、局部变量本该“消失”,这个链接依然存在——闭包就这么来的 - 变量查找永远顺着这条编译期就搭好的链:当前作用域 → 外层作用域 → 全局,不依赖调用栈
遮蔽关系由嵌套位置静态决定
同名变量谁生效,不是看谁后声明或谁先执行,而是看它们在源码里嵌套的层级关系。
-
let x = 1; function foo() { let x = 2; console.log(x); }中,foo内部的console.log一定输出 2,因为编译时已确认内层x遮蔽了外层 - 哪怕
foo是从另一个模块导入、用setTimeout延迟调用,结果也不会变 - IDE 自动补全、ESLint 变量未定义警告,都靠这套静态结构工作——编辑时就能判断来源
编译三步走,作用域雏形在 AST 生成后就成型
整个编译流程是:词法分析 → 语法分析(生成 AST)→ 字节码生成。作用域链的骨架,在 AST 构建完成时就基本确定。
- AST 节点天然反映嵌套关系:函数声明节点包含在其父节点内部,块级作用域节点也作为子节点存在
- 引擎基于 AST 为每个函数分配作用域对象,并设置好 [[Environment]] 指针
- 变量声明语句(
let/const/var)的位置,直接映射到对应作用域对象的绑定记录表里
Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南










