一、詞法分析器Lexer

1.使用之前自己寫的正則表達(dá)式引擎簡(jiǎn)化版（沒有匿名捕獲）完成詞法分析

2.遇到錯(cuò)誤則記錄下錯(cuò)誤信息，并跳過此錯(cuò)誤繼續(xù)分析

3.詞法分析的結(jié)果記錄了記號(hào)串、對(duì)應(yīng)的類型和行號(hào)

4.因?yàn)闆]判斷該記號(hào)串是否為關(guān)鍵字等，給語法分析帶來許多不必要的麻煩

二、語法分析器Parser

1.用上下文無關(guān)文法和類似于狀態(tài)機(jī)的方法遞歸向下構(gòu)造語法分析樹

2.用繼承的方法來存儲(chǔ)語法樹

3.構(gòu)造語法樹和存儲(chǔ)語法樹是相對(duì)獨(dú)立的兩個(gè)部分

4.構(gòu)造語法樹的過程中遇到錯(cuò)誤拋出異常前應(yīng)釋放內(nèi)存，容易出現(xiàn)內(nèi)存泄漏，使用智能指針LytPtr解決此問題

5.錯(cuò)誤信息包括出錯(cuò)原因、行號(hào)

三、語義檢查

1.表達(dá)式才有類型，語句、函數(shù)沒有類型

2.表達(dá)式是GetType，語句、函數(shù)是CheckType

3.類型檢查函數(shù)聲明為虛函數(shù)是比較方便的，同樣使用了遞歸向下的方法

4.類型檢查包括以下內(nèi)容：

(1)表達(dá)式

a.常量表達(dá)式：整型、浮點(diǎn)型、布爾型

b.變量表達(dá)式：該變量是否被聲明過

c.一元表達(dá)式、二元表達(dá)式：操作符與操作數(shù)類型是否匹配

d.函數(shù)調(diào)用表達(dá)式：函數(shù)是否被定義，參數(shù)個(gè)數(shù)、參數(shù)類型是否匹配函數(shù)原型

(2)語句

a.賦值語句：左操作數(shù)必須是左值（變量表達(dá)式），左右操作數(shù)類型是否一致

b.if語句、while語句、dowhile語句：條件表達(dá)式必須是布爾型

c.跳轉(zhuǎn)語句break、continue只能出現(xiàn)在循環(huán)中

d.return語句在function函數(shù)中必須帶表達(dá)式，procedure函數(shù)則相反

(3)函數(shù)

a.有且只有一個(gè)main函數(shù)

b.函數(shù)不可重載

c.function函數(shù)必須有返回類型聲明且return語句必須有表達(dá)式，procedure函數(shù)相反

d.參數(shù)和變量不可重定義

四、虛擬機(jī)

1.堆棧里只存儲(chǔ)基本數(shù)據(jù)（原本我存儲(chǔ)的是字符串，修改后速度提高許多）

2.設(shè)計(jì)指令集并生成中間代碼，使用了遞歸向下的方法（虛函數(shù)）

3.遇到一些運(yùn)行錯(cuò)誤拋出異常，如除以0

五、其他問題

1.遇到了“名字用完了”的狀況，起名字真的非常重要，頭一回意識(shí)到namespace

2.錯(cuò)誤信息應(yīng)該用#define或者常量字符串來統(tǒng)一管理

3.對(duì)于一些常量，如字符串轉(zhuǎn)成浮點(diǎn)型的應(yīng)該用一個(gè)文件以常量形式存起來統(tǒng)一管理