一、詞法分析器Lexer
1.使用之前自己寫的正則表達式引擎簡化版(沒有匿名捕獲)完成詞法分析
2.遇到錯誤則記錄下錯誤信息,并跳過此錯誤繼續分析
3.詞法分析的結果記錄了記號串、對應的類型和行號
4.因為沒判斷該記號串是否為關鍵字等,給語法分析帶來許多不必要的麻煩
二、語法分析器Parser
1.用上下文無關文法和類似于狀態機的方法遞歸向下構造語法分析樹
2.用繼承的方法來存儲語法樹
3.構造語法樹和存儲語法樹是相對獨立的兩個部分
4.構造語法樹的過程中遇到錯誤拋出異常前應釋放內存,容易出現內存泄漏,使用智能指針LytPtr解決此問題
5.錯誤信息包括出錯原因、行號
三、語義檢查
1.表達式才有類型,語句、函數沒有類型
2.表達式是GetType,語句、函數是CheckType
3.類型檢查函數聲明為虛函數是比較方便的,同樣使用了遞歸向下的方法
4.類型檢查包括以下內容:
(1)表達式
a.常量表達式:整型、浮點型、布爾型
b.變量表達式:該變量是否被聲明過
c.一元表達式、二元表達式:操作符與操作數類型是否匹配
d.函數調用表達式:函數是否被定義,參數個數、參數類型是否匹配函數原型
(2)語句
a.賦值語句:左操作數必須是左值(變量表達式),左右操作數類型是否一致
b.if語句、while語句、dowhile語句:條件表達式必須是布爾型
c.跳轉語句break、continue只能出現在循環中
d.return語句在function函數中必須帶表達式,procedure函數則相反
(3)函數
a.有且只有一個main函數
b.函數不可重載
c.function函數必須有返回類型聲明且return語句必須有表達式,procedure函數相反
d.參數和變量不可重定義
四、虛擬機
1.堆棧里只存儲基本數據(原本我存儲的是字符串,修改后速度提高許多)
2.設計指令集并生成中間代碼,使用了遞歸向下的方法(虛函數)
3.遇到一些運行錯誤拋出異常,如除以0
五、其他問題
1.遇到了“名字用完了”的狀況,起名字真的非常重要,頭一回意識到namespace
2.錯誤信息應該用#define或者常量字符串來統一管理
3.對于一些常量,如字符串轉成浮點型的應該用一個文件以常量形式存起來統一管理
posted on 2009-04-09 22:27
Lyt 閱讀(825)
評論(0) 編輯 收藏 引用 所屬分類:
Pascal簡化版