JavaScript AST 抽象语法树

图：Mako Tsereteli

简介

AST（Abstract Syntax Tree，抽象语法树）在 Wikipedia 的定义如下：

In computer science, an abstract syntax tree (AST), or just syntax tree, is a tree representation of the abstract syntactic structure of source code written in a programming language.

指的是：源代码的抽象语法结构的树状表现形式

编译原理

先回顾下编译原理的几大过程：

1**词法分析**   ===>   单词与记号、正则表达式、有限自动机、从正则表达式到有限自动机的转换、词法分析器的实现
2        ││
3    **语法分析**   ===>   上下文无关文法、递归下降分析、LR 分析、错误处理、语法分析器自动生成
4        ││
5    **语义分析**   ===>   类型系统、属性文法、语法制导翻译、符号表管理、抽象语法树、线性中间表示、图中间表示
6        ││
7  **中间代码生成**   ===>   变量地址分配、算术表达式翻译、布尔表达式翻译、数组、结构体和字符串的翻译、控制流的翻译、函数调用的翻译
8        ││
9**目标代码优化与生成**   ===>   目标体系结构、树匹配代码生成、基于动态规划的代码生成、寄存器分配、指令调度、控制流分析、数据流分析、死代码删除、常量传播、拷贝传播、静态单赋值形式

JavaScript 是一门解释型语言，但其在执行过程中仍然需要即时编译（JIT），其编译过程也遵循这些流程：

1**分词／词法分析**   ===>   把字符串分解成有意义的代码块，这些代码块被称为词法单元
2      ││
3**解析／语法分析**   ===>   词法单元流（数组）转换成一个由元素逐级嵌套所组成的代表了程序语法结构的树，即 AST
4      ││
5  **代码生成**   ===>   将 AST 转换为可执行代码

总结一下：通过 Parser 把代码转化为抽象语法树（AST），该树定义了代码的结构，通过对树的处理，能实现对代码的分析、优化等操作。

JavaScript 词法解析

通过分析每行代码字符串，通过识别关键字来判断某句代码是什么表达式类型，然后把这些信息生成 AST 语法树

1if (b === 1) {
2  a = 2;
3  alert(a);
4}

词法分析思维抽象如图

{" "}

JavaScript 语法解析

在编译过程中，代码会被映射为 AST，那么就可以通过 AST 对代码进行分析、转换。像 webpack、babel、eslint 等涉及代码分析的工具类库，其背后都有 AST 的影子。

先看看 AST 长什么样，通过 AST Explorer 或者Parser可以实时解析和查看 JavaScript 的 AST。

1const a = 1;

对应的 AST

1{
2  "type": "Program",
3  "body": [
4    {
5      "type": "VariableDeclaration",
6      "declarations": [
7        {
8          "type": "VariableDeclarator",
9          "id": {
10            "type": "Identifier",
11            "name": "a"
12          },
13          "init": {
14            "type": "Literal",
15            "value": 1,
16            "raw": "1"
17          }
18        }
19      ],
20      "kind": "const"
21    }
22  ],
23  "sourceType": "script"
24}

AST 的格式每种 Parser 都有各自的标准，Esprima 的语法树结构文档 Syntax Tree Format，下面是 type 的类型列表。

1type Expression =
2  | ThisExpression
3  | Identifier
4  | Literal
5  | ArrayExpression
6  | ObjectExpression
7  | FunctionExpression
8  | ArrowFunctionExpression
9  | ClassExpression
10  | TaggedTemplateExpression
11  | MemberExpression
12  | Super
13  | MetaProperty
14  | NewExpression
15  | CallExpression
16  | UpdateExpression
17  | AwaitExpression
18  | UnaryExpression
19  | BinaryExpression
20  | LogicalExpression
21  | ConditionalExpression
22  | YieldExpression
23  | AssignmentExpression
24  | SequenceExpression;

JavaScript Parser

介绍完 AST 树，下面列举常用的 JavaScript Parser

各个 parser 的速度对比可以参见 Speed Comparison

应用

AST 的应用很广，从技术角度出发，所有涉及对代码处理的场景，AST 都有其用武之地。

编译器、代码压缩、代码混淆、代码优化，所有的 lint（不仅仅是 JavaScript），所有的打包构建工具及其插件，包括 webpack、rollup、parcel、browserify 等…

🍻

下一个泡泡玛特工程师是谁呢？

机械键盘相关参数

Web 前端性能优化

Blender常用快捷键

Docker 常用命令

项目管理

JS沙箱sandbox的各种实现

Amazing！Solid 比react还react

puppeteer应用

做一个web termianl

TypeScript里常用的工具类型

Vim大法好

碧血丹心

chrome V8 引擎中的垃圾回收机制

如何开发一个cli

Javascript中的哲学

React Redux 实现 （Context 版）

mobx-react 使用

Less中的for和forEach循环

Webpack Splitchunks 详解

ssh-keygen命令详解

使用CURL发送POST请求

Webpack Plugin 开发

JS 实现两个大数相加？

字典树 trie

浏览器原理问题

MacBook快速进入一个文件夹目录

react合成事件

mini webpack实现

设计模式

babel核心

React 15 和 React 16 的区别

React性能优化

交通信号灯实现

内存管理

前端安全

网络和并发

跨域方法

react virtualList 虚拟列表无限滚动实现

监控埋点方案

Mini useEffect实现

Mini useState 实现

React Fiber

React class组件和function组件异同

Lodash Get 实现

手写reduce实现

Hooks 原理概览

Hook原理——状态Hook

手写Mini Redux实现

legacy和concurrent模式

react架构

react核心api和jsx

setState是同步的还是异步的

如何使用NodeJs创建HTTP服务？

NodeJS 事件循环模型

Buffer

微前端解决方案-qiankun

React Mini版实现(1)

brew安装

CommonJS简易版实现

极品透明Dashboard样式分享

Stream

NodeJS全局对象

如何部署Nodejs服务

Events

用JS绘制背景，让CSS直接使用 'background:paint(xxx)'

Block Formatting Context 块级格式化上下文

如何使用Nodejs来创建一个TCP/UDP服务?

Mac使用tree生成目录结构

常见算法

前端缓存

前端答疑

Nodejs 网络 & HTTP

JavaScript AST 抽象语法树

nodejs里面向切面编程的一种范式

各种JS模块化特性

手写Ajax实现

手写PromiseA+实现

debug和内存泄露

Javascript prototype 原型链

React Redux 实现（Context 版）