前言
学习文章:
各位大佬都写得非常好,图示说明+代码说明,非常易于理解。码住。
下面是我的笔记,可以无视。
词法环境
词法环境(Lexical Environment)是 JavaScript 中用于管理变量和函数声明的一种机制。
它由两部分组成:
-
环境记录(Environment Record):用于存储变量、函数声明以及函数声明的形参等信息。
环境记录有多种类型,例如声明式环境记录(用于记录直接有标识符定义的元素,如变量、常量、let、class、module、import以及函数声明等)、对象式环境记录(主要用于with和全局的词法环境)。其中,声明式环境记录又可分为函数环境记录(用于函数作用域)和模块环境记录(模块环境记录用于体现一个模块的外部作用域,即模块export所在环境)。 -
对外部环境的引用(Outer),即作用域链:这是一个指向包含(包围)本词法环境的外部词法环境的引用。它是形成作用域链的关键。作用域链使得在当前词法环境中找不到某个变量时,可以沿着链向上一级的词法环境中查找,直到找到全局词法环境(其outer为null)。如果在整个作用域链中都找不到该变量,就会抛出ReferenceError(引用错误)。
词法环境的特点
- 词法环境是在代码定义的时候决定的,与代码在哪里调用没有关系。这意味着函数的词法环境在函数定义时就已经确定。
- JavaScript 采用的是词法作用域(静态作用域),即变量的作用域是由其在代码中的位置决定的,而不是在运行时动态确定的。
var a = 1; // a是全局变量
function foo() {
console.log(a);
function bar() {
var b = 2;
console.log(a * b);
}
bar();
}
function baz() {
var a = 10;
foo();
}
baz();
在上述代码中:
- 全局词法环境中有变量
a
和函数foo
、baz
的记录。 foo
函数的词法环境中,其outer
指向全局词法环境,并且有函数bar
的记录。bar
函数的词法环境中,其outer
指向foo
函数的词法环境。
当在bar
函数中使用变量a
时,会沿着作用域链向上查找,foo
函数的词法环境中没有变量a
,继续outer
,直到找到全局词法环境中的a
,其值为1
,然后计算a * b
的值并输出。
词法环境的概念对于理解 JavaScript 中的变量作用域、闭包等特性非常重要。它帮助确定了在代码执行时如何查找和访问变量及函数。
简单来说,词法环境就像是一个“户口簿”,记录了变量和函数的信息,并且通过outer
建立了与外部词法环境的联系,形成了一条可以查找变量的“链条”(作用域链)。这样,在代码执行过程中,JavaScript 引擎就能够根据词法环境和作用域链准确地找到需要的变量和函数。