作用域
一套设计良好的规则来存储变量,并且方便之后再找到变量。这套规则叫做作用域。
1. 编译原理
通常认为JavaScript是“动态”||“解释执行”的语言,事实上是一门编译语言。不过其并非提前编译的,编译的结果也不能再分布式系统中移植运行。
JavaScript引擎编译步骤
- 分词/词法分析
将字符串分解为(对编程语言来说)有意义的代码块(即词法单元) - 解析/语法分析
将词法单元流(数组)转换成“抽象语法树”(AST) - 代码生成
将AST转换为可执行代码的过程为代码生成
简单来说就是有某种方法可以将
var a = 2;
的AST 转化为一组机器指令,用来创建一个叫作a 的变量(包括分配内存等),并将一个值储存在a 中。
任何JavaScript代码片段在执行前都要编译,大多是发生在执行前几微秒。
2. 理解作用域
- 引擎
从头到尾负责整个JavaScript程序的编译及执行过程 - 编译器
辅助词法分析&代码生成 - 作用域
负责收集&维护所有声明的标识符(变量)组成的一系列查询,并实施非常严格的规则,确定当前执行代码对这些变量的访问权限。
对var a = 2;
的分解
- 编译器先将这段代码分解为词法单元,再将词法单元解析成一个树结构
- 遇到
var a
,编译器会询问作用域是否存在同名变量。是->忽略该声明,继续编译;否->在当前作用域的集合中声明一个新的变量,并命名为a - 接下来,编译器会为引擎生成运行时所需代码,用来处理
a = 2
的操作。引擎运行时会先询问作用域,在当前作用域集合中是否存在叫a的变量,是->引擎使用此变量;否->引擎继续查找;如未找到,会抛出异常
总结:变量的赋值会执行两个动作,首先在当前作用域中声明变量(如之前未声明过),然后运行时,引擎在作用域中查找该变量,如果找到则进行赋值。
LHS查询&RHS查询
根据变量在赋值操作(=
)的左右侧分为,LHS和RHS
- RHS是取值,查找源值
- LHS是取容器,找到目标
函数声明function foo(a) {...
不是LHS查询
而var foo、 foo = function(a) {...
是LHS查询
function foo(a) {
var b = a;
return a + b;
}
var c = foo( 2 );
这其中有3处LHS和4出RHS
LHS: c=... | a=... | b=...
RHS: foo(2) | =a | a+ | +b
3. 作用域嵌套
在当前作用域中无法找到某个变量,就会向外层作用域查找,直到找到该变量或抵达最外层的作用域(全局作用域)
4. 异常
ES5中引入了“严格模式”,在正常模式|“宽松模式“|”懒惰模式”下,如果找到全局作用域还是找不到变量,会自动或隐式地创建全局变量。
而在“严格模式”下,不会创建并返回一个全局变量,引擎会抛出ReferenceError异常。
严格模式下,禁止自动或隐式地创建全局变量
小结
- 作用域是一套规则,用于确定在何处以及如何查找变量(标识符)
- 查找的目的是对变量赋值,则是LHS查询;目的是获取变量的值则是RHS查询