第六章符號表組織

單擊此處編輯母版標(biāo)題樣式,單擊此處編輯母版文本樣式,第二級,第三級,第四級,第五級,*,內(nèi)容提要:,第 6,章,章,符,符,號,號表組,織,織,-語,義,義分析,之,之一,6.1,符,符,號,號表的,地,地位和,作,作用,6.2,符,符,號,號表的,組,組織與,管,管理,6.3,符,符,號,號表的,結(jié),結(jié)構(gòu)設(shè),計(jì),計(jì),6.4,符,符,號,號表的,構(gòu),構(gòu)造過,程,程示例,6.5,運(yùn),運(yùn),行,行時刻,存,存儲分,配,配,6.1,符,符,號,號表的,地,地位和,功,功能,符號表,是,是標(biāo)識符的動態(tài)語,義,義詞典，屬于,編,編譯中,語,語義分,析,析的知,識,識庫；,主,主要內(nèi),容,容：,名字 標(biāo),識,識符源,碼,碼，用,作,作查詢,關(guān),關(guān)鍵字,；,；,類型-,該,該標(biāo)識,符,符的數(shù),據(jù),據(jù)類型,及,及其相,關(guān),關(guān)信息,；,；,種類-,該,該標(biāo)識,符,符在源,程,程序中,的,的語義,角,角色；,地址-,與,與值單,元,元相關(guān),的,的一些,信,信息；,定,義,義和重,定,定義檢,查,查；,類,型,型匹配,校,校驗(yàn)；,數(shù),據(jù),據(jù)的越,界,界和溢,出,出檢查,；,；,值,單,單元存,儲,儲分配,信,信息；,函,數(shù),數(shù)、過,程,程的參,數(shù),數(shù)傳遞,與,與校驗(yàn),；,；,符號表,的,的功能,標(biāo)識符四種語,義,義信息,6.2,符,符,號,號表的,組,組織與,管,管理,6.2.1,符,符號,表,表的工,作,作原理,遇定義性,標(biāo),標(biāo)識符(在說,明,明中)-,把,把語,義,義信息填入表中,，,，并修,改,改其TOKEN的指,針,針，使,其,其指向,相,相應(yīng)的,表,表項(xiàng)：,（i,),該,標(biāo)識符,符號表項(xiàng),遇應(yīng)用性,標(biāo),標(biāo)識符(在語,句,句中)-查符號表,的,的相應(yīng),項(xiàng),項(xiàng)，查,到,到后修,改,改其TOKEN的指,針,針，使,其,其指向,相,相應(yīng)的,表,表項(xiàng)：,6.2.2,符,符號,表,表的查,詢,詢、訪,問,問方式,線性表、順序表、索引表和散列表，皆可以采用。,（i,),該,標(biāo)識符,符號表項(xiàng),6.2.3,符,符號,表,表的維,護(hù),護(hù)、管,理,理方式,一個,源,源文件,有,有若干,個,個函數(shù),組,組成，,通,通常，每個函,數(shù),數(shù)對應(yīng),一,一個符,號,號表，此外,，,，還是,有,有一個公用符,號,號表；,符號,表,表如何,管,管理？,往,往往取,決,決于所,屬,屬語言,的,的程序,結(jié),結(jié)構(gòu)，,就,就 C,語,語言來,說,說，可,以,以在內(nèi),存,存設(shè)置,一,一定長,度,度的符號表,區(qū),區(qū)，并建,立,立適當(dāng),的,的索引機(jī),制,制，訪問,相,相應(yīng)的,符,符號表,：,：,公用,符號表,FUNCTION 2,符號表,FUNCTION 1,符號表,現(xiàn)行,函數(shù)符號表,全局,符,符號表,區(qū),區(qū),局部,符,符,號,號表區(qū),索引機(jī),制,制,FUNCTION exp(x:REAL;VAR y:INTEGER):REAL;,CONST pai=3.14;,TYPE arr=ARRAY1.5,1.10 OF INTEGER;,VAR a:arr;b,a:real;,BEGIN ;a2,5:=100;b:=z+6;END;,6.3,符,符,號,號表的,結(jié),結(jié)構(gòu)設(shè),計(jì),計(jì),【例6.1】,有,有下列,函,函數(shù)過,程,程：,需,要,要進(jìn)符,號,號表的,標(biāo),標(biāo)識符,：,：,exp(函數(shù),附,附帶信,息,息:類,型,型、參,數(shù),數(shù)情況,和,和入口,地,地址),pai(常量),arr(類型),a(下標(biāo)變,量,量)，b(簡單,變,變量),，,，,怎,樣,樣檢查,出,出：a重定義,、,、z無定義,以,以及下,表,表變量,a2,5的值地,址,址在何,處,處？,符,號,號表的,體,體系結(jié),構(gòu),構(gòu)設(shè)計(jì),由于標(biāo),識,識符的,種,種類不,同,同，導(dǎo),致,致語義,屬,屬性也,不,不盡相,同,同；怎,樣,樣組織,符,符號表,？,？下面,提,提供一,個,個符號,表,表的體系結(jié),構(gòu),構(gòu)：,SYNBL（符號表）,NAME TYPE CAT ADDR,PFINFL(函數(shù)表),CONSL(常量表),AINFL(數(shù)組表),RINFL(結(jié)構(gòu)表),VALL(活動紀(jì)錄),LENL(長度表),TYPEL（類型表）,TVAL TPOINT,名字,類,類型,種,種類,地,地址,token,i ,6.3.1,符,符號,表,表總表(SYNBL),結(jié),構(gòu),構(gòu)：,NEME(名,字,字),標(biāo),標(biāo)識,符,符源碼(或內(nèi),部,部碼),TYP(類型),指,指針,，,，指向,類,類型表,相,相應(yīng)項(xiàng),；,；,CAT(種類),種,種類,編,編碼：,f/P(函數(shù))，c(常量)，t(類型)，d(域名)，,v,vn,vf(變,量,量，換,名,名形參,，,，賦值,形,形參),；,；,ADDR(地,址,址),指,針,針，根,據(jù),據(jù)標(biāo)識,符,符的種類不同，,分,分別指,向,向：PFINFL,CONSL,LENL,VALL,6.3.2,類,類型,表,表(TAPEL),結(jié),構(gòu),構(gòu)：,TVAL(類,碼,碼),類,類型,代,代碼：,i(整型)，r(實(shí)型)，c(字符,型,型)，b(布爾,型,型)，,a(數(shù)組,型,型)，d(結(jié)構(gòu),型,型)，,TPOINT(指針),根,根據(jù),數(shù),數(shù)據(jù)類,型,型不同,，,，指向,不,不同的,信,信息表,項(xiàng),項(xiàng)：,基,本,本數(shù)據(jù),類,類型(i,r,c,b)nul(空指,針,針)；,數(shù),組,組類型(a),指,指向,數(shù),數(shù)組表,；,；,結(jié),構(gòu),構(gòu)類型(d),指,指向,結(jié),結(jié)構(gòu)表;,6.3.3,數(shù),數(shù)組,表,表(AINFL),結(jié),構(gòu),構(gòu)：,每維占,表,表中一,個,個紀(jì)錄,LOW(數(shù)組,的,的下界)-,（,（C語,言,言自動,設(shè),設(shè)為：0）;,UP(,數(shù),數(shù)組的,上,上界),CTP(成分,類,類型指,針,針),指,針,針，指,向,向該維,數(shù),數(shù)組成,分,分類型(在類,型,型表中,的,的信息);,CLEN(成,分,分類型,的,的長度),成,成分類,型,型的數(shù),據(jù),據(jù)所占值單元,的,的個數(shù)；,這,里,里假定,：,：值單元,個,個數(shù)依字長為單位,計(jì),計(jì)算。,6.3.4,結(jié),結(jié)構(gòu),表,表(RINFL),結(jié),構(gòu),構(gòu)：,ID(,結(jié),結(jié)構(gòu)的,域,域名),OFF(區(qū)距)是id,k,的值單,元,元首址,相,相對于,所,所在記,錄,錄值區(qū),區(qū),區(qū)頭位,置,置；,約定：off,1,=0，,off,2,=off,1,+LEN(tp,1,),off,n,=off,n-1,+,LEN(tp,n-1,),。,id,n-1,的長度,TP(,域,域成分,類,類型指,針,針),指,針,針，指,向,向id,k,域成分,類,類型(,在,在類型,表,表中的,信,信息);,每個域,占,占表中,一,一個紀(jì),錄,錄,6.3.5,函,函,數(shù),數(shù)表(PFINFL),結(jié),構(gòu),構(gòu)：,LEVEL(,層,層次號),該,該過函,靜,靜態(tài)層,次,次嵌套,號,號,OFF(區(qū)距),該,該過函,自,自身數(shù),據(jù),據(jù)區(qū)起,始,始單元,相,相對該,過,過函值,區(qū),區(qū)區(qū)頭,位,位置,；,；,FN(,參,參數(shù)個,數(shù),數(shù)),該,過,過函的,形,形式參,數(shù),數(shù)的個,數(shù),數(shù)；,PARAM(,參,參數(shù)表),指,指針,，,，指向,形,形參表,；,；,ENTRY(,入,入口地,址,址),該,函,函數(shù)目,標(biāo),標(biāo)程序,首,首地址(運(yùn)行,時,時填寫)；,-過程或函數(shù)語義信,息,息,6.3.6,其,其他,表,表(),常,量,量表(CONSL)-,存,存放相,應(yīng),應(yīng)常量,的,的初值,；,；,長,度,度表(LENL),存,放,放相應(yīng),數(shù),數(shù)據(jù)類,型,型所占,值,值單元,個,個數(shù)；,活,動,動紀(jì)錄,表,表(VALL),一,一個,函,函數(shù)(,或,或過程)虛擬,的,的值單,元,元存儲,分,分配表,；,；此分,配,配表在,運(yùn),運(yùn)行調(diào),用,用時才,可,可用，,故,故稱活動紀(jì),錄,錄。,結(jié)構(gòu)：,結(jié)構(gòu)：,結(jié)構(gòu)：,6.4符號表,的,的構(gòu)造,過,過程示,例,例：,ENT,2,?,v3,vn,itp,y,v2,vf,rtp,x,臨時變,量,量值區(qū),b值,y值,數(shù)組a,值,值區(qū),管理區(qū),exp,值,值,x值,鏈接表,3.14,50,1,itp,10,1,10,5,1,a,a,c,i,r,b,v1,v2,v3,v4,v5,t,arr,v4,v,a,c,rtp,pai,v5,v,rtp,b,v3,vn,itp,y,v2,vf,rtp,x,f,rtp,exp,SYNBL,PFINFL,VALL,CONSL,LENL,AINFL,TYPEL,設(shè)：整型,占,占1個存,儲,儲單元，,【例6.2】有類,型,型說明:,TYPEarr=ARRAY1.10OFARRAY 1.5OFINTEGER;,試填寫符,號,號表。,SYNBL,TYPEL,AINFL,arr,a,1,10,a,1,5,i,tp,設(shè)：實(shí)型,占,占8個存,儲,儲單元，,整,整型占4,個,個單元，,布,布爾型和,字,字符型占1個單元,。,。,4,20,t,LENL,200,【例6.3】有類,型,型說明:,試填寫符,號,號表。,SYNBL,TYPEL,AINFL,rec,d,1,10,d,b,tp,設(shè)：實(shí)型,占,占8個存,儲,儲單元，,整,整型占4,個,個單元，,布,布爾型和,字,字符型占1個單元,。,。,1,t,LENL,TYPErec=RECORD,u:INTEGER;,v:ARRAY1.10OFBOOLEAN;,r:RECORD x,y:REAL END,END;,RINFL,u,0,i,tp,u,i,tp,d,4,v,4,a,v,d,10,r,14,x,0,r,tp,r,tp,r,r,tp,d,x,d,d,8,y,8,y,r,tp,8,16,30,【例6.4】,試填寫符,號,號表。,SYNBL,TYPEL,v,f,?,r,tp,設(shè)：實(shí)型,占,占8個存,儲,儲單元，,整,整型占4,個,個單元，,布,布爾型和,字,字符型占1個單元,。,。,?,PROCEDURE P1(VAR x:REAL;y:INTEGER);,BEGIN,END;,PFINFL,r,tp,P1,r,tp,p,x,v,n,y,2,y,r,tp,有過程說,明,明:,設(shè)P1所,在,在層LEVEL=1，即所,定,定義的層LEVEL=2,1,P1,2,2,?,Entry,x,v,n,?,v,f,?,注：,？,該,該標(biāo)識符,的,的值單元,首,首址，,為相對地,址,址（LEVEL,offset）,LEVEL,該,該標(biāo)識符,所在層次,號,號，,offset,區(qū)距，,存儲分配,時,時可定,。,6.5,運(yùn),運(yùn)行時,刻,刻存儲分,配,配,解決的問,題,題：標(biāo)識符變量的地址分配與對它們,的,的訪問。,6.5.1,標(biāo)識符值,單,單元分配,值單元分,配,配分兩類,：,：,在編譯階段即可完成,真,真實(shí)的地,址,址分配。,在,在編譯時,對,對所有數(shù),據(jù),據(jù)對象分,配,配固定的,存,存儲單元,，,，且在運(yùn),行,行是始終,保,保持不變,。,。,1.靜態(tài),分,分配,2.動態(tài),分,分配,指在運(yùn)行,時,時刻進(jìn)行,的,的值單元,分,分配，在,編,編譯時只,能,能進(jìn)行相,對,對地址分,配,配。,棧式動,態(tài),態(tài)分配；,堆式動,態(tài),態(tài)分配。,值單元分,配,配是以過,程,程函數(shù)為,單,單位的。,注：,6.5.2,活動記錄,1.三個,概,概念,過程：,一個可執(zhí),行,行模塊，,過,過程或函,數(shù),數(shù)，通常,完,完成特定,的,的功能。,活動：,過函的一,次,次執(zhí)行。,每,每執(zhí)行一,次,次過程體,，,，則產(chǎn)生,該,該過函的,一,一個活動,。,。,活動記錄,：,：,一個有結(jié)構(gòu)的連續(xù)存,儲,儲塊。用,來,來存儲過,函,函一次執(zhí),行,行中所需,要,要的信息,。,。,如果不支,持,持可變數(shù),據(jù),據(jù)結(jié)構(gòu)，,活,活動記錄,的,的體積是,可,可以在編,譯,譯時確定,的,的。,活動記錄,僅,僅是一種存儲映像，編譯程,序,序所進(jìn)行,的,的運(yùn)行時,刻,刻存儲分,配,配是在符,號,號表中進(jìn),行,行的。,6.5.2,活動記錄,（,（續(xù)）,2.活動,記,記錄的結(jié),構(gòu),構(gòu),VALL,TOP,SP,連接數(shù)據(jù),局部數(shù)據(jù),（1）連,接,接數(shù)據(jù)區(qū),返回