AST 抽象语法树

1. 执行

编译语言和解释语言的主要区别在于词义分析后生成的类型不同，他们都会生成AST这一步，3,4,5，6可以合并称之为代码生成

我们前端开发用的JavaScript就是解释型语言，其实一开始是没有字节码的，是直接将AST编译成机器码，所以效率是很高的，但是机器码占用的内存过大，所以又有了字节码的出现。这里又涉及到一门新的技术 JIT（即使编译）

的出现。

所以我们的V8引擎使用的是字节码 + JIT 的技术

AST 抽象语法树

首先我们知道我们输入一段 JavaScript 代码，他会先经过词法和语法分析得到 AST 也就是我们的抽象语法树。那么为什么需要转化为 AST 呢？那是我们编写的的的无论是编译型语言还是解释型语言，都是不能被编译器或解释器

所理解的。而且转化为 AST 还能有很多的便利，我们的 babel， ESlint 很多工具都是在这一步进行的。

1. 首先第一步是分词，也就是词法分析

分词就是把一行行代码拆分为每一个 token，也就是语法上不可再分，最小的单位。同时去除空格，对 token 分类等。

// 源码 let aaa = '12: 30'

// Tokens数组 [

{ type: { ... }, value: "let", start: 0, end: 3, loc: { ... } }, { type: { ... }, value: "aaa", start: 4, end: 7, loc: { ... } },

{ type: { ... }, value: "=", start: 8, end: 9, loc: { ... } }, { type: { ... }, value: "12:30", start: 10, end: 15, loc: { ... } },

]

上面的代码就会拆分为，其中关键字“let”、标识符“aaa”、赋值运算符“=”、字符串“12: 30”四个都是 token，而且它们代表的属性还不一样。添加到 Token 数组中。

1. 词法分析之后就进行解析，也就是语法分析

其作用是将上一步生成的 token 数据，根据语法规则（扫描 token 列表，形成语法二叉树）转为 AST。如果源码符合语法规则，这一步就会顺利完成。但如果源码存在语法错误，这一步就会终止，并抛出一个“语法错误”。

通过这样就构建起 AST 抽象语法树。

LHS 和 RHS

首先变量的赋值操作会执行两个动作，首先编译器会在当前作用域中声明一个变量（之前没有声明），然后运行时引擎会在该作用域中查找该变量，如果能找到就会对他赋值

那么引擎查找中就涉及到我们这里要讲到的 LHS查询和 RHS查询