在完成语法分析之后，最近在做树的类型检查，本来以为很简单，还是遇到了以下问题：

1.不明确符号表的作用，于是在没有符号表的情况下进行类型检查

2.没有意识到类型检查包括以下几个方面：

(1)变量是否被重定义

(2)函数是否被重定义

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

3.现在还是不知道到底是先有符号表还是先有类型检查

一方面觉得符号表可以帮助类型检查，另一方面又觉得如果类型检查出错了符号表的存在就没意义了。刚刚试过把当前函数指针一起传进类型检查函数，发现操作过程太冗余了，于是决定重写，先生成符号表再进行类型检查。

4.变量定义跟变量充当表达式到底是一个类还是两个类

初步考虑符号表包含变量定义与参数，详细信息包括：

1.标识符：字符串

2.值：字符串

3.类型：const int

4.偏移量：const int，用于虚拟机