boost::spirit 字符/字符串混合

Question

我正在尝试使用 boost::spirit 来解析字符标记，但遇到了很大的困难。这是我正在处理的示例代码：

#include <boost/spirit/include/qi.hpp>
#include <iostream>
#include <string>

using namespace std;
namespace qi = boost::spirit::qi;
namespace ascii = boost::spirit::ascii;

template <typename Iterator>
struct tok_parser : qi::grammar<Iterator, string(), ascii::space_type>
{
  tok_parser() : tok_parser::base_type(start)
  {
    tok1   = qi::char_("AB");
    tok2   = qi::char_("12");
    mytoks = (qi::lit("A1") | qi::lit("A2") | qi::lit("B1") | qi::lit("B2"));
    start  = mytoks;
    //start  = tok1 >> tok2;  // error 1
    //start  = +mytoks;       // error 2
  }
  qi::rule<Iterator, string(), ascii::space_type> start;
  qi::rule<Iterator, string(), ascii::space_type> mytoks;
  qi::rule<Iterator, char, ascii::space_type> tok1;
  qi::rule<Iterator, char, ascii::space_type> tok2;
};

int main(int argc, char** argv)
{
  tok_parser<string::const_iterator> g; // Our grammar
  string str = argv[1];
  string::const_iterator iter = str.begin();
  string::const_iterator end = str.end();
  bool r = phrase_parse(iter, end, g, boost::spirit::ascii::space, str);

  if (r && iter == end)
      cout << "Parsing succeeded\n";
  else
      cout << "Parsing failed\n";

  return 0;
}

错误 1：

我想做的是创建两个标记规则，使我能够解析所有 A1、A2、B1、B2，而不必列出所有文字排列。正如代码所示，它会编译并识别目标标记。但是，如果我尝试根据 tok1 和 tok2 规则构建解析器，它不会编译并生成有关类型不匹配的错误：

error: invalid static_cast from type âboost::spirit::qi::char_class<boost::spirit::tag::char_code<boost::spirit::tag::space, boost::spirit::char_encoding::ascii> >â to type âcharâ

我认为这与尝试用字符创建字符串有关。我尝试过多种类型猜测的排列，但都失败了。

错误 2：

此外，我想允许解析任意数量的标记，不幸的是，前面加上 + 运算符也无法按预期工作。

有什么建议吗？

Answer 1

对于规则，属性始终需要使用函数声明语法来指定：

qi::rule<Iterator, char(), ascii::space_type> tok1;  
qi::rule<Iterator, char(), ascii::space_type> tok2;

这应该可以解决您的编译器问题。

关于你的排列问题：我建议这样做：

rule<Iterator, string(), ascii::space_type> r = char_("AB") >> char_("12");

它将匹配“A1”、“A2”、“B1”或“B2”。

创建另一个规则允许所需的重复：

rule<Iterator, vector<string>(), ascii::space_type> rs = +r;