javascript作用域链如何形成_变量查找的规则是什么

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

JavaScript的作用域链是在函数定义时就确定的，不是在调用时才创建。它由当前函数的词法作用域（即函数声明时所处的位置）决定，并沿嵌套层级向上连接外层作用域，直到全局作用域为止。

作用域链的形成过程

每当声明一个函数，JS引擎会为其内部绑定一个 [[Environment]] 内部属性，指向其定义时所在词法环境（Lexical Environment）。这个环境包含变量对象（VO）和对外层环境的引用。多个这样的引用串联起来，就构成了作用域链。

• 全局代码的作用域链只包含全局环境
• 函数内部的作用域链 = 自身词法环境 + 外层函数的词法环境 + … + 全局环境
• 闭包之所以能访问外层变量，正是因为内部函数的 [[Environment]] 持有对外层词法环境的引用

变量查找规则：从内到外、逐层搜索

当访问一个变量时，JS引擎按以下顺序查找：

• 先在当前执行上下文的词法环境中查找（如函数自身的变量、形参、let/const 声明）
• 若未找到，则顺着 [[Environment]] 引用进入外层词法环境继续查找
• 重复该过程，直到到达全局环境
• 如果全局环境也没有该变量，就抛出 ReferenceError

注意：查找只看变量声明位置，不看函数调用位置。例如，即使把一个嵌套函数作为参数传给另一个文件里的函数并执行，它依然沿原定义路径向上找变量。

var、let/const 在查找中的差异

它们都遵循同一套作用域链查找逻辑，但初始化行为不同，影响查找结果：

• var 变量会被提升（hoisted），在声明前可访问（值为 undefined）
• let/const 存在“暂时性死区”（TDZ），在声明前访问会直接报错，不是找不到，而是语法禁止
• 块级作用域（如 if、for）中用 let/const 声明的变量，只在该块内有效，不会污染外层作用域

容易混淆的情况：with 和 eval 的影响

这两个语句会**动态修改作用域链**，导致查找路径变复杂，且性能差、调试难，因此严格模式下禁用 with，也应避免使用 eval：

• with(obj) 会将 obj 临时插入到作用域链顶端
• eval 如果包含变量声明，在非严格模式下会在当前作用域中创建变量，相当于扩展了当前词法环境

现代代码基本不用它们，了解即可。