最近為了解析SQL語法，懷著試一試的心態(tài)去翻了翻boost的spirit庫，因?yàn)樵搸斓奈臋n的簡介里寫著LL parser framework  represents parsers directly as EBNF grammars in inlined C++?？粗鴉ramework這個(gè)詞自然覺得這個(gè)庫很牛B，試用了一下果然如此。
    所謂EBNF即擴(kuò)展巴克斯范式，是一種描述Context-Free Language的文法。在目前常見的非自然語言中，大部分都可以用EBNF表示。例如：
      group  ::='('exp ')'
      factor ::=integer| group
      term   ::=factor(('*'factor)|('/'factor ))*
      exp    ::=term(('+'term)|('-'term ))*
這是一個(gè)整數(shù)表達(dá)式的EBNF。該段描述用spirit在C++中的實(shí)現(xiàn)則是：
   

   rule<> group, factor, term, exp;
   group  = '(' >> exp >> ')';
   factor = int_p | group;
   term   = factor >> *(('*' >> factor) | ('/' >> factor));
   exp    = term >> *(('+' >> term) | ('-' >> term));

這里使用=代替::=, 用>>代替空格連接。并且由于C++語法所限，EBNF中后置的*在spirit中改為前置。
等式左邊的單詞被稱為一個(gè)rule，等式右邊為rule的定義。我們可以看出一個(gè)group是一個(gè)exp加上一對(duì)括號(hào)，一個(gè)factor是一個(gè)整數(shù)或者一個(gè)group,一個(gè)term是一個(gè)或多個(gè)factor用*/連接，一個(gè)exp是一個(gè)或多個(gè)term用+-連接。處于最頂端的exp可以據(jù)此識(shí)別出以下表達(dá)式
   

   12345
   -12345
   +12345
   1 + 2
   1 * 2
   1/2 + 3/4
   1 + 2 + 3 + 4
   1 * 2 * 3 * 4
   (1 + 2) * (3 + 4)
   (-1 + 2) * (3 + -4)
   1 + ((6 * 200) - 20) / 6
   (1 + (2 + (3 + (4 + 5))))

    得到一個(gè)rule之后，我們就可以用 parse函數(shù)對(duì)一個(gè)串進(jìn)行識(shí)別了。例如
         

該函數(shù)返回一個(gè)結(jié)構(gòu)parse_info，可以通過訪問其中的full成員來判斷是否成功識(shí)別，也可以訪問stop成員來獲知失敗的位置。這里要特別提一點(diǎn)，關(guān)于各個(gè)符號(hào)之間的空格，spirit的文檔的正文說的是給parse再傳一個(gè)參數(shù)space_p，通知parse跳過所有的空格，然而在FAQ中又提到，如果使用以上方法定義rule，第三個(gè)參數(shù)傳space_p會(huì)失敗。原因是使用rule默認(rèn)定義的規(guī)則被稱為character level parsing，即字符級(jí)別解析，而parse的第3個(gè)參數(shù)僅適用于phrase level parsing，即語法級(jí)別解析。要使用第3個(gè)參數(shù)可以有幾種方法。
      1。在parse的第二個(gè)參數(shù)直接傳入一個(gè)EBNF表達(dá)式，不創(chuàng)建rule對(duì)象。
         

      2。以rule<phrase_scanner_t>創(chuàng)建rule。
         

注意雖然可以用這兩個(gè)辦法屏蔽空格，但是這樣可能完全改變EBNF文法的語義，尤其是在語言本身需要識(shí)別空格的時(shí)候。對(duì)于這種情況，可以不使用第三個(gè)參數(shù)，并在需要出現(xiàn)空格的地方加上space_p,或者+space_p及*space_p，其中+和*分別表示后面的符號(hào)連續(xù)出現(xiàn)一次以上和0次以上。例如一個(gè)以空格分隔的整數(shù)列表可以寫成int_p >> *(+space_p >> int_p)
   如上使用parse可以識(shí)別一個(gè)串，但并不能做更多的操作，例如將語法里的各個(gè)成分提取出來。對(duì)于這樣的需求，可以通過actor實(shí)現(xiàn)。下面是使用actor的一個(gè)簡單例子
   

   bool
   parse_numbers(char const* str, vector<double>& v)
   {
      return parse(str,

   //  Begin grammar
      (
         real_p[push_back_a(v)] >> *(',' >> real_p[push_back_a(v)])
      )
      ,
      //  End grammar
      space_p).full;
   }

注意到real_p后面的[]，中括號(hào)里面是一個(gè)仿函數(shù)（函數(shù)指針或者函數(shù)對(duì)象），該仿函數(shù)具有如下調(diào)用型別
   

   void operator()(IterT first, IterT last) const;
   void operator()(NumT val) const;
   void operator()(CharT ch) const;

一旦spase發(fā)現(xiàn)了匹配real_p的子串，就會(huì)調(diào)用該functor。不同的rule可能會(huì)對(duì)應(yīng)不同的調(diào)用型別。
第一個(gè)型別針對(duì)一般規(guī)則，first和last為兩個(gè)指向字符的迭代器（一般為char*）,匹配的子串為[first, last)
第二個(gè)型別針對(duì)數(shù)字型規(guī)則，如real_p和int_p, 參數(shù)val是一個(gè)數(shù)字類型。
第三個(gè)性別針對(duì)單字符型規(guī)則，如space_p, 參數(shù)ch是一個(gè)字符類型。
real_p[push_back_a(v)]中的push_back_a是一個(gè)spirit已經(jīng)定義好的functor，它會(huì)將匹配好的內(nèi)容依照匹配到的時(shí)間順序調(diào)用v的push_back函數(shù)加入到v中。

   到此spirit的常用功能就都介紹完了。要詳細(xì)深入了解可以參考spirit的文檔。

最后在題一個(gè)注意要點(diǎn)。spirit的各種EBNF連接都是指針連接，因此才能在expression被賦值前就在group的定義里面使用。所以在使用EBNF的時(shí)候一定要小心不要將局部變量的rule提供給全局或者類成員變量使用，例如：
   

   class A
   {
      rule<> s;
      A()
      {
         rule<> r = int_p | hex_p;

         s = r >> *(+space_p >> r); //error, r destructed after return 
      }
   };

如果真想使用局部作用域，可以在局部的rule前面加上static.