編譯原理及實(shí)現(xiàn)技術(shù)：18-語義分析-抽象地址和符號表

第四章：語義分析

抽象地址

符號表1.抽象地址1.1地址分配1.2抽象地址結(jié)構(gòu)1.3層數(shù)定義1.4過程活動(dòng)記錄1.5分配原則1.1地址分配原則靜態(tài)分配在編譯時(shí)間即為所有數(shù)據(jù)對象分配固定的地址單元，且這些地址在運(yùn)行時(shí)間始終保持不變。是一種直觀的方法，但不適用于動(dòng)態(tài)申請空間。動(dòng)態(tài)分配程序中變量分配的地址不是具體的地址，而是一個(gè)抽象地址，當(dāng)程序運(yùn)行時(shí)根據(jù)抽象地址分配具體的物理地址。1.2抽象地址的結(jié)構(gòu)抽象地址的形式是一個(gè)二元組，由層數(shù)和偏移組成。層數(shù)主要是針對嵌套式語言，表示的是某個(gè)函數(shù)所處的嵌套定義層數(shù)。偏移是針對過程活動(dòng)記錄的一個(gè)相對偏移量層數(shù)偏移1.3層數(shù)的定義嵌套式語言中：主程序設(shè)為0層主程序直接定義的函數(shù)和過程定義為1層若某函數(shù)為L層，則該函數(shù)直接定義的函數(shù)為L+1層并列式語言中:全局變量定義為0層，函數(shù)中的變量定義為1層1.4過程活動(dòng)記錄臨時(shí)變量區(qū)局部變量區(qū)形參區(qū)管理信息每次函數(shù)被調(diào)用時(shí)都會給函數(shù)分配一片空間，用以存儲如圖信息，我們把這片存儲空間稱作過程活動(dòng)記錄偏移是針對過程活動(dòng)記錄的，通過起始位置+偏移量就可以找到對應(yīng)的物理位置。過程活動(dòng)記錄中存儲的順序?qū)嶋H上是處理的先后順序。1.5空間分配原則臨時(shí)變量一律一個(gè)單元局部變量按類型大小分形參地址引用型形參：分一個(gè)單元值引用型形參：按類型大小分過/函形參：分兩個(gè)單元（入口地址，display表信息）2.符號表2.1符號表結(jié)構(gòu)和總體組織2.2Newtoken與符號表的關(guān)系2.3符號表查表技術(shù)2.4標(biāo)識符的作用域2.5局部化區(qū)的語義錯(cuò)誤檢查2.5標(biāo)識符處理原則2.6實(shí)例分析2.1符號表結(jié)構(gòu)和總體組織符號表存儲的是標(biāo)識符的語義信息，包含兩部分：標(biāo)識符的名字；語義字(種類、類型、抽象地址...)不同類別的標(biāo)識符所包含的信息是不同的。符號表的總體組織既可以采用多表結(jié)構(gòu)，也可以采用單表結(jié)構(gòu),也可以二者折中。究竟采用哪種結(jié)構(gòu)并沒有統(tǒng)一的規(guī)定，編譯程序可根據(jù)實(shí)際處理語言的需要進(jìn)行選擇。2.2Newtoken與符號表的關(guān)系聲明性出現(xiàn)：<標(biāo)識符，a>創(chuàng)建標(biāo)識符a所對應(yīng)的符號表，將token轉(zhuǎn)化為<標(biāo)識符，指針（符號表中創(chuàng)建的項(xiàng)）>使用性出現(xiàn)：<標(biāo)識符，a>到符號表中查找a，找到則將token轉(zhuǎn)化為<標(biāo)識符，指針（符號表中查找到的項(xiàng)）>2.3符號表查表技術(shù)

順序查表法折半查表法（二分法）散列查表法（哈希表）2.4標(biāo)識符的作用域

標(biāo)識符的作用域：是指某標(biāo)識符可以有效使用的范圍，標(biāo)識符的作用域是一個(gè)程序段，稱之為程序的局部化區(qū)，通常是一個(gè)子程序或者分程序，局部化區(qū)是允許含有聲明的最小程序單位。voidfunction【(){...}】structuredata【{}】{【】}2.5局部化區(qū)的語義錯(cuò)誤檢查變量的重復(fù)聲明在一個(gè)程序的局部化區(qū)里，同一個(gè)標(biāo)識符不能被聲明兩次。標(biāo)識符的使用有無聲明強(qiáng)類型語言規(guī)定標(biāo)識符必須先聲明后使用，弱類型語言無要求。2.6標(biāo)識符處理原則這兩個(gè)問題清楚之后，我們來看一下標(biāo)識符的處理原則，既要保存有用的信息，又要杜絕語義錯(cuò)誤。每進(jìn)入一個(gè)局部化區(qū)，記錄本層符號表的首地址遇到聲明性標(biāo)識符時(shí)，構(gòu)造其語義字，查本層的符號表，檢查是否有重名，有則出錯(cuò)，否則就把其語義字填到符號表里。遇到使用性出現(xiàn)，查符號表，如果查到則讀取其語義字，否則出現(xiàn)語義錯(cuò)誤。退出一個(gè)局部化區(qū)，'作廢'本層的符號表。實(shí)例分析

procp() typeat=array[1..100]ofarray[1..10]ofinteger varx:real;a:at;i:integer; procp1(vara1:at；a2:at)

varx:integer;a:real;

procp2(n:integer)

varm:1..50;x:real;

m,n,x(使用性出現(xiàn))

end

a1,a2,x,a,i（使用性出現(xiàn)）

end

x,a,i（使用性出現(xiàn)）

endintmain(){inta;floatb,d;{intc;floata;{intd;floatc;{floatd;//...a=b+c+d;}}{chard;} }return0;}實(shí)例分析嵌套式語言并列式語言的比較特殊情形，從程序設(shè)計(jì)語言的角度來說有嵌套式語言和并列式語言從處理難度角度來說，可能嵌套式語言復(fù)雜，并列式簡單。并列式語言的局部化區(qū)比較固定，層數(shù)分成兩層，全局量定義成0層，局部量定義成1層。分配地址特殊情形就是分程序結(jié)構(gòu)，分程序可以是嵌套的，他的層數(shù)都是看成同一層，查