上一篇文章提到了我開發(fā)了可配置語法分析器之后做了一個(gè)FpMacro用來生成C++有規(guī)律的代碼。這一篇文章就從FpMacro入手，分析可配置語法分析器所需要具備的功能。首先讓我們來了解一下什么是FpMacro。

    FpMacro主要用來產(chǎn)生用C++宏很難容易產(chǎn)生的代碼（譬如BOOST那個(gè)宏）。當(dāng)你需要重復(fù)產(chǎn)生一些區(qū)別很小但是又不能用模板解決的代碼的時(shí)候，用宏就不是一個(gè)好的選擇，因?yàn)檫@種宏對(duì)于輸入的東西都有很多限制。譬如說因?yàn)楹暾归_的順序的問題，你把另一個(gè)宏當(dāng)成高階函數(shù)傳進(jìn)去，過不了幾輪遞歸就會(huì)被解釋成不知道什么東西了。于是我開發(fā)了FpMacro來解決這個(gè)問題。首先考慮一下FpMacro需要支持的功能：

    1、根據(jù)參數(shù)的不同選擇分支
    2、循環(huán)產(chǎn)生代碼
    3、能方便地在里面寫C++的宏（雖然不解釋，但是不能造成語法上的沖突）
    4、方便使用C++的各種符號(hào)（譬如說括號(hào)和逗號(hào)這種要命的東西）

    其實(shí)第四條也就是說，在調(diào)用FpMacro宏的時(shí)候，逗號(hào)和括號(hào)跟一般的文本是有不同的解釋的，在不調(diào)用FpMacro宏的時(shí)候，括號(hào)和逗號(hào)用來產(chǎn)生括號(hào)和逗號(hào)，不是語法的一部分。這會(huì)讓我們做語法分析的時(shí)候遇到很大的困難。當(dāng)然如何方便的解決這種事情也就是可配置語法分析器要解決的事情了。

    于是我們可以開始設(shè)計(jì)FpMacro了：

    1、單行宏：

    2、多行宏：

    3、宏調(diào)用：
    4、數(shù)組：

    從上面的語法我們可以知道$$define是可以嵌套的，也就是說你可以在一個(gè)函數(shù)里面定義子函數(shù)，然后還能將子函數(shù)傳入另一個(gè)宏的參數(shù)讓它調(diào)用（就跟函數(shù)指針一樣）。于是我們知道，F(xiàn)pMacro宏其實(shí)就是一些高階函數(shù)，根據(jù)各種參數(shù)，字符串也好，函數(shù)也好，返回字符串的。

    語法的另一個(gè)要求也能很明顯的看出來，不能跟C++里面的#define和括號(hào)逗號(hào)什么的混淆，除了$NAME(a,b,c)這些東西以外，括號(hào)和逗號(hào)都必須是用來產(chǎn)生代碼的東西，這也是FpMacro之所以能夠真正使用的一個(gè)地方。如果所有的逗號(hào)都不被解釋成普通的文本，都用轉(zhuǎn)義$(,)的話，寫出來的代碼會(huì)很難看的，因?yàn)镃++本身逗號(hào)也很多。

    于是我們可以得到FpMacro的文法定義：

    上面的代碼即是文法也是C++代碼。可配置文法分析器被設(shè)計(jì)成你可以在C++里面寫文法，然后就可以直接用文法對(duì)容器或者字符串進(jìn)行分析了。這里稍微解釋一下符號(hào)的意義：

    每一條 文法都是有類型的。組合在一起的文法輸入同樣的東西，但是返回類型各不相同。這里讓a返回int，b返回WString：
    連接1：a+b。規(guī)定a后面接著b，然后返回ParsingPair<int, WString>
    連接2：a>>b。規(guī)定a后面接著b，然后返回b（a的返回結(jié)果被忽視）
    連接3：a<<b。跟上面反過來。
    循環(huán)：+a，*a，opt(a)。分別代表一次或多次、零次或多次、零次或一次循環(huán)。我這里還提供了一個(gè)函數(shù)loop(Rule, min, max)用來控制循環(huán)次數(shù)，當(dāng)max==-1的時(shí)候代表沒有上限。這里返回ParsingList<int>。
    分支：a|b。規(guī)定a或者b其中一個(gè)匹配都可以，但是要求是a和b返回的類型要一致。
    返回值轉(zhuǎn)換：a[f]。f是一個(gè)函數(shù)，接受a的結(jié)果，返回一個(gè)新結(jié)果。你可以用這種技巧來將記號(hào)轉(zhuǎn)換成表達(dá)式對(duì)象樹。
    錯(cuò)誤恢復(fù)：a(f)。f是一個(gè)函數(shù)，當(dāng)a發(fā)生錯(cuò)誤的時(shí)候，f可以替換或添加錯(cuò)誤信息，還能決定要不要返回一個(gè)對(duì)象讓分析可以繼續(xù)下去。這里f的結(jié)果必須跟a的類型一致。這是錯(cuò)誤回復(fù)跟返回值轉(zhuǎn)換不同的地方。
    還有其他雜項(xiàng)函數(shù)用來把處理結(jié)果跟VL++3.0的其他基礎(chǔ)類庫連接起來，譬如rgx用正則表達(dá)式產(chǎn)生一個(gè)接受字符串，匹配前綴并返回前綴的分析器，等等。

    這批文章先介紹到這里。下一篇文章我將給出FpMacro的語法樹的代碼。可配置語法分析器的使命就是將一個(gè)字符串或者容器翻譯成語法樹，或者直接計(jì)算出結(jié)果。有了語法樹之后，我們就可以得到可配置語法分析器的一些需求，然后再根據(jù)這些需求來開發(fā)出一個(gè)可配置語法分析器，讓你可以在C++里面直接寫文法得到結(jié)果。

    可配置語法分析器跟boost::spirit不同的一點(diǎn)就是文法是有類型的，譬如說*a+*b返回結(jié)果ParsingPair<ParsingList<int>,ParsingList<WString>>，從而你可以知道a和b一共有多少個(gè)。boost::spirit根據(jù)了解（我并沒有非常詳細(xì)地閱讀它的細(xì)節(jié)），返回給你的是一個(gè)記號(hào)的迭代器，而且還很難用很漂亮的代碼將結(jié)果轉(zhuǎn)換成我們需要的東西（當(dāng)然還是能轉(zhuǎn)的，就是寫出來的代碼不好看，特別是他上面那些例子……）。