boost spirit,看上去很美！

昨夜天气闷热，午夜里醒了，再难入睡，十分痛苦，于是起来打开电脑上网胡乱翻阅。
看到boost里面一个叫 spirit 的家伙，它的自我介绍里面这样写道：
Spirit is an object-oriented recursive-descent parser generator framework implemented using template meta-programming techniques.

有了它，就拥有了来自外星球的神奇力量，能够在C++代码里面像写 EBNF 一样写代码。真是无比神奇。我不得不对它的作者敬佩得五体投地。梦想着我自己能有一天也可以有能力带一点“来自外星球的神奇力量”来地球。向前辈高人致敬，向前辈高人学习……

A simple EBNF grammar snippet:

    group       ::= '(' expression ')'

factor      ::= integer | group

term        ::= factor (('*' factor) | ('/' factor))*

expression  ::= term (('+' term) | ('-' term))*

is approximated using Spirit's facilities as seen in this code snippet:

    group       = '(' >> expression >> ')';

factor      = integer | group;

term        = factor >> *(('*' >> factor) | ('/' >> factor));

expression  = term >> *(('+' >> term) | ('-' >> term));

 找了点示例，胡乱改吧改吧，就是一个可以整形数加减乘除的计算器，wow，真的能计算。

download source code here

  1 
  2  #include  < boost / spirit / core.hpp >
  3  #include  < iostream >
  4  #include  < string >
  5 
  6  /////////////////////////////////////////////////////////////////////////// /
  7  using   namespace  std;
  8  using   namespace  boost::spirit;
  9 
 10  vector < int >  operands;
 11 
 12  /////////////////////////////////////////////////////////////////////////// /
 13  //
 14  //   Semantic actions
 15  //
 16  /////////////////////////////////////////////////////////////////////////// /        
 17  void     do_int( char   const *  str,  char   const *  end)
 18  {
 19       string   s(str, end);
 20       int  v  =  atoi(s.c_str());        
 21      operands.push_back(v);                
 22      
 23  }
 24  void     do_add( char   const * ,  char   const * )    {  int  op  =  operands.back(); operands.pop_back();operands.back()  +=  op; }
 25  void     do_subt( char   const * ,  char   const * )   {  int  op  =  operands.back(); operands.pop_back();operands.back()  -=  op; }
 26  void     do_mult( char   const * ,  char   const * )   {  int  op  =  operands.back(); operands.pop_back();operands.back()  *=  op; }
 27  void     do_div( char   const * ,  char   const * )    {  int  op  =  operands.back(); operands.pop_back();operands.back()  /=  op; }
 28  void     do_neg( char   const * ,  char   const * )    { operands.back()  =   0 - operands.back(); }
 29 
 30  /////////////////////////////////////////////////////////////////////////// /
 31  //
 32  //   Our calculator grammar
 33  //
 34  /////////////////////////////////////////////////////////////////////////// /
 35  struct  calculator :  public  grammar < calculator >
 36  {
 37      template  < typename ScannerT >
 38       struct  definition
 39      {
 40          definition(calculator  const &   /* self */ )
 41          {
 42              expression
 43                   =    term
 44                       >>   * (   ( ' + '   >>  term)[ & do_add]
 45                           |    ( ' - '   >>  term)[ & do_subt]
 46                          )
 47                  ;
 48 
 49              term
 50                   =    factor
 51                       >>   * (   ( ' * '   >>  factor)[ & do_mult]
 52                           |    ( ' / '   >>  factor)[ & do_div]
 53                          )
 54                  ;
 55 
 56              factor
 57                   =    lexeme_d[( + digit_p)[ & do_int]]     //  lexeme_d directive to turns off white space skipping
 58                   |     ' ( '   >>  expression  >>   ' ) '
 59                   |    ( ' - '   >>  factor)[ & do_neg]
 60                   |    ( ' + '   >>  factor)
 61                  ;
 62          }
 63 
 64          rule < ScannerT >  expression, term, factor;
 65          rule < ScannerT >   const &
 66          start()  const  {  return  expression; }
 67      };
 68  };
 69 
 70  /////////////////////////////////////////////////////////////////////////// /
 71  //
 72  //   Main program
 73  //
 74  /////////////////////////////////////////////////////////////////////////// /
 75  int
 76  main()
 77  {
 78      cout  <<   " /////////////////////////////////////////////////////////\n\n " ;
 79      cout  <<   " \t\tExpression parser\n\n " ;
 80      cout  <<   " /////////////////////////////////////////////////////////\n\n " ;
 81      cout  <<   " Type an expressionor [q or Q] to quit\n\n " ;
 82 
 83      calculator calc;     //   Our parser
 84 
 85       string  str;
 86       while  (getline(cin, str))
 87      {
 88           if  (str.empty()  ||  str[ 0 ]  ==   ' q '   ||  str[ 0 ]  ==   ' Q ' )
 89               break ;
 90 
 91          operands.clear();
 92          parse_info <>  info  =  parse(str.c_str(), calc, space_p);
 93 
 94           if  (info.full)
 95          {
 96              cout  <<   " -------------------------\n " ;
 97              cout  <<   " Parsing succeeded\n " ;
 98              cout  <<   " Result: "   <<  operands.back()  <<  endl;
 99              cout  <<   " -------------------------\n " ;
100          }
101           else
102          {
103              cout  <<   " -------------------------\n " ;
104              cout  <<   " Parsing failed\n " ;
105              cout  <<   " stopped at: \ " :  "  << info.stop <<  " \ " \n " ;
106              cout  <<   " -------------------------\n " ;
107          }
108      }
109 
110      cout  <<   " Bye :-) \n\n " ;
111       return   0 ;
112  }

这代码如此的美妙，实在无需多余的解释……

spirit 可以在 boost 类库 （http://www.boost.org/）里面找到。下载后解压，只需在 Project 属性页中的

Additional Include Directories 中添加boost的目录便可以使用了