語法制導翻譯、中間代碼生成、目標代碼生成在很多時候并不存在嚴格的劃分。對于目標
代碼是某個簡單的虛擬機代碼而言，中間代碼完全可以就是目標代碼。中間代碼生成中結(jié)
合了語法制導翻譯，講述了大部分常規(guī)的編程語言結(jié)構(gòu)是怎樣被翻譯成一種接近目標代碼
的形式（所謂的中間代碼形式）。本身，匯編代碼就是對應于機器碼的一種字符表示形式，
而中間代碼的大部分表示形式--三地址碼，也是一種接近匯編代碼的形式。
簡單來說，詞法分析階段將字符整理為單詞；語法分析則將這些代碼整理為一種層次結(jié)構(gòu)
（識別了程序代碼要表達的意思）；那么，在接下來的階段里，則是將這些層次結(jié)構(gòu)翻譯
為線性結(jié)構(gòu)。也就是類似于匯編代碼這種格式。這種格式容易被機器識別：機器只需要順
序地一條一條地取指令并執(zhí)行之即可。這種簡單直接性也使得要實現(xiàn)類似的虛擬機變得容
易。
翻譯過程并不需要先生成語法樹，在語法分析階段的語法識別過程中，即可以對應地翻譯。
因為無論是自頂向下還是自底向上的語法分析，都可以先去識別葉子節(jié)點。在自頂向下中，
可以使用語法樹（并不真實存在）的后續(xù)遍歷，使得葉子節(jié)點先于父節(jié)點翻譯；而在自底
向上的分析中，因為其本身就是先識別葉子節(jié)點（所謂的規(guī)約），所以可以更自然地翻譯。
因為我也是想實踐下這些東西，所以還是使用lex/yacc來進行練習，省得自己去寫詞法和
語法分析。不過在使用yacc的過程中，經(jīng)常會出現(xiàn)一些shift/reduce conflicts的警告/錯
誤，解決這些問題也費了不少時間。不過，也可能是我對LALR細節(jié)不熟悉，加之于文法本
身寫的有問題，才弄得如此折騰。現(xiàn)在我覺得上下文無關(guān)文法在整個編譯原理理論中非常
重要。一個好的文法可以準確無誤地描述一種編程語言的語法，還可以指導編譯器的開發(fā)。
當然，大部分常規(guī)的語言都可以找到現(xiàn)成的文法。
例子程序構(gòu)造了一個簡單的翻譯程序，支持簡單的算術(shù)表達式、整數(shù)變量、if、while、以
及僅用于if和while的邏輯表達式。為了省力，虛擬機用的是《編譯原理與實踐》中現(xiàn)成的。
目標代碼也就直接是該虛擬機對應的代碼。該虛擬機主要有5個寄存器：指令指針寄存器、
2個累加寄存器、全局變量基址寄存器、臨時變量基址寄存器。這里的臨時變量不同于編
程語言說的臨時變量，它是表達式計算的臨時值，例如a+b+c，a+b的結(jié)果值就可以被實現(xiàn)
為存儲到一個臨時值中。
對于算術(shù)表達式，其實翻譯起來很簡單。主要是if/while和邏輯表達式的翻譯。邏輯表達
式的翻譯例子中我甚至沒有處理短路代碼：a && func(1)中如果已經(jīng)計算出a為false了，
就沒必要計算func(1)了。這可能是受限于yacc，暫不深究。對于if和while，則主要涉及
到所謂的“回填”技術(shù)。
回填主要是應對向前跳轉(zhuǎn)這種問題。例如在if的代碼生成中，需要測試if的邏輯表達式的
真假，如果為假，則需要跳轉(zhuǎn)到then-part之后。這里的then-part也就是if為真時要執(zhí)行
的代碼序列。而這個跳轉(zhuǎn)指令具體要跳到哪里，則需要在生成完then-part之后才能確定。
回填的解決方法，就是預留下這個跳轉(zhuǎn)指令的位置，等到then-part生成完了，得到了具
體的跳轉(zhuǎn)位置，再回去填寫那個跳轉(zhuǎn)指令。
在這個問題上，yacc也讓我折騰了一番。在if文法中：
selection_statement
: IF '(' logical_or_expr ')' {
// 本來想在這里預留這個跳轉(zhuǎn)指令的位置
} statement %prec IFX {
}
結(jié)果，yacc又給我conflicts和never reduced之類的警告，并且最終生成的代碼也不正常
（果然是無法忽略的警告）。看起來，yacc似乎不支持在文法內(nèi)部添加action。通過一個
空文法符號效果一樣。對于這個問題，我甚至莫名其妙地在某個晚上的夢里當面問了yacc
的作者。他肯定地告訴我：支持，當然支持（中文）。今天仔細地在yacc文檔里找了下，
還真支持。而且對于空符號的使用，似乎也有些規(guī)則：$Sign: {action }。
后來解決這個問題的方法，算是我取巧了：
selection_statement
: IF '(' logical_or_expr IfBracket statement %prec IFX { ....}
IfBracket
: ')' {
// 邪惡地利用了這個括號
}
另外，因為需要支持嵌套的if/while，還專門使用了一個棧，用于保存這些需要回填的預留地址。
下載例子