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

JavaScript 的词法作用域在代码真正执行前就已锁定,关键不在运行时怎么调用,而在源码写在哪——编译阶段就定死了变量归属和查找路径。
词法分析阶段就标记作用域结构
引擎拿到源码第一件事是词法分析:把代码切分成一个个 token(比如 function、let、变量名、花括号等),只“看”结构,不执行任何逻辑。
- 遇到
function outer() { ... },立刻标记这里开启一个新作用域,父级就是当前所处的作用域(比如全局) - 如果
function inner()写在outer函数体内部,引擎直接确认inner的词法父级是outer的作用域 -
let x、const y或var z出现在哪一层代码块里,就登记到对应层级的作用域记录中,位置决定归属
函数定义时就固化 [[Environment]] 引用
每个函数对象在创建(即定义)那一刻,引擎就悄悄给它挂上一个隐式属性 [[Environment]],指向它诞生时所在的词法环境。
当用户要求为 Java 代码添加注释、修改注释、审查注释、整理注释格式,或要求按照代码注释规范处理 Java 文件时,使用本技能。本技能用于统一生成和维护 Java 类注释模板、按 Git 对比 release 判断版本号、补充每行代码上方中文块注释、调整注释空行规则,并保持 Java 文件 UTF-8 无 BOM 编码。典型触发场景包括:补充类注释、更新 @version、检查 @author 来源、整理行尾注释、把注释放到代码上一行、检查注释是否符合规范、构建前检查 Java 注释风格。
- 比如
function makeGreeting() { let msg = 'Hi'; return () => console.log(msg); },箭头函数一被定义,它的 [[Environment]] 就绑死了makeGreeting的作用域 - 哪怕
makeGreeting执行完、局部变量本该“消失”,这个链接依然存在——闭包就这么来的 - 变量查找永远顺着这条编译期就搭好的链:当前作用域 → 外层作用域 → 全局,不依赖调用栈
遮蔽关系由嵌套位置静态决定
同名变量谁生效,不是看谁后声明或谁先执行,而是看它们在源码里嵌套的层级关系。
立即学习“Java免费学习笔记(深入)”;
-
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)的位置,直接映射到对应作用域对象的绑定记录表里

















