类型的语义表示.pptVIP

9.4抽象地址的处理 存储分配分为静态分配与动态分配。 在编译时分配的称静态分配。在目标程序运行时分配的称动态分配。 编译程序只能确定某种结构的形式地址，称之为抽象地址。第30页，共42页，星期日，2025年，2月5日第1页，共42页，星期日，2025年，2月5日9.1类型的语义表示标识符的处理主要包括语义代码化、作用域处理、符号表构造、单元分配等工作。单词是最小的语义单位。第2页，共42页，星期日，2025年，2月5日一、符号表的作用表格管理错误处理词法分析中间代码生成语法分析中间代码优化目标代码生成源程序目标程序第3页，共42页，星期日，2025年，2月5日?在整个编译阶段都离不开符号表。二、符号表的内容Pascal0有以下几种类型：整型：integer实型：real布尔型：boolean数组型：ARRAY[N1…N2]OFT记录型：RECORDid1：T1；…；idn;TnEND第4页，共42页，星期日，2025年，2月5日类型表TYPEL结构形如：TYPEL[tp]：TCLASSTPOINT种类部分指针第5页，共42页，星期日，2025年，2月5日TCLASS:irbad整型实型布尔型数组型记录型TCLASS部分结构如下：第6页，共42页，星期日，2025年，2月5日数组信息表AINFL的结构形如:AINFL[ap]:LOWUPCTPCLEN下界上界指针类型的长度第7页，共42页，星期日，2025年，2月5日记录信息表RINFL的表项结构形如：RINFL[rp]:IDEOFFFTP域名部分区距部分FTP是域类型部分第8页，共42页，星期日，2025年，2月5日一个记录类型要占几个RINFL表项，不同记录类型所占表项个数不一，而在表项中没有链接部分，因此在不同记录的RINFL表之间可放置一条空项，以表示记录类型的RINFL表中的结束。第9页，共42页，星期日，2025年，2月5日综上所述，我们有:TYPEL表integer:inilreal:rnilboolean:bnilaarray:AINFLdrecord:RINFL第10页，共42页，星期日，2025年，2月5日设一记录类型的RINFL表为:rp：id1Off1tp1id2Off2tp2???idnOffntpn假定integer,real,boolean为标准类型，其地址部分分别为itp,rtp,btp。Leng(itp)=Leng(rtp)=Leng(btp)=1第11页，共42页，星期日，2025年，2月5日例1：设有数组类型ARRAY[1…10]OFARRAY[1…5]OFinteger则其内部表示如下图所示。AINFLTYPELtp:aTCLASSTPOINTLOWUPCTPCLEN1105a15itp1第12页，共42页，星期日，2025年，2月5日例2：记录类型RECORDu：integer；a：ARRAY[1…10]OFboolean；r：RECORDx,y：realENDEND则表示如下图所示。drtp:TCLASSTPOINTu0itpa1atpr11rtp’atp:aTCLASSTPOINTAINFL表110btp1第13页，共42页，星期日，2025年，2月5日drtp:TCLASSTPOINTx0rtpy1rtp第14页，共42页，星期日，2025年，2月5日9.2标识符的语义表示程序中标识符的出现分为定义性的和使用性的。标识符的定义部分确定标识符的语义，它主要包括种类、类型、地址等等内容。标识符语义的内部表示称为机内符(机器内部符号)或语