。

不同的高级程序设计语言通过其相应的词法/语法分析过程，会得到不同形式的抽象语法树，这些抽象语法树与编程语言的特征紧密相关，一般都包含了部分语言相关的AST节点表示。

从这个角度上来讲，AST是编程语言相关的，

C语言的源代码经过C语言特定的词法/语法分析过程，将生成C语言的AST。

1、AST（抽象语法树）

在gcc中GENERIC是指规范的AST，，即GENERIC形式的AST均能在gcc/tree.

h中所表示的树节点表示。

引入GENERIC的目的是寻找一种与前端语言无关的AST统一表示，是一种通用的处理tree_identifier而已。

AST这种树形的中间表示，主要包括：树节点的种类及其语义、树节点的存储、AST操作以及AST的生成过程等。

1.1

标识（TREE_CODE）:DEFTREECODE宏定义中的SYM参数，描述了该节点代表的是一个什么样的节点。

名称（NAME）:DEFTREECODE宏定义中的NAME参数，表示该树节点的名称，使用字符串来描述，主要用来进行AST中间结果的显示，方便用户直观地了解该树节点的信息。

类型（TREE_CODE

CLASS,

TCC）:DEFTREECODE宏定义中的TYPE参数，描述了该树节点的TREE_CODE所属的类型。

长度：DEFTREECODE宏定义中的LEN参数，用来描述该树节点所包含的操作数的数目。

用下面这种宏去定义：

DEFTREECODE

树节点的类型主要包括了常量节点、类型节点、声明节点、比较表达式节点、单目运算表达式节点、双目运算表达式节点等。

1.2

其中最关键的是tree_base结构体：该结构体定义了所有树节点最基本的属性，是构成其他树节点存储结构的基类（类似于面向对象的概念，这个思想在gcc中大量使用）。

其主要包括了code字段，用来存储TREE_CODE，并标识该树节点的语义，其取值在枚举类型enum

tree_code中取值。

tree_base结构体中还定义了大量的标志字段，分别描述该树节点的某些语法、语义的信息，例如常量标志、无符号标志、只读标志等。

struct

chain字段可以将多个有一定关系的树节点连接成一个链表。

tree

type字段的值在不同的树节点中有不同的含义。

例如，在所有表达式节点中，type字段指向表达式的类型节点；在指针类型节点（其TREE_CODE为POINTER_TYPE）中，此字段指向指针所指向的类型节点；在数组引用节点（其TREE_CODE为ARRAY_TYPE）中，此字段指向数组元素的类型节点；在TREE_CODE为VECTOR_TYPE的树节点中，该字段指向向量元素的类型节点。

通常使用TREE_TYPE（node）宏来访问node节点的type字段。

struct

tree_complex等几种结构体，分别存储整型常量、实数常量、定点数常量、向量常量、字符串常量以及复数常量。

//1、整型常量

(NODE)-fixed_cst.fixed_cst_ptr)#define

TREE_FIXED_CST(NODE)

/*这部分可以分析内存信息：字符串常量节点所描述的字符串常量就存储在struct

//5．复数常量

下面两个宏分别用来访问该实数常量的实部（real字段）和虚部（imag字段），这两个字段均为指向树节点的指针。

#define

TREE_REALPART(NODE)

common结构体字段描述了该树节点的基本属性。

*/struct

ht_identifier

ht_identifier在libcpp/include/symtab.h中予以定义，该结构体中的str和len字段分别描述该标识符对应的字符串名称及其长度，hash_value是该标识符名称的一个hash值，该hash值在标识符的查找、比较等操作中使用。

注：AST是源代码在GCC系统中的一种中间表示形式，该中间形式是通过GCC前端的词法/语法分析所构造的。

2、符号绑定,作用域与block树节点

在前面已知gcc中通过一个tree_identifier结构体来代表一个标识符的树节点，但实际分配时会为标识符分配一个扩展的lang_identifier节点，其结构如下:

struct