c++ - 灵气 : Completely ignoring output of some rules

Question

我正在解析一些结构模糊如 C 语言代码的输入。像这样:

Name0
{
 Name1
 {
  //A COMMENT!!

  Param0 *= 2
  Param2 = "lol"
 }
}

其中一部分是评论，我想完全忽略它(它不起作用)。我认为有两件事是 node，命名范围(category 规则)如 Name0 {} 和值(param rule) like Param0 *= 2... 然后是comment。我试过这样设置:

typedef boost::variant<boost::recursive_wrapper<Category>, Param> Node;

qi::rule<Iterator, Node(), ascii::space_type> node;

因此 node 规则将 Category 或 Param 放入 variant 中。以下是其他规则(我省略了一些对此并不重要的规则):

qi::rule<Iterator> comment; //comment has no return type

qi::rule<Iterator, Category(), ascii::space_type> category;
qi::rule<Iterator, Param(), ascii::space_type> param;

以及他们的实际代码:

comment = "//" >> *(char_ - eol);

param %=
 tagstring
 >> operators
 >> value;

category %=
 tagstring
 >> '{'
 >> *node
 > '}';

node %= comment | category | param;

comment 设置为使用 = 而不是 %=，并且它没有返回类型。但是，注释最终会在我的输出 Node 中创建空的 Category，无论它们出现在哪里。我试过将 comment 从 node 规则中移出并移到 category 中，如下所示:

category %=
 tagstring
 >> '{'
 >> *(comment | node)
 > '}';

还有其他各种东西，但是那些空条目不断弹出。我不得不让 comment 输出一个字符串并将 std::string 放在我的 Node variant 中，只是为了 sorta catch它们，但这会破坏我坚持在规则的其他部分发表评论的能力(除非我实际上在每个位置都捕获了字符串)。

我怎样才能完全忽略 comment 并且不以任何方式在任何输出中显示它？

编辑:您认为 omit 会这样做，但似乎没有改变任何东西......

编辑 2:引用 this SO answer ，我对此有一个不稳定的解决方案:

node %= category | param;

category %=
 tagstring
 >> '{'
 >> *comment >> *(node >> *comment)
 > '}';

但是，我想尝试将注释粘贴到各种位置(在 tagstring 和 { 之间，在我未显示的 root 规则之间) root category 等)。有比这更简单的方法吗？我希望它可以通过一个简单的 >> commentwrapper 插入到我想要的任何地方来完成......

Answer 1

好吧，制作自己的 skipper 也不错。正如 Mike M 所说，它优雅地解决了这个评论问题。我在一个名为 Parser 的结构中定义我的规则以 Iterator 为模板.必须进行一些调整才能使用 skipper 。首先，这是在 Parser 中定义的 skipper 与我所有的其他规则:

typedef qi::rule<Iterator> Skipper;
Skipper skipper;

所以 skipper是 Skipper 类型的规则.这是我的 Parser struct 最初看起来像使用 ascii::space 的地方类型规则 ascii::space_type作为其 skipper ，与 qi::rule<Iterator> 不同类型那skipper是基于!

struct Parser : qi::grammar<Iterator, std::vector<Category>(), ascii::space_type>
{
 qi::rule<Iterator, std::vector<Category>(), ascii::space_type> root;

 ...

所以 ascii::space_type 的每个实例规则模板中的必须替换为 Skipper !这包括除 root 之外的其他规则此处显示，例如 param和 category从我的问题。留下任何旧的残余ascii::space_type后面给出了神秘的编译器错误。

struct Parser : qi::grammar<Iterator, std::vector<Category>(), qi::rule<Iterator>>
{
 typedef qi::rule<Iterator> Skipper;
 Skipper skipper;

 qi::rule<Iterator, std::vector<Category>(), Skipper> root;

 ...

原来的 skipper 只是space , 我现在是 space 的替代品和 comment .没有旧功能(空格跳过)丢失。

skipper = space | comment;

然后 phrase_parse调用需要从使用 ascii::space 的旧版本进行调整:

bool r = phrase_parse(iter, end, parser, ascii::space, result);

到

bool r = phrase_parse(iter, end, parser, parser.skipper, result);

现在评论就像空白一样容易消失。太棒了。