閱讀部落格的朋友可以到我的網易雲課堂中，通過視訊的方式檢視程式碼的除錯和執行過程：

這一節，我們繼續就上一節討論的內容，繼續就符號表和型別系統的構建進行深入的探討。

基於上一節的基礎，我們看看，編譯器如何為一個變數構建它在符號表中的記錄和型別系統。假設我們的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指向的就是specifier
 

    boolean  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;

所宣告的兩個變數，他們的型別系統和符號表是如何建立的。