JavaScript作用域链在函数定义时确定,由[[Environment]]属性串联词法环境构成,变量查找从内到外沿链搜索,var提升而let/const有TDZ,with和eval会动态修改作用域链。

JavaScript的作用域链是在函数定义时就确定的,不是在调用时才创建。它由当前函数的词法作用域(即函数声明时所处的位置)决定,并沿嵌套层级向上连接外层作用域,直到全局作用域为止。
作用域链的形成过程
每当声明一个函数,JS引擎会为其内部绑定一个 [[Environment]] 内部属性,指向其定义时所在词法环境(Lexical Environment)。这个环境包含变量对象(VO)和对外层环境的引用。多个这样的引用串联起来,就构成了作用域链。
- 全局代码的作用域链只包含全局环境
- 函数内部的作用域链 = 自身词法环境 + 外层函数的词法环境 + … + 全局环境
- 闭包之所以能访问外层变量,正是因为内部函数的 [[Environment]] 持有对外层词法环境的引用
变量查找规则:从内到外、逐层搜索
当访问一个变量时,JS引擎按以下顺序查找:
- 先在当前执行上下文的词法环境中查找(如函数自身的变量、形参、
let/const声明) - 若未找到,则顺着 [[Environment]] 引用进入外层词法环境继续查找
- 重复该过程,直到到达全局环境
- 如果全局环境也没有该变量,就抛出
ReferenceError
注意:查找只看变量声明位置,不看函数调用位置。例如,即使把一个嵌套函数作为参数传给另一个文件里的函数并执行,它依然沿原定义路径向上找变量。
立即学习“Java免费学习笔记(深入)”;
var、let/const 在查找中的差异
它们都遵循同一套作用域链查找逻辑,但初始化行为不同,影响查找结果:
-
var变量会被提升(hoisted),在声明前可访问(值为undefined) -
let/const存在“暂时性死区”(TDZ),在声明前访问会直接报错,不是找不到,而是语法禁止 - 块级作用域(如
if、for)中用let/const声明的变量,只在该块内有效,不会污染外层作用域
容易混淆的情况:with 和 eval 的影响
这两个语句会**动态修改作用域链**,导致查找路径变复杂,且性能差、调试难,因此严格模式下禁用 with,也应避免使用 eval:
-
with(obj)会将obj临时插入到作用域链顶端 -
eval如果包含变量声明,在非严格模式下会在当前作用域中创建变量,相当于扩展了当前词法环境
现代代码基本不用它们,了解即可。











