第1章 作用域是什么

作用域：是说明如何存储变量，以及如何查找这些变量的规则；

编译原理
编译过程

分词或词法分析(tokening或lexing)

将代码字符串分解成有意义的代码块，这些代码块称为词法单元；

解析或语法分析(parsing)

将所有词法单元转换成由元素逐级嵌套组成的抽象语法树AST，AST代表了程序的语法结构；

代码生成

将AST转换为一组机器指令；

javascript的编译

javascript执行之前是进行编译的，编译发生在执行之前的很短时间之内；

作用域
术语

引擎：负责整个javascript程序的编译和执行过程；

编译器：负责语法分析和代码生成；

作用域：负责收集并维护对所有声明变量的查询，按照规则确定当前执行的代码对这些变量的访问权限；

变量声明并赋值的过程

引擎在执行var a=2;语句时，包含两个过程：

var a由编译器进行处理，编译器会查询作用域中是否已存在该变量:

如果变量不存在会在当前作用域中声明新变量，命名为a;

如果变量已存在，声明会被忽略；

编译器会将a=2转换为机器码，并由引擎运行；

引擎在运行该代码时，首先查询作用域是否存在a变量，如果存在就会使用该变量，将2赋值给a；

如果不存在a变量，引擎会继续查找，如果最终没有找到该变量，将抛出异常；

LHS查询和RHS查询

RHS：简单的查询变量的值；

当变量作为赋值的源时进行RHS查询；

LHS：查找变量的内存地址(?)以便对其进行赋值；

当变量作为赋值目标时，执行LHS查询；

执行LHS查询时，并不关系变量本身的值；

在执行变量赋值如var b=a时：

对a进行RHS查询，取得a的值；

再对b进行LHS查询，取得b的内存地址，并将a的值保存到该地址；

函数调用时，首先对函数进行RHS查询，实参到形参的传递涉及对形参的LHS查询；

function foo(a){}不能理解成var foo=function(a){}这样的LHS查询和赋值形式；

作用域链

当一个函数嵌套在另一函数中时，就发生了作用域的嵌套，在当前作用域中无法找到某个变量时，引擎就会在外层作用域中继续查找，直至到达全局作用域，这些嵌套的作用域称为作用域链；

异常

在变量未声明时，进行两种查询的行为是不一样的；

对一个未声明的变量进行RHS查询时，引擎会抛出ReferenceError异常；

对一个未声明的变量进行LHS查询，会导致在全局作用域创建该变量；

只在非严格模式下可行，在严格模式下对未声明变量进行LHS查询，同样会导致ReferenceError异常；

对一个变量成功进行了RHS查询之后，如果对变量值进行不合理的操作会导致TypeError异常；