从最简单的例子开始
var a = 1;
想要执行代码,必须要先要进行编译。JavaScript的编译过程很短,就在执行代码之前。
编译的主要三个过程:
1.分词/词法分析:
把字符组成的字符串分解成var、a、=、1、;、五个词法单元。
2.解析/语法分析:
把词法单元流[数组],解析成由元素逐级嵌套而成的代表程序语法结构的树(AST)。
3.代码生成:
把AST转换为可执行的代码的过程称为代码生成。
更易理解的说
var a = 1;这样一个简单地程序,分为两个声明,一段由编译器在编译时处理,另外一个由引擎在运行时处理。
- 第一步首先分解成词法单元。
- 第二步解析成树结构
- 第三步
1. 遇见 var a ,编译器会询问作用域,是否已经有一个该名称的变量
存在同一个作用域集合中,如果有,就跳过该声明,继续编译。
如果没有,就会要求作用域在当前的作用域集合中声明一个新的变量
名字叫 a
2.接下来编译器会生成运行时候的代码,这些代码被用来处理a = 2这个赋值操作。
引擎在运行的时候会查询作用域内是否有叫做a的变量,
如果之前没有声明过,就会去上一层作用域去查找。
最终找到的话,就为其执行赋值操作,
没有找到的话,引擎就会抛出一个异常。
更进一步的理解
关于变量的操作都会涉及LHS查询和RHS查询
当变量出现在赋值操作的左侧时进行LHS查询(不准确的理解)
a = 2;
我们不关心a所代表原来的值是什么,
我们只需要找到这个变量,赋值为2
当变量出现在赋值操作的右侧的时候进行RHS查询
console.log(a);
这里对a进行的是RHS查询,因为我们没有对它赋值,而是取得它所代表的值。
function foo (){};//函数声明不能理解成LHS查询
var foo = function(){};//函数表达式可以。
异常
1.执行RHS查询的时候,如果在所有的嵌套的作用域都找不到所需要的变量
--报错:ReferenceError
2.执行LHS查询的时候,如果找到了全局作用域下,还是没有找到,
就会在全局下创建这个变量,返回给引擎(非严格模式下)。
严格模式下:
--报错:ReferenceError
3.如果把RHS查询的变量进行非法操作,比如把一个非函数类型的值
进行函数操作,那么就会报错:
-- TypeError