版本2符号表－NEW.pptVIP

例 设A为一个10*20的数组，即n1= 10，n2= 20。并设w＝4，数组第一个元素为 A[1，1] 。则有：((low1*n2)＋low2)*w=(1*20 ＋1)*4＝84。赋值语句x:=A[y,z]在由底向上的分析中被翻译成如下三地址语句序列：t1：= y*20 t1：= t1＋z t2：= A-84 t3：= 4*t1 t4：= t2[t3] x：= t4 S L.place=x L.offset=null x := E.place=T4 L.place=T2 L.offset=T3 Elist.place=T1 Elist.ndim=2 Elist.array=A ] Elist.place=y Elist.ndim=1 Elist.array=A A [ E.place=y L.place=y L.offset=null , E.place=z L.place=z L.offset=null z y 访问记录中的域 编译器将记录的域的类型和相对地址保存在相应域名的符号表表项之中，可以把用在符号表中查找名字的程序同样用来查找域名。 例如：表达式：p↑．info＋1 变量P是一个指向某个记录类型的指针，info 为其中一个算术型类型的域名。 编译程序内部把 p表示为：pointer（record（t）），域名info将可以在t所指向的符号表中查找。 P info next TYPE link=↑node； node=RECORD info：integer； next：link END； VAR p：link； 静态语义检查 按照编译工作的逻辑结构，紧接在词法分析和语法分析之后，编译程序要做的工作是进行静态语义检查和翻译。 静态语义检查 静态语义检查通常包括： 类型检查。验证程序中执行的每个操作是否遵守语言的类型系统的过程，编译程序必须报告不符合类型系统的信息。 控制流检查。控制流语句必须使控制转移到合法的地方。例如，在C语言中BREAK语句使控制跳离该语句的最小WHILE/FOR或SWITCH语句。如果不存在包括他的这样语句，则报错。 一致性检查。在很多场合要求对象只能被定义一次。例如PASCAL规定同一个标识符在一个分程序中只能说明一次。CASE语句中标号不能相同，枚举元素不能重复出现等等。 相关名字检查。 名字的作用域分析。 类型系统 基类型(base types) 程序设计语言通常包含基本类型：int, float, character, booleans 组合类型(compound and constructed types) 程序员通常需要更高层次的抽象，例如链表、图、树、表等。 程序语言提供一种组合对象的机制来得到新对象的类型 例如数组、结构、指针、可列举集合等 程序中的基类型和结构化类型每一种表达可以表示维一个类型表达式。 类型表达式 一个基本类型是一个类型表达式 integer, char, float 用类型构造符施于类型表达式，得到一个新的类型表达式。 Example int A[10] A的类型表达式 array(10,integer) （1） 过程说明D- proc id; D1; S 引进一个新的过程，其过程名id局部于这个新过程的外围过程，因此这个id应该出现在外围过程的符号表中。 （2）在遇到过程说明D-proc id; D1; S 时应该暂停它的外围过程说明语句的处理；为新过程创建一个符号表。将D1中所说明的名字在这张新的符号表中登记，他们都是局部于这个新过程的。 （3）外围过程中说明的名字全局于新过程，因此新过程的符号表中有一指针指向外围过程的符号表。 program sort var a , x procedure readarry var i begin … end // readarry procedure exchange begin x = a… end //exchange procedure quiksort var k , v function partition var i , j begin …a…. ;