可擴(kuò)展編譯器架構(gòu)的構(gòu)想是最近幾天在洗澡的時(shí)候才最終完成的。我在思考如何開發(fā)一個(gè)可以同時(shí)給C、Pascal、Basic、Fortran和未知的類似語言使用的前端+后端。這只是VL++3.0的其中一個(gè)小部分，我把語言歸為幾類，C一類，C#一類，Javascript一類，還有其他的等等。這些類型會分別提供不同的前端支持。在設(shè)計(jì)第一類的編譯器期間遇到了點(diǎn)困難。

    第一個(gè)困難是語法樹很難統(tǒng)一。其實(shí)這并不是說那些語言完全不同，而是在于我想讓這N種語言的區(qū)別只有從字符串到語法樹的部分，從語法樹開始都執(zhí)行相同的代碼來編譯。這就遇到了點(diǎn)麻煩。在語法分析的過程中，對于Pascal我不知道Name(Param)究竟是函數(shù)調(diào)用還是強(qiáng)制類型轉(zhuǎn)換，對于Basic來說我不知道Name(Param)是函數(shù)調(diào)用還是數(shù)組下標(biāo)。還有Pascal和Basic的and等操作符可以同時(shí)作用于整數(shù)和布爾型（C使用了&&和&，而且它們在實(shí)現(xiàn)上有巨大差別）。Pascal自己還擴(kuò)展了一些類型譬如說set，Pascal和Basic還有字符串。所以在語法分析的時(shí)候很難構(gòu)直接造出FunctionInvokeExpression、SubscribeExpression和TypeCastExpression。

    第二個(gè)困難是擴(kuò)展的類型。上面提到了Pascal有自己的set，我如何讓我的編譯器從前端開始就可以應(yīng)付一門類似的未知語言他自己的新東西。譬如說未知的set類型，他也有自己的操作符（連已經(jīng)存在的操作符operator+也可以用的），代碼生成的時(shí)候還有自己的方法。這不僅要求語法樹是可擴(kuò)展的，接下來的一切包括符號表、語義分析、代碼生成等所有部分都需要可擴(kuò)展的。

    第三個(gè)困難是C自己造成的，他有一個(gè)十分討厭的地方。當(dāng)我得到ABC*DEF;的時(shí)候，語義分析沒開始，我不可能知道這是乘法還是定義一個(gè)變量。

    思考了許久，得出一個(gè)大概的方案：我先定義一門比較嚴(yán)格的語言，然后讓C、Pascal、Basic和Fortran來定義自己與該語言的不同之處，從而盡可能復(fù)用編譯器其余相同的部分。想到這里我得到一個(gè)比較奇怪的做法：

    第一個(gè)做法是在語義分析的時(shí)候修改語法樹。對于C語言的ABC*DEF;，這是一個(gè)statement。我給出一個(gè)接口，這個(gè)接口在語義分析的過程中被調(diào)用。語義分析產(chǎn)生了大量的信息全部傳遞過去，然后再第一次接觸到一個(gè)statement的時(shí)候，調(diào)用其中的ReplaceStatement函數(shù)。這個(gè)時(shí)候接口的ReplaceStatement可以通過語義分析的結(jié)果看看需不需要修改這個(gè)節(jié)點(diǎn)。如果上下文是int a,b;，那么a*b;就會被替換為乘法表達(dá)式。如果上下文是typedef int a;，那么a*b;保持不變（因?yàn)槲夷J(rèn)是優(yōu)先看成變量聲明）。ReplaceStatement對于同一個(gè)statement只會調(diào)用一次。至于Pascal的集合操作也可以通過這個(gè)來完成。對于a+b，可以在ReplaceExpression里面查看a和b是不是集合類型，如果是的話替換成自己的PascalSetBinaryExpression。這個(gè)小技巧解決了語法分析的時(shí)候遇到的歧義問題。這也是沒有辦法的辦法，因?yàn)檫@一次設(shè)計(jì)出來的結(jié)構(gòu)的目的是為了讓新的語言可以用很小的代價(jià)來實(shí)現(xiàn)。

    第二個(gè)做法是語法樹的所有部分譬如Type、Expression、Statement和Declaration都存在一個(gè)ExtendedType、ExtendedExpression、ExtendedStatement和ExtendedDeclaration，語言可以通過繼承這四個(gè)“擴(kuò)展類”來提供未知的東西，當(dāng)然這個(gè)時(shí)候就要連帶提供所有操作了，譬如說根據(jù)語義分析的上下文來判斷他自己的ExtendedExpression的返回類型啦。

    至于符號表的可擴(kuò)展性，我設(shè)計(jì)了一個(gè)可以應(yīng)付絕大多數(shù)情況的通用符號表，因此隨時(shí)加入新的東西還是比較容易的。

    最新的代碼可以在http://vlpp.codeplex.com/這里獲得。