在完成語法分析之后，最近在做樹的類型檢查，本來以為很簡單，還是遇到了以下問題：

1.不明確符號表的作用，于是在沒有符號表的情況下進行類型檢查

2.沒有意識到類型檢查包括以下幾個方面：

(1)變量是否被重定義

(2)函數是否被重定義

(3)變量是否定以后才使用

3.現在還是不知道到底是先有符號表還是先有類型檢查

一方面覺得符號表可以幫助類型檢查，另一方面又覺得如果類型檢查出錯了符號表的存在就沒意義了。剛剛試過把當前函數指針一起傳進類型檢查函數，發現操作過程太冗余了，于是決定重寫，先生成符號表再進行類型檢查。

4.變量定義跟變量充當表達式到底是一個類還是兩個類

初步考慮符號表包含變量定義與參數，詳細信息包括：

1.標識符：字符串

2.值：字符串

3.類型：const int

4.偏移量：const int，用于虛擬機