作用域
一套设计良好的规则来存储变量，并且方便之后再找到变量。这套规则叫做作用域。
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查询
网友评论