语义分析语法分析树TokenList语义定义自然语言描述规定符号表判定.PPTVIP

语义分析例子 int x,y; void swap(int *a,int *b){ int tmp; temp=*a; *a=*b;*b=tmp; } void main(){ x=10; y=20; swap(x,y); } Name Kind Type Access Level Off ParaList Code Forward x varKind intPtr dir 0 0 y varKind intPtr dir 0 1 swap funcKind Null actural 0 swapParaList swapC false a varKind a-ptr indir 1 0 b varKind b-ptr indir 1 1 tmp varKind intPtr dir 1 2 # main funcKind Null actual 0 Null mainC False # # ptr size kind eleType a-ptr 1 pointerTy intPtr b-ptr 1 pointerTy intPtr 符号表的分类 单表结构 vs. 多表结构 单表：标识符都放在同一张符号表中 多表：常量、变量、类型、函数、等分别存放 局部表 vs. 全局表 局部式：每个局部化单位建立一个独立符号表 全局式：整个程序的符号表作为一个表 全局符号表的局部化 思想 特点 删除法 离开局部化区时删除 思路简单，实现容易，信息不留存 驻留法 离开局部化区时标记 信息留存，实现相对复杂（辅助数据结构） 删除法 vs. 驻留法 局部化实例 int main() { int a; float b,d; { int c; float a; { int d; float c; { float d; //... a=b+c+d; } } { char d; } } return 0; } name kind type access level off extra for main funcK intPtr actural 0 null false a varKi intPtr dir 1 0 1 b varKi realPt dir 1 1 1 d varKi realPt dir 1 3 1 c varKi intPtr dir 1 5 2 a varKi realPt dir 1 6 2 d varKi intPtr dir 1 8 3 c varKi realPt dir 1 9 3 d varKi realPt dir 1 11 4 # # d varKi charP dir 1 8 3 局部符号表管理——Scope栈 用于存放当前有效的局部化区的局部符号表首地址； 进入新局部化区时新符号表首地址入栈； 退出局部化区时栈顶地址出栈。 标号的语义分析 标号出现的位置： 标号声明：label ?1, ?2, …, ?n; 标号定位（语句前）：?i：Statement； 标号使用（Goto后）：goto ?i; 标号部分的语义错误： 标号重复声明； 标号重复定位； 标号有定位而无声明； 标号有使用而无定位； Goto语句有非法转入. 标号部分语义分析原理 设置五种表：LDEC，LDEF，LUSE，SL，PL LDEC表：(Flag, Label，Label)； LDEF、LUSE表：(Label)； SL表：(kind，LDEFaddr，LUSEaddr)； PL表：(LDECaddr，LDEFaddr)； 标号的语义分析原理 1）进入一个过/函时，将本层LDEC和LDEF的地址填入PL表； 2）遇到一个标号声明“label ?1, ?2,…,?n”时，建立本层LDEC表（检查重复声明错误），其中的Flag标志均设置为0; 3）遇到定位性标号“?:Statement”时： 检查在LDEC表中有无? ，若无则表示无标号声明错误； 若有，则检查其Flag位，若是1，则有重复定位错误； 若Flag=0，令其Flag位为1，并将? 填入LDEF表中。 查看LUSE表，若其中有?则将其删除掉。 4）进入一个结构语句时，将本语句的LDEF和LUSE表位置填入SL表； 5）遇到一个“goto ?” 时： 查看LDEF表，看其中是否有?； 若无，将填入LUSE表； 6）退出一个结构化语句时： 清查本层LUSE表（若有定位则删除该项）：用本层的LU