编译原理 语义分析

语义分析依赖于上下文分析

抽象语法树一定是符合语法的，不会存在语法错误，语义分析器会分析语义是否满足。

 

如果中间代码之后，仍然有问题，只可能是编译器的问题。

 

D 声明 declaration E 表达式expression

涉及到变量声明的类型与使用时，进行计算的另一个元素类型一致。

检查变量声明（P，D）以及表达式（E）

符号表：

 

处理声明语句时，得到符号表。处理表达式时，根据符号表查找，，返回相应的类型。

后序遍历，先遍历负责声明左子树，生成符号表，根据符号表，再递归右边时，可以根据符号表进行表达式的类型检查。

符号表：存储变量相关的信息，后续也可以使用。

、

哈希表速度快，但是会因为装在因子的存在，而存在浪费空间的问题；

如果改为红黑树，则节省空间。

作用域：

方法2.做一个符号表的栈，每个元素是一个符号表，栈顶是最里层的

符号表的一个比较重要的作用：名字空间

 

不同的空间有不同的符号表，因此即使不同的符号表中有相同的名字，也是没有问题的。

 

虽然类型不同，但是因为是子类赋值给父类，因此是可以的，因此在符号表中需要维护继承关系。

位置信息需要从词法到语法到语义完整的保留，直到语义，因为语义之后信息都是争取的。