第六章中間代碼生成-文庫吧
2025-07-17 13:20 本頁面
【正文】 的預(yù)期類型是否匹配。 ? 類型信息的用途 – 查錯(cuò)、確定名字需要的內(nèi)存空間、計(jì)算數(shù)組元素的地址、類型轉(zhuǎn)換、選擇正確的運(yùn)算符 ? 本節(jié)的內(nèi)容 – 確定名字的類型， – 變量的存儲(chǔ)空間布局（相對(duì)地址） 類型表達(dá)式 ? 類型表達(dá)式（ type expression）：表示類型的結(jié)構(gòu) – 基本類型 – 類名 – 類型構(gòu)造算子作用于類型 ? array[數(shù)字，類型表達(dá)式 ] ? record[字段 /類型對(duì)的列表 ]（可以用符號(hào)表表示） – 函數(shù)類型構(gòu)造算子 ?：參數(shù)類型 ?結(jié)果類型 – 笛卡爾積： s X t – 可以包含取值為類型表達(dá)式的變量 類型表達(dá)式的例子 ? 類型例子 – 元素個(gè)數(shù)為 3X4的二維數(shù)組 – 數(shù)組的元素的記錄類型 – 該記錄類型中包含兩個(gè)字段 : x和 y,其類型分別是 float和 integer ? 類型表達(dá)式 – array[3, array[4,record[(x,float),(y,float)]] 類型等價(jià) ? 不同的語言有不同的類型等價(jià)的定義 ? 結(jié)構(gòu)等價(jià) – 或者它們是相同的基本類型 – 或者是相同的構(gòu)造算子作用于結(jié)構(gòu)等價(jià)的類型而得到的。 – 或者一個(gè)類型是另一個(gè)類型表達(dá)式的名字 ? 名等價(jià) – 類型名僅僅代表其自身 聲明 ? 文法 – D ? T id 。 D | ε – T ? B C | record ‘{’ D ‘}’ – C ? int | float – C ? ε | [num] C ? 含義： – D生成一系列聲明； – T生成不同的類型； – B生成基本類型 int/float； – C表示分量，生成 [num]序列； – 注意 record中包含了各個(gè)字段的聲明。字段聲明和變量聲明的文法一致。 局部變量的存儲(chǔ)布局 ? 變量的類型可以確定變量需要的內(nèi)存 – 即類型的寬度 – 可變大小的數(shù)據(jù)結(jié)構(gòu)只需要考慮指針 ? 函數(shù)的局部變量總是分配在連續(xù)的區(qū)間； – 因此給每個(gè)變量分配一個(gè)相對(duì)于這個(gè)區(qū)間開始處的相對(duì)地址 ? 變量的類型信息保存在符號(hào)表中； 計(jì)算 T的類型和寬度的 SDT ? 綜合屬性： type, width ? 全局變量 t和 w用于將類型和寬度信息從 B傳遞到 C? ε – 相當(dāng)于 C的繼承屬性，因?yàn)榭偸峭ㄟ^拷貝來傳遞，所以在SDT中只賦值一次。 也可以把 t和 w替換為 SDT運(yùn)行的例子 ? 輸入： int[2][3] 作用域和符號(hào)表 ? 在具有語句塊概念的編程語言中，標(biāo)識(shí)符 x在最內(nèi)層的 x聲明的作用域中。 ? 每個(gè)作用域?qū)?yīng)于一個(gè)符號(hào)表；多個(gè)符號(hào)表形成樹狀結(jié)構(gòu)。 ? 在語義分析時(shí)，通過棧來存放當(dāng)前符號(hào)表及其祖先。 聲明序列的 SDT（ 1） ? 在處理一個(gè)過程 /函數(shù)時(shí)，局部變量應(yīng)該放到單獨(dú)的符號(hào)表中去； ? 這些變量的內(nèi)存布局獨(dú)立 – 相對(duì)地址從 0開始； – 假設(shè)變量的放置和聲明的順序相同； ? SDT的處理方法 – 變量 offset記錄當(dāng)前可用的相對(duì)地址； – 每“分配”一個(gè)變量， offset的值增加相應(yīng)的值 ? (, , offset) – 在當(dāng)前符號(hào)表 (位于棧頂 )中創(chuàng)建符號(hào)表?xiàng)l目，記錄標(biāo)識(shí)符的類型，偏移量 聲明序列的 SDT（ 2） ? 我們可以把 offset看作 D的繼承屬性 – D中第一個(gè)變量的相對(duì)地址 – P?{ =0} D – D? T id。 { = + 。} D1 記錄字段的處理 ? T
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1