第9章符號表

1、 9.1 9.1 類型的語義表示類型的語義表示 標(biāo)識符的處理主要包括語義代碼化、 作用域處理、符號表構(gòu)造、單元分配等 工作。 單詞是最小的語義單位。 一、符號表的作用 表 格 管 理 錯(cuò) 誤 處 理 詞法分析 中間代碼生成 語法分析 中間代碼優(yōu)化 目標(biāo)代碼生成 源程序 目標(biāo)程序 在整個(gè)編譯階段都離不開符號表。 二、符號表的內(nèi)容 Pascal0有以下幾種類型： 整 型：integer 實(shí) 型：real 布爾型：boolean 數(shù)組型：ARRAYN1N2OF T 記錄型：RECORD id1：T1； idn;Tn END 類型表TYPEL結(jié)構(gòu)形如： TYPELtp： TCLASS TPOINT 種

2、類部分指針 TCLASS: i r b a d 整型 實(shí)型 布爾型 數(shù)組型 記錄型 TCLASS部分結(jié)構(gòu)如下： 數(shù)組信息表 AINFL的結(jié)構(gòu)形如: AINFLap: LOW UP CTP CLEN 下界 上界 指針 類型的長度 記錄信息表 RINFL的表項(xiàng)結(jié)構(gòu)形如： RINFLrp: IDE OFF FTP 域名部分 區(qū)距部分 FTP是域類型部分 一個(gè)記錄類型要占幾個(gè)RINFL表項(xiàng)， 不同記錄類型所占表項(xiàng)個(gè)數(shù)不一，而 在表項(xiàng)中沒有鏈接部分，因此在不同 記錄的RINFL表之間可放置一條空項(xiàng)， 以表示記錄類型的RINFL表中的結(jié)束。 綜上所述，我們有: TYPEL表 integer: i nil

3、real: r nil boolean: b nil a array: AINFL drecord: RINFL 設(shè)一記錄類型的RINFL表為 : rp： id1 Off1 tp1 id2 Off2 tp2 idn Offn tpn 假定integer,real,boolean為標(biāo)準(zhǔn)類 型，其地址部分分別為itp,rtp,btp。 Leng(itp)=Leng(rtp)=Leng(btp)=1 例1：設(shè)有數(shù)組類型ARRAY110 OF ARRAY 15 OF integer 則其內(nèi)部表 示如下圖所示。 AINFLTYPEL tp:a TCLASSTPOINTLOW UP CTP CLEN 1

4、10 5 a 1 5 itp 1 例2：記錄類型RECORD u：integer； a：ARRAY110 OF boolean； r：RECORD x,y：real END END 則表示如下圖所示。 drtp: TCLASSTPOINT u 0 itp a 1 atp r 11 rtp atp:a TCLASSTPOINT AINFL表 1 10 btp 1 drtp: TCLASSTPOINT x 0 rtp y 1 rtp 9.2 9.2 標(biāo)識符的語義表示標(biāo)識符的語義表示 程序中標(biāo)識符的出現(xiàn)分為定義性的 和使用性的。 標(biāo)識符的定義部分確定標(biāo)識符的語義， 它主要包括種類、類型、地址等等內(nèi)容

5、。 標(biāo)識符語義的內(nèi)部表示稱為機(jī)內(nèi)符 (機(jī)器內(nèi)部符號)或語義字。 在我們的PASCAL0語言中，標(biāo)識符的 種類有： 常量種類 類型種類 變量種類 實(shí)在變量 賦值形參變量 引用形參變量 賦值形參變量 過函種類 實(shí)在變量 標(biāo)識符語義字的一種結(jié)構(gòu)： ITYPE ICLASS IADDR 類型部分 種類部分 地址部分 ICLASS的具體結(jié)構(gòu)如下： ICLASS:c t v p d f r 常量 類型 變量 過函 域名種類 形參 引用型形參 從實(shí)際實(shí)現(xiàn)的角度來說，ICLASS的上 述結(jié)構(gòu)是很不經(jīng)濟(jì)的，因?yàn)槿绻镁幋a 方法，三個(gè)二進(jìn)位就夠了。但上述結(jié)構(gòu) 直觀、便于描述，因此還是采用這種結(jié) 構(gòu)。 IADDR部

6、分的具體意義依賴于ICLASS 內(nèi)容。 1. 若ICLASS.c=1，則IADDR是CONSL表 地址。 2.若ICLASS.t=1，則IADDR是類型長度 3.若ICLASS.v=1.則IADDR是形如： 的抽象地址，其中LEVEL 是層數(shù)，OFF是區(qū)距部分區(qū)距部分。 4.若ICLASS.d=1，則是域類型長度 5.若ICLASS.p=1，則IADDR是過函信息 表PFINFL的地址，該表的表項(xiàng)結(jié)構(gòu)如 下： LEVEL OFF LEVEL OFF NOFF MOFF FN ENTRY PARAMS 層數(shù) 區(qū)距 DISSPLAY表的區(qū)距 參數(shù)個(gè)數(shù) 子程序入口地址 參數(shù) 處理完臨時(shí)變量時(shí)的第一個(gè)

