共计 4587 个字符，预计需要花费 12 分钟才能阅读完成。
作者：商见曜
起源：恒生 LIGHT 云社区
作为古代前端我的项目必备的一种技术，Babel 是一个编译器，用于将前沿的 JS 语法转换为浏览器反对的语法。接下来就让咱们一起深刻学习一下吧。
Babel 的介绍
Babel 指的是“巴别塔”，出自圣经典故：
过后的人类只说一种语言，联结起来无所不能，要创立一座通向地狱的塔，上帝胆怯了，为了分化他们，于是就让人类说不同的语言，人类因而失去了这种力量，分化了。而这座塔就是巴别塔。
Babel 的用处
- 转译 esnext，typescript，flow 等到指标环境反对的 js
这是最罕用的性能，用来吧代码中的 esnext 的语法，ts 和 flow 的语法转为基于指标环境反对的语法的实现。并且能够吧指标环境不反对的 api 进行 polyfill - 无拘无束的编译器
它裸露了很多的 api，想对源代码进行怎么转译都行 - 代码的动态剖析
对代码进行 parse 之后，可能进行转换，是因为通过 AST 的构造可能了解代码，在转换之前生成指标代码之外，也能够用于剖析代码的信息，进行查看。比方 linter，api 文档主动生成工具通过提取正文生成文档等。
Babel 的转译流程
Babel 是 source to source 的转换，整体转译过程分为三步：
- parse：通过 parser 将源代码转换为形象语法树 (AST)
- transform：遍历 AST，调用各种 transform 插件对 AST 进行增删查改
- generate: 把转换后的 AST 打印成指标代码，并生成 sourcemap
为什么是三步而不是一步呢？因为源码太乱了，没有对立的格局，间接 source to source 不事实，于是就加一层 AST，将源代码中凌乱的、无意义的局部去掉，这样对 AST 操作就能对立起来了。于是一步就变成了三步。(经典中间件思维了)
简略剖析一下这三步
parse
后面曾经说过 parse 是将源码转换为对立格局的 AST，这个过程是一个词法剖析、语法分析的过程；
比方 let name = ‘shangjianyao’; 这样一段代码，parse 先把它分成一个个不能细分的单词（术语叫 token），失去 let,name,=,’shangjianyao’，这个过程叫词法剖析，依照单词的形成规定拆分源码。
之后要把 token 进行递归的组装，生产 AST，这个过程是语法分析，依照不同的语法规定，把一组单词组合成对象。
也就是说先拆了，再依照新规定组装。
transform
transform 阶段对 parse 生成的 AST 进行解决：对 AST 进行深度优先遍历，遍历的过程中解决不同的 AST 节点会调用注册的相应的 vistor 函数（来源于插件），vistor 函数里能够对 AST 节点进行增删改，返回新的节点。这一步是逻辑解决的外围和多变的要害
generate
这个阶段会把 AST 打印成指标字符串，并且会生成 sourcemap。不同的 AST 对应不同构造的字符串。而 sourcemap 记录了从源码到指标代码的转换关系，通过它能够找到指标代码中每个节点对应的源码地位。
好好聊聊 AST
AST（Abstract Syntax Tree）形象语法树是整个转译流程的外围，它是一个树状构造，有不同类型的节点，根本对应了 JS 语法里的数据类型和语法，咱们别离理解一下：
Literal
Literal 字面量，比方 let name = ‘shangjianyao’ 中，shangjianyao 就是一个字符串字面量 StringLiteral，相应的还有数字字面量 NumericLiteral，布尔字面量 BooleanLiteral，null 字面量 NullLiteral，undefined 字面量 UndefinedLiteral，这些都是 Literal，规定就是这样的 –xxLiteral。
Identifier
也即是标识符的意思，变量名、属性名、参数名等各种申明和援用的名字，都是 Ientifer。（js 里的标识符规定是？Identifer 就是这个辨认规定）
试试看，上面这段代码里有多少 identifier？
let name = 'shangjianyao';
function sayHello(name) {console.log('hello' + name);
}图里标红色下划线的都是 identifier：
Statement
statement 是语句，它是能够独立执行的单位，比方蕴含了一些保留字或者关键词比方 break、continue、return，或者流程管制 if、for、while 等，还有申明语句、表达式语句，这些都是 statement。一般来说，咱们写的每一条能够独立执行的代码都是语句。
上面是一些常见的语句，每一行是一个 statement：
break;
continue;
return;
debugger;
throw Error();
{}
try {} catch (e) {} finally {}
for (;;) {}
while (true) {}
do {} while (true);
switch (x) {case 1: break; default: ;}
console.log();
with (x) {}stament 的名字组合也是和 literal 的规定类似，都是 xxStatement，比方 break 对应 BreakStament。
Declaration
申明语句，是一种非凡的语句，它执行的逻辑是在作用域里申明一个变量、函数、class，import、export 等。
比方：
const name = 'shangjianyao';
function sayHello(name) {}
class Person {}
import {name} from './name';
export {name};
export default name;
export * from './name';对应 DeclarationStatement，比方：
Expression
expression 是表达式，特点是执行完当前有返回值，这是和语句（statement）的区别。
常见表达式有：
[1,2,3];
name = 'shangjianyao';
1+1;
-1;
function (){}
() => {}
class {}
name;
this;
super;
a::b;对应的 expression 是 xxExpression，比方：
对于下面的表达式外面，怎么混入了 identifier？因为 identifier 会返回值，所以他也是 expression。有些表达式不能独自执行比方匿名函数表达式和匿名 class 表达式，须要和其余局部组成一个 statement。表达式在被 parse 时会包裹一层 ExpressionStatement，标识这个表达式是被当成语句执行的。
Class
作为重要语法糖，class 也有专门的 AST 节点标识。
整个 class 的内容是 ClassBody，属性是 ClassProperty，办法是 MethodDefinition，通过 MethodDefinition 字段来辨别构造函数和一般办法。
比方上面这段代码：
class Person {constructor(name) {this.name = name;}
sayHello() {console.log('hello' + this.name);
}
}对应的 AST
Modules
es module 是语法级别的模块标准，所以也有专门的 AST 节点。
// name import
import {name} from './name';
// default import
import name from './name';
// namespace import
import * as name from './name';对应的 AST
有不同的语法就有不同的 importDeclaration 节点，通过 specifiers 字段来辨别 import 的类型，别离对应为 importSpecifier、importDefaultSpecifier、importNamespaceSpecifier。
// name export
export {name};
// default export
export default name;
// all export
export * from './name';对应的 AST
别离对应 ExportNameDeclaration、ExportDefaultDeclaration、ExportAllDeclaration。只有 ExportNameDeclaration 才有 specifiers 字段。
Program & Directive
program 是代表整个程序的节点，他有一个 body 字段，是一个数组，外面寄存了所有的 statement，执行语句的汇合。directives 属性寄存 Directive 节点，比方 use strict。
Program 是包裹具体执行语句的节点，而 Directive 则是代码中的指令。
File & Comment
Babel 的 AST 最外层节点是 File，它有 program、comments、tokens 等属性，别离寄存 Program 程序体、正文、token 等，是最外层的节点。正文分为块正文（/**/) 和行正文（//）。
公共属性
每种节点都有本人的属性用来标识身份，天然地，也须要一些公共属性去构建和维持 AST，比方：
- type：AST 节点的类型
- start、end、loc：start 和 end 代表该节点对应的源码字符串的起始和完结下标，不辨别行列。loc 是一个对象，有 line 和 column 属性别离记录开始和完结行列号。
- leadingComments,innerComments,trailingComments：leadingComments、innerComments、trailingComments 别离寄存后面正文，两头正文，前面正文。
- extra: 寄存一些额定的信息，比方 StringLiteral 批改 value 只是值的批改，而批改 extra.raw 则能够连同单双引号一起批改。
AST 可视化查看工具
咱们不须要记住下面的这些太多，须要的时候到可视化的 AST 里查看即可。
或者查阅 Babel parser 仓库的 AST。
或者查看 @Babel/types 的 typescript 类型定义
小结
本文简略介绍了一下 Babel 的用处：将超前语法转译为兼容语法。
介绍了 Babel 的转译过程：source code -> AST -> transformed AST -> code + sourcemap
介绍了 AST 是如何形象源码的：利用各种节点来形容源码。比方标识符 Identifier，表达式 xxExpression，语句 xxStatement，申明语句 xxDeclaration, 字面量 xxLiteral,class,modules,file,Program,Directicve,Comment 等等。理解有哪些节点就晓得怎么用 AST 标识源码了，当然也不须要记，用（astexpoler.net）进行可视化的查看更加现实。
下一节，咱们将会学习 Babel 的 api，以及进行一次简略的实战，下期再见。✈️
想向技术大佬们多多取经？开发中遇到的问题何处探讨？如何获取金融科技海量资源？
恒生 LIGHT 云社区，由恒生电子搭建的金融科技业余社区平台，分享实用技术干货、资源数据、金融科技行业趋势，拥抱所有金融开发者。
扫描下方小程序二维码，退出咱们！