《第05章语义分析(中课件》由会员分享，可在线阅读，更多相关《第05章语义分析(中课件（19页珍藏版）》请在金锄头文库上搜索。
1、第05章 语义分析,主要内容： 语义分析基础 符号表 类型分析 声明和执行体的语义分析,5.3 类型分析,5.3.1 类型的等价性和相容性 类型的等价性 1）按名等价：type tp=array1.10of integer; var a,b:tp; 则称a,b是相同类型的变量 2）结构等价：type tp1=array1.10of integer; type tp2=array1.10of integer; var a:tp1; b:tp2; 则称a,b是相同类型的变量,类型的相容性：主要有： 1）运算分量类型的相容性； 2）赋值语句左右类型的相容性； 3）形参和实参类型的相容性； 类型分析的
2、作用：构造类型的内部表示，进行类型检查。 分析过程：读Token序列，识别出各种类型，类型检查，返回类型内部表示的地址。,5.3.2 类型分析的总控算法,功能：类型检查， Ptr返回类型的内部表示地址。 Void TypeProcess(Ptr) switch(token.class) case ID : NameTYPE(Ptr);break; /类型名 case ENUM: EnumTYPE(Ptr);break; /枚举类 case ARRAY: ArrayTYPE(Ptr);break; /数组类 case RECORD: RecordTYPE(Ptr,0,null);break/记录
3、类 case UNION: UnionTYPE(Ptr,0,null);break;/联合类 case POINTER:PointerTYPE(Ptr);break; /指针类 default:error() ; next_token(); return; ,5.3.3 类型名分析,形式：id /*类型标识符*/ 处理子程序： void NameType(Ptr) FindEntry(token.seman,total,Entry,Present); /查符号表 if(Present=flase) error; /无声明错 if(Entrykind)!=typeKind error; /非类型
4、标识符 Ptr = Entry idType; ,如： VAR id : t ;,5.3.4 枚举类型分析,形式：（id1, ,idn） 分析任务： 1）扫描及检查枚举类型的语义错误； 2）构造该类型的内部表示，用Ptr指针指向它； 3）构造枚举常量标识符的符号表项。,例：设枚举类型(a,b)，则首先产生枚举类型的内部表示，其中EntryList表示一个指针，指向枚举表。,其次，在符号表区里为常量a和b构造相应表项如下：,处理子程序： void EnumType(Ptr) list=nil; L0:next_token(); /读表的下一个元素 Link(list,token.seman);
5、/连接到内部枚举表 next_token(); if(token.class=“,”) goto L0; Ptr:=(enumSize,enumTy,List); /生成枚举类型的内部表示,m=0; L1:name=first(List); /取List的首元素 List=tail(List); / 去掉List的首元素 Enter(name,(Ptr,constKind,m),entry,present); /建立符号表项 if (present) error(); m=m+1; if(List != “nil”) goto L1; ,如：(a,b)的符号表EntryList：,5.3.5
6、数组类型分析,形式：arrayc1.c2 of T 算法要点： 扫描C1时把其值计算到Low中； 扫描C2时把其值计算到Up中； 扫描T时构造出其内部结点（由ElemPtr指向）； 构造数组结点： Ptr:=(size,arrayTy,Low,Up,ElemPtr),实现算法：,void ArrayType(Ptr) / array C1.C2 of T next_token( ); /读“” next_token(); Low=token.seman; /处理下标 next_token(); /读“.” next_token(); Up=token.seman; /处理上标 next_tok
7、en(); next_token(); /读“ of” if(LowUp) errorTy; new(ElemPtr); next_token(); TypeProcess(EelemPtr); /处理元素类型 Sizes:=(Up-Low+1)(*ElemPtr.Size); /求本类型长度 Ptr:=(size,arrayTy,Low,Up,ElemPtr); /生成数组类型的内部表示 ,5.3.6 记录类型分析,形式：record id1:Type1；idn:Typen end 分析任务： 扫描记录类型部分，检查其语义错误； Ptr:=(RecordSize,recordTy,RBody
8、)；其中RBody指向域表，域表元素是四元组（域名，类型，偏移量，Next）；,域偏移量： 1）初始：off := 0; 2）固定体：id:T Offset(id):= off; off:= off + size(T) ； 3）计算记录大小：RecordSize := off;,例：RT=record a: array0.9 of integer; r: record b:boolean ; u: real end; m: integer end,分析算法:,Void RecordType(TYPE Ptr,int off,FIELDS RBody); L: new(FTPtr); /生成域类
9、型结点地址 next_token(); /读域名id next_token(); /读“：” next_token();TypeProcess(FTPtr);/构造域类型 Off=Off+FTPtr.Size; /修改off FieldNode=(token.seman, FTPtr,Off,nil); /构造域的内部结点 LinkField(RBody, FieldNode); /链表 if(token.class=“;”) goto L; /处理下一个域 Ptr=(off, recordTy,RBody); /构造记录结点 ,5.3.7 联合类型分析,形式：union id1:Type1；
10、idn:Typen end 分析任务： 扫描联合类型部分，检查其语义错误； Ptr:=(UnionSize,unionTy,unionBody)；其中UnionBody指向域表，域表元素是三元组（域名，类型，Next）； 域偏移量：每个域的偏移量均为0； 联合体空间：联合域共享空间，其大小由最大域空间确定。,分析算法:,Void UnionType(TYPE Ptr,int off,FIELDS UBody); L: new(FTPtr); /生成域类型结点地址 next_token(); /读域名id next_token(); /读“：” next_token();TypeProcess(
11、FTPtr);/构造域类型 FieldNode=(token.seman, FTPtr, nil); /构造域的内部结点 LinkField(RBody, FieldNode); /链表 MFS=MAXMFS,FTPtr.Size; /修改MFS if(token.class=“;”) goto L; /处理下一个域 Ptr=(MFS, unionTy,UBody); /构造联合结点 ,5.3.8 指针类型分析,语法形式：Type pointer T; 变量说明：var x: pointer T; 相当于C的 T* x; 分析任务： 扫描指针类型部分，并检查其语义错误； Ptr:=(PoinS
12、ize,PoinTy,Ptr0),其中Ptr0指向指针基类型。,实现算法：,void PointerTYPE(Ptr) new(Ptr0); next_token(); /读基类型T TypeProcess(Ptr0); /分析基类型T Ptr:=(PoinSize,PoinTy, Ptr0); /生成指针 ,5.3.9 递归类型分析,类型定义：type tid = tid; 焦点问题：由于类型定义tid中有对自己的引用，所以分析类型tid时无法查到标识符tid； 递归示例： 二叉树的定义： type tree = record elem : integer; left : pointer tree; right: pointer tree end,内部表示：,
