AST 抽象语法树知识点

throw Error();

{}

try {} catch(e) {} finally{}

for (let key in obj) {}

for (let i = 0;i < 10;i ++) {}

while (true) {}

do {} while (true)

switch (v){case 1: break;default:;}

label: console.log();

with (a){}

他们对应的 AST 节点如图所示

语句是代码执行的最小单位，可以说，代码是由语句（Statement）构成的。

Declaration

声明语句是一种特殊的语句，它执行的逻辑是在作用域内声明一个变量、函数、class、import、export 等。

比如下面这些声明语句：

const a = 1;

function b(){}

class C {}

import d from ‘e’;

export default e = 1;

export {e};

export * from ‘e’;

他们对应的 AST 节点如图：

声明语句用于定义变量，变量声明也是代码中一个基础的部分。

Expression

expression 是表达式，特点是执行完以后有返回值，这是和语句 (statement) 的区别。

下面是一些常见的表达式

[1,2,3]

a = 1

1 + 2;

-1;

function(){};

() => {};

class{};

a;

this;

super;

a::b;

它们对应的AST如图：

细心的同学可能会问 identifier 和 super 怎么也是表达式呢？

其实有的节点可能会是多种类型，identifier、super 有返回值，符合表达式的特点，所以也是 expression。

我们判断 AST 节点是不是某种类型要看它是不是符合该种类型的特点，比如语句的特点是能够单独执行，表达式的特点是有返回值。

有的表达式可以单独执行，符合语句的特点，所以也是语句，比如赋值表达式、数组表达式等，但有的表达式不能单独执行，需要和其他类型的节点组合在一起构成语句。比如匿名函数表达式和匿名 class 表达式单独执行会报错

function(){};

class{}

需要和其他部分一起构成一条语句，比如组成赋值语句

a = function() {}

b = class{}

表达式语句解析成 AST 的时候会包裹一层 ExpressionStatement 节点，代表这个表达式是被当成语句执行的。

小结：表达式的特点是有返回值，有的表达式可以独立作为语句执行，会包裹一层 ExpressionStatement。

Class

class 的语法比较特殊，有专门的 AST 节点来表示。

整个 class 的内容是 ClassBody，属性是 ClassProperty，方法是ClassMethod（通过 kind 属性来区分是 constructor 还是 method）。

比如下面的代码

class Guang extends Person{

name = ‘guang’;

constructor() {}

eat() {}

}

对应的AST是这样的

class 是 es next 的语法，babel 中有专门的 AST 来表示它的内容。

Modules

es module 是语法级别的模块规范，所以也有专门的 AST 节点。

import

import 有 3 种语法：

named import：

import {c, d} from ‘c’;

default import：

import a from ‘a’;

namespaced import:

import * as b from ‘b’;

这 3 种语法都对应 ImportDeclaration 节点，但是 specifiers 属性不同，分别对应 ImportSpicifier、ImportDefaultSpecifier、ImportNamespaceSpcifier。

图中黄框标出的是 specifier 部分。可以直观的看出整体结构相同，只是specifier 部分不同，所以 import 语法的 AST 的结构是ImportDeclaration 包含着各种 import specifier。

export

export 也有3种语法：

named export：

export { b, d};

default export：

export default a;

all export：

export * from ‘c’;

分别对应 ExportNamedDeclaration、ExportDefaultDeclaration、ExportAllDeclaration 的节点

其中 ExportNamedDeclaration 才有 specifiers 属性，其余两种都没有这部分（也比较好理解，export 不像 import 那样结构类似，这三种 export 语法结构是不一样的，所以不是都包含 specifier）。

比如这三种 export

最后

编程基础的初级开发者，计算机科学专业的学生，以及平时没怎么利用过数据结构与算法的开发人员希望复习这些概念为下次技术面试做准备。或者想学习一些计算机科学的基本概念，以优化代码，提高编程技能。这份笔记都是可以作为参考的。

开源分享：【大厂前端面试题解析+核心总结学习笔记+真实项目实战+最新讲解视频】