琐碎精神解析器的分段错误

Question

在过去的几个月里，我经常使用spirit::qi。但是，这次我遇到了一个我真的无法理解的段错误。

我已经把它简化为一个极少的测试用例，语法定义是 12 行代码。

这感觉很像 earlier question，但那里的解决方案，将 .alias() 添加到某些终端，以便 qi 不会复制它们，似乎无法解决这个问题。

我担心我在这里遗漏了一些基本的东西，因为我已经设法制作出比这更复杂的语法来完全按照我的预期进行测试。

我现在唯一想到的是，也许 qi 只是不喜欢主语法返回类型是 boost 变体？我不知道我以前是否做过任何语法。我想我接下来会测试这个，但老实说，我已经在旋转轮子上摆弄类似的东西有一段时间了。

我可以确认，如果设置mod_规则的那一行被注释掉了，那么就不会出现段错误，程序正常运行到完成。

编辑：实际上，即使删除了所有语法属性，它也会出现段错误。

#define BOOST_SPIRIT_USE_PHOENIX_V3
#include <boost/spirit/include/qi.hpp>
#include <iostream>

typedef unsigned int uint;

namespace qi = boost::spirit::qi;

/***
 * Grammar
 */
template <typename Iterator>
struct op_grammar : qi::grammar<Iterator> {
  qi::rule<Iterator> constant_;
  qi::rule<Iterator> mod_;
  qi::rule<Iterator> expr_;

  op_grammar() : op_grammar::base_type(expr_) {
    constant_ = qi::uint_;
    expr_ = mod_ | constant_;
    mod_ = expr_ >> qi::lit('%') >> expr_; 
  }
};

/***
 * Test
 */
int main() {
//  std::string str{"n % 2"};
  std::string str{"2"};

  typedef std::string::const_iterator str_it;
  str_it it = str.begin();
  str_it end = str.end();
  op_grammar<str_it> grammar;

  if (qi::parse(it, end, grammar) && it == end) {
    std::cerr << "Good\n";
  } else {
    std::cerr << "Bad\n";
  }
}

Answer 1

其实我想通了……

问题在于，正如所写的那样，语法有缺陷，无法解析。因为expr_的第一个非终结符是mod_，而mod_的第一个非终结符是expr_，所以甚至没有办法开始弄清楚如何解析它们，它是循环的。

可以通过将mod_的第一个expr_更改为constant_来修复语法，然后它可以按预期工作。

我想我会在这里留下这个答案，因为这个问题已经获得了赞成票，但可能我应该删除这个问题，不确定。