boost::spiritを使ってみた4

意外と進展があったのでいきなり続きなど。

何はともあれ、単一引数の関数だけじゃなくて複数の引数をとる関数をアクションに指定できないかな－……といったところが発端で、結構使えるようになってきました。

昨日の電卓から機能を削減したバージョンです。
とりあえず全ソースを。
 

#pragma warning(disable:4100) //引数は関数の本体部で 1 度も参照されません。
#pragma warning(disable:4512) //代入演算子を生成できません。

#include <iostream>
#include <string>
#include <stack>

#include <boost/bind.hpp>
#include <boost/spirit/home/qi.hpp>
#include <boost/spirit/include/phoenix_operator.hpp>

template<typename String>
struct Calc : boost::spirit::qi::grammar<typename String::const_iterator, boost::spirit::ascii::space_type>{
 typedef typename String::const_iterator Iterator;

 Calc() : Calc::base_type(line){

  using namespace boost::spirit;
  namespace sp_arg = boost::spirit::arg_names;

  // 構文定義
  factor  = int_[sp_arg::_val = sp_arg::_1];
  expression = (factor >> '+' >> factor)[sp_arg::_val = sp_arg::_1 + sp_arg::_2]
     | factor[sp_arg::_val = sp_arg::_1];
  line  = expression[boost::bind(&Calc::PUSH, this, _1)];
 };

 boost::spirit::qi::rule<Iterator, int(), boost::spirit::ascii::space_type> expression;
 boost::spirit::qi::rule<Iterator, int(), boost::spirit::ascii::space_type> factor;

 boost::spirit::qi::rule<Iterator, boost::spirit::ascii::space_type> line;

public:
 std::stack<int> stack;
 
 int GetResult(){
  int i = stack.top();
  Reset();
  return i;
 }

 void Reset(){
  std::stack<int> empty;
  std::swap(empty, stack);
 }

 void PUSH(int i){
  stack.push(i);
 }
};

int main(void)
{
 Calc<std::string> calc;

 std::string str;
 while (getline(std::cin, str))
 {
  if (str.empty() || str[0] == 'q' || str[0] == 'Q')
   break;

  //boost::algorithm::trim(str);
  std::string::const_iterator it = str.begin();
  std::string::const_iterator end = str.end();

  bool result = phrase_parse(it, end, calc, boost::spirit::ascii::space);

  if (result && it == end)
  {
   std::cout << "-------------------------\n";
   std::cout << "Parsing succeeded\n";
   std::cout << str << " Parses OK: " << std::endl;
   std::cout << calc.GetResult() << std::endl;
  }
  else if(result)
  {
   std::cout << "-------------------------\n";
   std::cout << "Parsing succeeded\n";
   std::cout << std::string(str.begin(), it) << " Parses OK: " << std::endl;
   std::cout << std::string(it, end) << " amari" << std::endl;
   std::cout << calc.GetResult() << std::endl;
  }
  else
  {
   std::cout << "-------------------------\n";
   std::cout << "Parsing failed\n";
   std::cout << "-------------------------\n";
   calc.Reset();
  }
 }

 return 0;
}

重要なのはここ。

expression = (factor >> '+' >> factor)[sp_arg::_val = sp_arg::_1 + sp_arg::_2]
     | factor[sp_arg::_val = sp_arg::_1];

1行目、factorが二つあるから2つ引数が使えるかなー……って適当に作ったらうまくいきました。
ただ、このままだと1+2+3……って感じの物がうまく解析できません。
ちなみに、

factor  = int_[sp_arg::_val = sp_arg::_1] | expression[sp_arg::_val = sp_arg::_1];

というようにしてもアウトでした。
よく考えれば1+2が構文解析された時点でexpression (factor+factor)が完成してしまってそのまま終了しちゃいますね。
さてさて、どうしましょう……ってところで次へ。

//2009-10-25追記
コードの修正(mutableとconstの勘違い)