編譯原理——CMM語義分析

一、語義分析要解決的問題 •確定類型：確定標識符所關聯的數據對象的數據類型。 •類型檢查：按照語言的類型規則，對運算及運算分量進行類型檢查，必要時做出相應類型轉換。 •識別含義：根據程序設計語言的語義定義，確定各個構造部分組合後的含義，做出相應處理（生成中間代碼或者目標代碼）。 •靜態語義檢查：比如控制流檢查，嵌套層數檢查。 二、總體思路說明  之前在語義分析階段生成了抽象語法樹，抽象語法樹本身就

>>阅读原文<<