7、可用OFF值 標(biāo)識符的語義字內(nèi)容如下圖所示 常量： ITYPE ICLASS ADDR tp c CONSL 類型： tp t leng tp v l off變量： 域名： tp d leng 過函： tp p PFINFL 例子：設(shè)有PASCAL過程說明段: PROCEDURE p(VAR x:real; y:boolean); CONST pai=3.14; TYPE arr=ARRAY110 OF integer; VAR m:integer; a:arr； FUNCTION f(Z:real;FUNCTION G(U,W: real):real;K:integer):integer;

8、BEGINEND BEGINEND TYPE CLASS ADDR pfinfp1 pp： 24rtp v f rx： 25btp v fy： rtp cpai: 10 ainfp tarr: 2offmitp vm: 各標(biāo)識符的語義字分別如下圖所示 pfinfp2itp pf： 34fvrtpZ： pfinfp3frtp pG： 37fvitpK： 實(shí)在過函標(biāo)識符的OFF值為3，第一個(gè) 形參的OFF值為4，ainfp表示AINFL表的一 表項(xiàng)地址如下圖： 2offa ainfp v a： AINFLainfp= 1itp101 Pinfp1 如所示: PFINFL PARINFL PARAM

9、S ENTRY FN MOFF NOFF OFF LEVEL 2 6 3 1 SEMAN(y) SEMAN(x) 其他的情況類似 9.3 9.3 符號表的組織符號表的組織 一、一、符號表的結(jié)構(gòu) 符號表記為SYMBL，它是標(biāo)識符的語 義表，在語義學(xué)中，把這種表稱為環(huán)境。 SYMBL表項(xiàng)的結(jié)構(gòu)如下： SYMBLi: IDENT SEMAN 標(biāo)識符部分語義字部分 二、定義性標(biāo)識符 1.CONST Pi=3.14 2.TYPE A 3.VAR A,B,C 4.PROCEDURE X( A,B ) 5.FUNCINON X( A,B ):Tname 6.RECORD X:T;X END 三、標(biāo)識符的作用

10、域與處理 程序段：PROGRAMEND 過程段：PROCEDUREEND 函數(shù)段： FUNCTIONEND 記錄類型： RECORDEND 具體實(shí)現(xiàn)方法可分為兩種: 真刪除法 加標(biāo)記法 9.4 9.4 抽象地址的處理抽象地址的處理 存儲分配分為靜態(tài)分配與動態(tài)分配。 在編譯時(shí)分配的稱靜態(tài)分配。 在目標(biāo)程序運(yùn)行時(shí)分配的稱動態(tài)分配。 編譯程序只能確定某種結(jié)構(gòu)的形式地址， 稱之為抽象地址。 抽象地址通常采用如下結(jié)構(gòu)： level off 層數(shù)部分區(qū)距部分 主 p q 0層1層2層 每當(dāng)一個(gè)過程說明的子程序被調(diào)用 時(shí)，就要給其中的變量分配一串存貯 單元，稱這一串單元為該過程的一個(gè) 活動區(qū)。 從第3號單元

11、開始分配給過函名、 形參等。 活動區(qū)的分配情況如下圖所示： 管理信息 形式參數(shù)2 形式參數(shù)1 過函名 DISPLAY表 局部變量 臨時(shí)變量 l1 0-2 4 5 3 (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) 實(shí)在聲明: 抽象地址的變化規(guī)律可圖示如下： var id:T (l,off) (l +1,4) (l,off) (l +1,4) (l,off) (l +1,4) (l,off) (l +1,4) 形參入口: proc p( f

12、unc p( proc P( func F( (l,off) (l ,off+Size(T) (l,off) (l ,off+1) (l,off) (l ,off+2) (l,off) (l ,off+2) 形參聲明: Id:T Var id:T func F():T proc P(): 形參出口: (l,off) (l,off+l+1) 其中小寫字母的標(biāo)識符表示實(shí)在標(biāo) 識符，大寫字母的標(biāo)識符則表示形參 標(biāo)識符。Size(T)表示類型T的長度。 在形參出口,off+l+1中的l+1表示 DISPLAY表的位置。 例：在下面程序中，每個(gè)對偶(l,i)表示 此刻的LEVEL和OFF值。 (l,10

13、)LABEL 100,200; (l,10)CONST pai=3.14; (l,10)TYPE arr=ARRAY110OF integer; (l,10)VAR x:integer; (l,11) a:ARRAY15 OF integer; (l,16) FUNCTION f( (l+1,4)VAR x:real; (l+1,5) a:arr; (傳值) (l+1,15)VAR c:arr; (傳地址) (l+1,16)PROCEDURE G( ); (l+1,18)FUNCTION F( ):real (l+1,20) ):real; (l+1,20+l+2) (形參結(jié)束 off+(l+1)+1 ) BEGINEND； (l,16) 9.5 9.5 標(biāo)識符的處理算法標(biāo)識符的處理算法 例子：設(shè)有非形參過程首部(層數(shù)為l)。 PROCEDURE P(X,Y:integer; VAR Z: real; PROCEDURE G(U:real；J:integer); FUNCTION F( VAR W:real; FUNCTION H(M:integer):real): bool) 最后得到下列一些表的內(nèi)容： Scopes: SEMAN(F)F SEMAN(G)