编译器lab2:语义分析+类型检查实现+数组初始化

语义分析
help- assignment
help-assignment
help-assignment

语义分析是在语法分析的结果，即语法树的基础上,增添语义信息,建立符号表和进行类型检查的过程。我们将语义分析分为两个部分:符号表与类型检查。

符号表
我们举一个例子来说明符号表的作用:

对于上述代码,容易发现y+=x 加的两个x来自于两个不同的定义，那么编译器在生成代码的时候，仅仅看y+=x是判断不出来该选择哪个变量的。这就是语义分析所需要解决的问题之一,为这些使用的变量提供额外的语义信息。而这一过程实际上就对应了符号表的建立。
在变量的指向确定后,你同时也可能发现一些语义错误,例如使用的变量是未定义的或者在同一个作用域内变量有重复定义,这时你应该向使用者报错。

符号表实现
法一
第一种方法在每次进入新的作用域时都需要申请一个新的符号表，而当离开该作用域时，就可以将该符号表销毁。例如刚才的例子，在运行到第2行时符号表是这样的:
x-> x1
y-> y1
在运行到第3行时，我们新建一个符号表，并连接到之前的符号表上，然后根据第4行的定义更新当前的符号表:

在寻找某个符号时，我们首先在当前的符号表中查找，如果找不到，我们就去上一个符号表中查找。例如在第5行时，我们会在表2中查找x，而对于y，表2中我们并没有重复定义，所以我们会在表1中找到。
而在第6行也就是离开该作用域时，我们只需要销毁当前的符号表，用它的上一个符号表替代即可。

法二
另一种方法则不需要申请多个符号表，自始至终在单个符号表上进行动态维护。其中每一项对应的不是一个变量的定义，而是变量定义的栈。

语义分析
语义分析是在语法分析的结果，即语法树的基础上,增添语义信息,建立符号表和进行类型检查的过程。我们将语义分析分为两个部分:符号表与类型检查。

符号表
我们举一个例子来说明符号表的作用:

对于上述代码,容易发现y+=x 加的两个x来自于两个不同的定义，那么编译器在生成代码的时候，仅仅看y+=x是判断不出来该选择哪个变量的。这就是语义分析所需要解决的问题之一,为这些使用的变量提供额外的语义信息。而这一过程实际上就对应了符号表的建立。
在变量的指向确定后,你同时也可能发现一些语义错误,例如使用的变量是未定义的或者在同一个作用域内变量有重复定义,这时你应该向使用者报错。

符号表实现
法一
第一种方法在每次进入新的作用域时都需要申请一个新的符号表，而当离开该作用域时，就可以将该符号表销毁。例如刚才的例子，在运行到第2行时符号表是这样的:
x-> x1
y-> y1
在运行到第3行时，我们新建一个符号表，并连接到之前的符号表上，然后根据第4行的定义更新当前的符号表:

在寻找某个符号时，我们首先在当前的符号表中查找，如果找不到，我们就去上一个符号表中查找。例如在第5行时，我们会在表2中查找x，而对于y，表2中我们并没有重复定义，所以我们会在表1中找到。
而在第6行也就是离开该作用域时，我们只需要销毁当前的符号表，用它的上一个符号表替代即可。

法二
另一种方法则不需要申请多个符号表，自始至终在单个符号表上进行动态维护。其中每一项对应的不是一个变量的定义，而是变量定义的栈。