类型的语义表示

类型的语义表示第一页，共四十二页，编辑于2023年，星期五9.1类型的语义表示标识符的处理主要包括语义代码化、作用域处理、符号表构造、单元分配等工作。单词是最小的语义单位。第二页，共四十二页，编辑于2023年，星期五一、符号表的作用

表格管理

错误处理

词法分析中间代码生成

语法分析中间代码优化目标代码生成

源程序

目标程序第三页，共四十二页，编辑于2023年，星期五在整个编译阶段都离不开符号表。二、符号表的内容

Pascal0有以下几种类型：整型：integer实型：real布尔型：boolean数组型：ARRAY[N1…N2]OFT记录型：RECORDid1：T1；…；idn;TnEND第四页，共四十二页，编辑于2023年，星期五类型表TYPEL结构形如：TYPEL[tp]：TCLASS

TPOINT种类部分指针第五页，共四十二页，编辑于2023年，星期五TCLASS:

irbad整型实型布尔型数组型记录型

TCLASS部分结构如下：第六页，共四十二页，编辑于2023年，星期五

数组信息表

AINFL的结构形如:AINFL[ap]:LOWUPCTPCLEN下界上界指针类型的长度第七页，共四十二页，编辑于2023年，星期五记录信息表

RINFL的表项结构形如：RINFL[rp]:IDEOFFFTP域名部分区距部分FTP是域类型部分第八页，共四十二页，编辑于2023年，星期五一个记录类型要占几个RINFL表项，不同记录类型所占表项个数不一，而在表项中没有链接部分，因此在不同记录的RINFL表之间可放置一条空项，以表示记录类型的RINFL表中的结束。第九页，共四十二页，编辑于2023年，星期五综上所述，我们有:

TYPEL表

integer:inilreal:

rnilboolean:

bnil

aarray:AINFL

drecord:RINFL第十页，共四十二页，编辑于2023年，星期五设一记录类型的RINFL表为:rp：id1

Off1

tp1id2

Off2

tp2

idn

Offn

tpn假定integer,real,boolean为标准类型，其地址部分分别为itp,rtp,btp。

Leng(itp)=Leng(rtp)=Leng(btp)=1第十一页，共四十二页，编辑于2023年，星期五例1：设有数组类型ARRAY[1…10]OFARRAY[1…5]OFinteger则其内部表示如下图所示。AINFLTYPELtp:aTCLASSTPOINTLOWUPCTPCLEN1105a15itp1第十二页，共四十二页，编辑于2023年，星期五例2：记录类型RECORDu：integer；

a：ARRAY[1…10]OFboolean；

r：RECORDx,y：realENDEND则表示如下图所示。

drtp:TCLASSTPOINTu0itpa

1

atpr11rtp’atp:aTCLASSTPOINTAINFL表110btp1第十三页，共四十二页，编辑于2023年，星期五drtp:TCLASSTPOINTx0rtpy

1

rtp第十四页，共四十二页，编辑于2023年，星期五9.2标识符的语义表示程序中标识符的出现分为定义性的和使用性的。标识符的定义部分确定标识符的语义，它主要包括种类、类型、地址等等内容。标识符语义的内部表示称为机内符(机器内部符号)或语义字。第十五页，共四十二页，编辑于2023年，星期五在我们的PASCAL0语言中，标识符的种类有：常量种类类型种类变量种类实在变量赋值形参变量引用形参变量赋值形参变量过函种类实在变量第十六页，共四十二页，编辑于2023年，星期五标识符语义字的一种结构：ITYPEICLASSIADDR类型部分种类部分地址部分第十七页，共四十二页，编辑于2023年，星期五

ICLASS的具体结构如下：ICLASS:ctvpdfr常量类型变量过函域名种类形参引用型形参第十八页，共四十二页，编辑于2023年，星期五从实际实现的角度来说，ICLASS的上述结构是很不经济的，因为如果用编码方法，三个二进位就够了。但上述结构直观、便于描述，因此还是采用这种结构。

IADDR部分的具体意义依赖于ICLASS内容。1.若ICLASS.c=1，则IADDR是CONSL表地址。第十九页，共四十二页，编辑于2023年，星期五2.若ICLASS.t=1，则IADDR是类型长度3.若ICLASS.v=1.则IADDR是形如：的抽象地址，其中LEVEL

是层数，OFF是区距部分。4.若ICLASS.d=1

，则是域类型长度5.若ICLASS.p=1，则IADDR是过函信息表PFINFL的地址，该表的表项结构如下：LEVELOFF第二十页，共四十二页，编辑于2023年，星期五LEVELOFFNOFFMOFFFNENTRYPARAMS层数区距DISSPLAY表的区距参数个数子程序入口地址参数处理完临时变量时的第一个可用OFF值第二十一页，共四十二页，编辑于2023年，星期五标识符的语义字内容如下图所示常量：ITYPEICLASSADDRtp’c’CONSL类型：tp’t’lengtp’v’

