是否可以在 Boost.Spirit 中创建自定义解析器？

Question

我试图在 Boost.Spirit (2.3) 中创建一个自定义解析器类，但没有成功。代码是：

template <class Iter>
class crule : public boost::spirit::qi::parser<crule<Iter> >
{
  rule<Iter> r_;
public:
  crule(const rule<Iter>& r) : r_(r) {}
  template <class T>
  crule(const T& t) : r_(t) {}
  template<class Ctx, class Skip>
  bool parse(Iter& f, const Iter& l, Ctx& context, Skip& skip, typename rule<Iter>::template attribute<Ctx, Iter>::type& attr) const {
    return r_.parse(f, l, context, skip, attr);
  }
  template <class Ctx>
  boost::spirit::info what(Ctx& context) const {
    return r_.what(context);
  }
  template <class Context, class It>
  struct attribute {
    typedef typename rule<Iter>::template attribute<Context, It>::type type;
  };
};

虽然我已经（至少我认为我已经）满足了所有要求，当我尝试在解析表达式中使用此类时出现错误：

shell_grammar.h:134: error: no match for 'operator!' in '!shell_grammar<Iter>::token(boost::spirit::qi::rule<Iter, boost::fusion::unused_type, boost::fusion::unused_type, boost::fusion::unused_type>) [with Iter = __gnu_cxx::__normal_iterator<const char*, std::basic_string<char, std::char_traits<char>, std::allocator<char> > >](boost::spirit::qi::rule<__gnu_cxx::__normal_iterator<const char*, std::basic_string<char, std::char_traits<char>, std::allocator<char> > >, boost::fusion::unused_type, boost::fusion::unused_type, boost::fusion::unused_type>(((const boost::spirit::qi::rule<__gnu_cxx::__normal_iterator<const char*, std::basic_string<char, std::char_traits<char>, std::allocator<char> > >, boost::fusion::unused_type, boost::fusion::unused_type, boost::fusion::unused_type>&)((const boost::spirit::qi::rule<__gnu_cxx::__normal_iterator<const char*, std::basic_string<char, std::char_traits<char>, std::allocator<char> > >, boost::fusion::unused_type, boost::fusion::unused_type, boost::fusion::unused_type>*)(&((shell_grammar<__gnu_cxx::__normal_iterator<const char*, std::basic_string<char, std::char_traits<char>, std::allocator<char> > > >*)this)->shell_grammar<__gnu_cxx::__normal_iterator<const char*, std::basic_string<char, std::char_traits<char>, std::allocator<char> > > >::reserved_words)))))'

shell_grammar.h:134: note: candidates are: operator!(bool) <built-in>

我尝试查看其他解析集的实现（例如.not_predicate），但无法弄清楚它的工作原理是什么。

动机

我这样做的原因与这个问题有关。我想解析 POSIX shell 语言，它有特殊的词法规则。特别是，即使在词位中也必须应用“船长解析器”，但它必须与“短语级”船长解析器不同。这是 lexeme 指令无法做到的，并且 skip 不会预先跳过（AFAIK），这也是我所需要的。所以我想创建一个函数

something token(std::string);

来返回与令牌匹配的规则。一种方法是创建我自己的 rule 包装器，它将用作终端（因为 rule 单独不能用于其参考语义），另一种方法是创建一个新的解析器（即将是 proto 中的非终结符），并在其中实现 shell 的标记解析。

Answer 1

这是很有可能的，但我发现它比手动编写自己的词法分析器和递归下降解析器要工作得多（并且更难调试）。即使是相当小的 Spirit 语法也会花费我数周的时间与编译器进行斗争。

您收到的此错误消息显示了您遇到的问题类型。任何时候你遇到错误，都是来自精神深处的某个模板实例化的错误，并且添加了许多进一步的模板实例化层来混淆问题。为了有希望破译错误消息，您几乎必须了解整个设施的代码。

我讨厌批评，因为精神是值得付出的努力。我的硕士论文是关于实现面向对象的编译器生成器，所以我'我是这个概念的粉丝。我真的很想喜欢它，但是 Spirit 太难了，除了严肃的 C++ 专家之外，任何人都无法使用。

要与可完成的操作进行比较，请查看 Ada OpenToken 项目。 Spirit 可能更灵活，但 OpenToken 中的编译错误更敏感，浏览该页面上的版本历史记录可以看出，他们的很大一部分精力都花在了帮助用户调试错误上。

Answer 2

您提供的代码看起来不错（至少就实际解析器的接口而言）。但为了将自定义解析器与 Spirit 集成，您需要做更多的工作。 Spirit 的网站有一个自定义解析器组件的示例，解释了所有必需的步骤此处。

在我看来，你似乎不必要地试图以困难的方式做事。但我不完全理解你想要实现的目标，所以我可能是错的。如果您解释了您的用例，我相信我们可以提出一个更简单的解决方案。

Answer 3

顺便说一句，这就是我想到的：

您需要将类注册为 boost::proto 中的文字，如下所示：

template <class T>
struct crulexx : public boost::proto::literal<rule<T> >
{
  template <class U>
  crulexx(const U& u) : boost::proto::literal<rule<T> >(rule<T>(u)) {}
};

它在这个 测试。但是，我在使用它的其他代码中遇到了段错误，我必须对其进行调试。