抽象语法树文件编码文档

为了节约篇幅，我将用AST文件来作为抽象语法树文件的简称。

前言

AST文件里存储着一系列AST节点，一些应用程序可以将自己的语言解析成Stamon的AST文件格式，保存在文件，剩下编译流程交给Stamon的编译器即可。

格式

一个AST文件的编码由以下规则组成：

• 每个AST文件的开头必须要有两字节的二进制码：0xABDD，此魔数用于区分于其他文件
• AST文件中的数值存储采用大端存储（以Python的大端存储为标准）
• AST标识是用于区分词法单元的数字标记，以src/ast/Ast.hpp当中的_AstType枚举为准。特别的，当AST标识为-1时，代表结尾单元
• 每个AST单元由一字节的AST标识和若干字节的AST数据组成
• 一些AST单元只有AST标识，不含有AST数据（即一些AST单元只占一字节）
• 一个AST节点及其子节点所组成的的标准结构是父节点单元，第一个子节点单元，第二个子节点单元，......，最后一个子节点单元，结尾单元。其中每个子节点还能再拥有子节点，因此这种结构是递归嵌套性的。
• 任何AST单元都要拥有其对应的结尾单元，哪怕这个单元没有任何子节点单元。

我们来特别看看拥有AST数据的AST单元（以及AST数据的构成）：

• AstIdentifierName：标识符节点，AST数据由四字节的标识符长度和字节长度为标识符长度的标识符内容组成。
• AstNumber：数值节点，AST数据由一字节的数值类型和若干字节的数值组成。AstNumber根据数值类型（以src/ast/LeafAst.cpp的_NumberType为准）又分为以下几种节点：
• • AstIntNumber：整数节点，数值由四字节的数值组成。
• • AstFloatNumber：整数节点，数值由四字节的float浮点数值组成。
• • AstDoubleNumber：整数节点，数值由八字节的float浮点数值组成。
• AstString：字符串节点，其AST数据由四字节的字符长度和字节长度为字符串长度的字符串内容组成。
• AstAnonClass：匿名类节点，AST数据由一字节的布尔值（即isHaveFather）组成
• AstExpression：表达式节点，AST数据由四字节的数值（即ass_type）组成
• AstLeftPostfix：左值后缀节点，AST数据由四字节的数值（即postfix_type）组成
• AstBinary：双目运算节点，AST数据由四字节的数值（即operator_type）组成
• AstUnary：单目运算节点，AST数据由四字节的数值（即operator_type）组成
• AstPostfix：右值后缀节点，AST数据由四字节的数值（即postfix_type）组成