北航編譯原理講義及試題編譯原理實(shí)驗(yàn)三，四講稿-xxxx-1--展示頁
2025-03-04 01:31本頁面
【正文】 function 39。 ? Print(s)。 ? c = test(4, 5)。 ? string s。 ? int test(int c, int d)。 ? Class Scope 類內(nèi)部的成員變量和方法。 四種 scope ? Global Scope 全局變量，類定義， main函數(shù)。 Scope內(nèi)的標(biāo)識(shí)符都加入 scope內(nèi)部的加入 hashtable中。在 義了 static Scope* stack[MaxNestLevel]。同學(xué)們可自行選擇。 變量的類型 ?在 pp3中我們要獲得變量的類型。（教材附錄有，不再講述） 語義分析的例子 ?Type equivalence and patibility ? Two base types are equivalent if and only if they are the same exact type. ?BoolExpr : Expr { $$ = CheckBoolExprUsage(1, $1)。例子見后。 例如 Pascal語言規(guī)定同一標(biāo)識(shí)符在一個(gè)分程序中只能被說明一次等等 。 （ 3） 一致性檢查 。 （ 2） 控制流檢查 。編譯原理實(shí)驗(yàn)三，四 語義分析 通常包括： （ 1） 類型檢查 。 驗(yàn)證程序中執(zhí)行的每個(gè)操作是否遵守語言的類型系統(tǒng)的過程 .， 編譯程序必須報(bào)告不符合類型系統(tǒng)的信息 。 控制流語句必須使控制轉(zhuǎn)移到合法的地方 。 在很多場合要求對(duì)象只能被定義一次 。 (4)名字的作用域分析 語義分析 ?語義分析的要求請(qǐng)參看 The Decaf Language。
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1