loff变量：域名：

tp’d’leng过函：tp’p’PFINFL第二十二页，共四十二页，编辑于2023年，星期五例子：设有PASCAL过程说明段:PROCEDUREp(VARx:real;y:boolean); CONSTpai=3.14; TYPEarr=ARRAY[1…10]OFinteger; VARm:integer;a:arr；

FUNCTIONf(Z:real;FUNCTIONG(U,W:real):real;K:integer):integer; BEGIN………………END BEGIN………………END第二十三页，共四十二页，编辑于2023年，星期五TYPECLASSADDRpfinfp1pp：2…4rtpvfrx：2…5btpvfy：<3.14>rtpcpai:10ainfptarr:2…offmitpvm:各标识符的语义字分别如下图所示第二十四页，共四十二页，编辑于2023年，星期五pfinfp2itppf：3…4fvrtpZ：pfinfp3frtppG：3…7fvitpK：实在过函标识符的OFF值为3，第一个形参的OFF值为4，ainfp表示AINFL表的一表项地址如下图：

2…offaainfpva：第二十五页，共四十二页，编辑于2023年，星期五

AINFL[ainfp]=1itp101Pinfp1如所示:PFINFLPARINFLPARAMSENTRYFNMOFFNOFFOFFLEVEL2631SEMAN(y)SEMAN(x)其他的情况类似第二十六页，共四十二页，编辑于2023年，星期五9.3符号表的组织一、符号表的结构

符号表记为SYMBL，它是标识符的语义表，在语义学中，把这种表称为环境。SYMBL表项的结构如下：

SYMBL[i]:IDENTSEMAN标识符部分语义字部分第二十七页，共四十二页，编辑于2023年，星期五二、定义性标识符

1.CONSTPi=3.142.TYPEA…3.VARA,B,C4.PROCEDUREX(A,B)5.FUNCINONX(A,B):Tname6.RECORDX:T;…;XEND第二十八页，共四十二页，编辑于2023年，星期五三、标识符的作用域与处理程序段：PROGRAM…END过程段：PROCEDURE………………END函数段：FUNCTION………………END记录类型：RECORD………………END具体实现方法可分为两种:真删除法加标记法第二十九页，共四十二页，编辑于2023年，星期五9.4抽象地址的处理

存储分配分为静态分配与动态分配。

在编译时分配的称静态分配。在目标程序运行时分配的称动态分配。

编译程序只能确定某种结构的形式地址，称之为抽象地址。第三十页，共四十二页，编辑于2023年，星期五抽象地址通常采用如下结构：leveloff

层数部分区距部分主pq0层1层2层第三十一页，共四十二页，编辑于2023年，星期五 每当一个过程说明的子程序被调用时，就要给其中的变量分配一串存贮单元，称这一串单元为该过程的一个活动区。 从第3号单元开始分配给过函名、形参等。第三十二页，共四十二页，编辑于2023年，星期五活动区的分配情况如下图所示：管理信息形式参数2形式参数1过函名DISPLAY表局部变量临时变量l＋10-2453第三十三页，共四十二页，编辑于2023年，星期五(l,off)

(l,off)(l,off)

(l,off)(l,off)

(l,off)(l,off)

(l,off+size(T))(l,off)

(l,off)(l,off)

(l,off)实在声明:抽象地址的变化规律可图示如下：<标号声明部分><常量声明部分><类型声明部分>

varid:T<过程声明部分><函数声明部分>第三十四页，共四十二页，编辑于2023年，星期五(l,off)

(l+1,4)(l,off)

(l+1,4)(l,off)

(l+1,4)(l,off)

(l+1,4)形参入口:procp(funcp(procP(funcF(第三十五页，共四十二页，编辑于2023年，星期五(l,off)

(l,off+Size(T))(l,off)

(l,off+1)(l,off)

(l,off+2)(l,off)

(l,off+2)形参声明:Id:TVarid:TfuncF(…):TprocP(…):形参出口:(l,off)

(l,off+l+1)<形参结束”)”>第三十六页，共四十二页，编辑于2023年，星期五其中小写字母的标识符表示实在标识符，大写字母的标识符则表示形参标识符。Size(T)表示类型T的长度。在形参出口,off+l+1中的l+1表示DISPLAY表的位置。第三十七页，共四十二页，编辑于2023年，星期五例：在下面程序中，每个对偶(l,i)表示此刻的LEVEL和OFF值。(l,10)LABEL100,200;(l,10)CONSTpai=3.14;(l,10)TYPEarr=ARRAY[1…10]OFinteger;(l,10)VARx:integer;(l,11)a:ARRAY[1…5]OFinteger;(l,16)FUNCTIONf((l+1,4)VARx:real;(l+1,5)a:arr;(传值)

第三十八页，共四十二页，编辑于2023年，星期五(l+1,15)VARc:arr;(传地址)(l+1,16)PROCEDUREG();(l+1,18)FUNCTIONF():rea