这所房子给人的感觉,就是它似乎已经沉入了无尽的睡梦,那气氛压制着你,不让你醒过来,把你拖进被单下面,像喝醉了酒一样,你没有方法抗拒。 ——《忽然七日》
1.JavaScript的编译过程
- 分词/词法分析,产生词法单元token
- 解析/语法分析,生成抽象语法树AST
- 代码生成,将AST转换为可执行的代码
第一点需要介绍的是:作用域和this环境对象完全是两码事。关于JavaScript的编译及运行过程,应该了解下面这几个名词:作用域,引擎,编译器。对于JavaScript来说,大部分情况下编译发生在代码执行前的几微秒的时间内。举个例子:对于var a = 2;这样的语句在引擎和编译器中是怎样被处理的?常见的错误答案是:编译器为一个变量分配内存,将其命名为a,然后将值保存进这个变量——这个答案并不彻底的正确,更加体现出细节的答案应该是下面这样的:
- 1.对于var a,编译器会询问作用域是否已经存在一个该名称的变量在当前作用域的集合中。如果存在的话,编译器会忽略掉该声明,继续下一步的编译工作;如果不存在的话,那么编译器会要求作用域在当前作用域中创建该变量,并且将其命名为a。
- 2.接下来编译器会为引擎创建生成运行时所需要的代码,这些代码被用来处理a=2这个赋值操作。引擎运行这些代码的时候,首先会询问当前作用域在当前作用域中是否存在a这个变量,如果存在的话,那么引擎则使用那个变量进行赋值操作,如果不存在的话,那么引擎进一步向作用域询问在当前作用域的上一级作用域是否存在变量a,如果有,则使用,如果没有则继续向上一级作用域查找。查询的终点直到查询到了全局作用域为止,如果在全局作用域中有这个变量的话,那么引擎将会使用它。如果没有的话,那么将会抛出一个错误:ReferenceError。在这里在拓展一下关于这两个常见错误的知识:ReferenceError和TypeError,前者是当在查询变量的时候查的直到了全局作用域都查不到便会抛出ReferenceError错误;后者是这样的情况:查询到了变量,但是对这个查询到的变量进行了不合法的操作,比如说对null和undefined进行属性引用,或者对一个非函数类型变量进行函数调用。
关于引擎查找变量也是具有两种类型的:RHS查询和LHS查询,就行为上来说:前者是读,而后者是写。
2.作用域嵌套
在JavaScript中,我们听到的很多一句话那就是它没有块作用域,只有函数作用域。不过实际上,在JavaScript语言中还是具有一些杀马特式的块作用域的,比如with块作用域,ccatch块作用域,let为变量绑定的块作用域,const为常量绑定的块作用域。尽管JavaScript在设计之初,并没有加入块作用域这个实用的东西,但是不可否认的是,他的确存在,杀马特一般的存在着。 作用域嵌套在实际编程中是一件很常见的事情,经常一个函数的声明会在另一个函数的声明里面。那么问题来了,当发生作用域嵌套的时候,变量查询规则是怎样的呢?答案就是:由内层进行查找,内层查不到的话转战外层,直到全局作用域为止,一查到便停止查找,查不到就抛出ReferenceError。
3.RHS查询和LHS查询的某些需要注意的地方
当使用RHS查询的时候,如果一个变量直到查找到全局作用域都查找不到的话,那么便会抛出ReferenceError,但是对于LHS查询而言,如果查到全局作用域都查找不到的话,那么就会在全局作用域中创建这个变量(仅限于非严格模式,严格模式下一样抛出ReferenceError)。
4.作用域的工作模型
作用域的工作模型常见的有两种,他们分别为词法作用域和动态作用域。关于动态作用域工作模型,目前只有较少的语言使用它;而对于词法作用域工作模式,他被大部分语言所所支持,正如我们的JavaScript一样。
END