本文主要是介绍C语言的符号表和类型系统2，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！
阅读博客的朋友可以到我的网易云课堂中，通过视频的方式查看代码的调试和执行过程：
http://study.163.com/course/courseMain.htm?courseId=1002830012
这一节，我们继续就上一节讨论的内容，继续就符号表和类型系统的构建进行深入的探讨。
基于上一节的基础，我们看看，编译器如何为一个变量构建它在符号表中的记录和类型系统。假设我们的C语言代码中有如下的变量定义：
enum rabbits {
FLOSPY, MOPSEY, PETER
};上面的枚举类型，会被C编译器转换成如下形式的C代码：
const int FLOSPY = 0;
const int MOPSEY = 0;
const int PETER = 0;编译器在解析 “const int FLOSPY = 0” 这条语句后，会在符号表中产生以下数据结构：
由于变量FLOSPY 没有*, 没有[]之类的类型声明，因此它的类型系统只需要说明符，不需要修饰符，因此它的类型列表中就是由一个specifier.它的数据类型是INT, 由于被初始化成一个常量整形，所以constantValue设置为0.大家注意，从Symbol对象引出两个箭头，两个箭头都指向specifier对象。之所以需要两个箭头是因为，类型系统本质上就是一个链表，链表链接的是两种对象，一种是declarator, 一种是specifier, 我们在实现代码的时候，需要把declarator放在链表的前面，specifier放在链表的最末尾。因此从symbol发出的两个箭头，一个指向队列的开头，这样从这个箭头起始就可以逐个访问链表的每个对象，由于declarator放在链表的前面，这样从这个箭头开始，就可以访问一系列的declarator, 但是如果我们想要访问链表最末尾的specifier对象，那就得遍历整个链表，这样效率就太慢了，于是，从symbol对象引出第二个箭头直接指向链表的末尾，也就是specifier对象，这样想要直接访问类型系统链表的specifier，直接从第二个指针读取就可以了，不需要遍历整个链表，例如下面这个例子:
long int (*Frollo)[10];编译器会给上面的变量声明建立如下的符号表记录和类型队列：
大家看到，类型系统队列有三个元素，前两个是declarator, 最后一个是specifier, 从symbol引出的两个箭头，一个指向链表的开始，第二个直接指向链表的末尾，也就是specifier.
这样，我们就需要在代码中，设计一个链表来讲declarator 和 specifier连接起来，这个链表的代码如下：
public class TypeLink {boolean isDeclarator = true; //true 那么该object 的对象是declarator, false那么object指向的就是specifierboolean isTypeDef = false; //true，那么当前变量的类型是由typedef 定义的Object typeObject;TypeLink next = null;public TypeLink(boolean isDeclarator, boolean typeDef, Object typeObj) {this.isDeclarator = isDeclarator;this.isTypeDef = typeDef;this.typeObject = typeObj;}public Object getTypeObject() {return typeObject;}public TypeLink toNext() {return next;}
}
这样我们在Symbol类中，要添加两个成员变量：
public class Symbol {String name;String rname;int level; //变量的层次boolean implicit; //是否是匿名变量boolean duplicate; //是否是同名变量Symbol args; //如果该符号对应的是函数名,那么args指向函数的输入参数符号列表Symbol next; //指向下一个同层次的变量符号TypeLink typeLinkBegin;TypeLink typeLinkEnd;
}Struct 类型变量的类型系统
在Specifier 类中，最后一个成员变量StructDefine,我还没有解释，这个类型是专门用于处理Struct类型声明的。由于一个结构体里面包含了多种变量声明，所以结构体变量的存在使得类型系统复杂了很多，我们先看看结构体变量类型的代码：
/** struct argotiers {* int (*Clopin)();* double Mathias[5];* struct argotiers* Guillaume;* struct pstruct {int a;} Pierre; * }*/
public class StructDefine {private String tag; //结构体的名称,例如上面的例子中，对应该变量的值为 "argotiers"private int level; //结构体的间套层次private Symbol fields; //对应结构体里的各个变量类型public StructDefine(String tag, int level, Symbol fields) {this.tag = tag;this.level = level;this.fields = fields;}public String getTag() {return tag;}public int getLevel() {return level;}public Symbol getFields() {return fields;}
}
我们以一个具体的结构体声明例子为例，看看它对应的符号表和类型系统是怎样的：
struct argotiers {int (*Clopin)();double Mathias[5];struct argotiers *Guillaume;struct pstruct {int a;} Pierre;
} gipsy;它的类型系统如下：
这个系统看起来似乎很复杂，但实际上它是由若干个简单的类型系统结合而成的，搞清楚前面我们描述的类型系统队列，对这个图的理解应该不难，这个图其实也表明，任何复杂的的系统，都是由多个简单的单元相互勾连交叉所形成的。
这两节的代码主要用于解释概念，在实际开发时，我们会根据需要，对当前代码做相应修改，下一节，我们基于前面的变量声明解析过程，看看语句：
long int *x, y;
所声明的两个变量，他们的类型系统和符号表是如何建立的。
这篇关于C语言的符号表和类型系统2的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！
