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