c++ - 将 Boost.Spirit Qi 解析器间接聚合到规则中会产生错误

Question

我有这个语法

template<typename Iterator>
struct brainDSL : qi::grammar<Iterator, _problem(), ascii::space_type>
{
    brainDSL() : base_type(p_rule)
    {
        p_rule = problem_;
    }

    qi::rule<Iterator, _problem(), ascii::space_type> p_rule;
};

这些是解析器:

struct type_ : qi::symbols<char, _problem::_type>
{
    type_()
    {
        add
            ("single_stage", _problem::_type::single_stage)
            ("two_stage", _problem::_type::two_stage)
            ("multi_stage", _problem::_type::multi_stage)
        ;
    }
} type_;

struct command_ : qi::symbols<char, _problem::_command>
{
    command_()
    {
        add
            ("maximize", _problem::_command::maximize)
            ("minimize", _problem::_command::minimize)
        ;
    }
} command_;

auto name_ = qi::lexeme[*(qi::char_ - ':')];

auto problem_ =
    type_
    >> command_
    >> name_ >> ':'
;

我会添加结构和 fusion 宏，但我认为没有必要。针对测试字符串执行此代码，此代码编译正确但在 boost 内部引发异常。

如果我删除 name_ 解析器并像这样留下 problem_:

auto problem_ =
        type_
        >> command_
    ;

它匹配正确。但是如果我添加任何东西，甚至是 qi::eps，我都会再次遇到异常:

auto problem_ =
        type_
        >> command_
        >> qi::eps
    ;

我在这里违反了 Boost Spirit 的基本规则是什么？

Answer 1

为了不让问题得不到回答，我还会添加一些关于解决后条件的评论。

最好的解决方案是迁移到 Spirit X3，它完全支持使用 auto 和 lambda，正如@sehe 所建议的。

我必须做出的一些重大改变:

• symbols 现在只接受一个模板参数，即它映射的类型。
• X3没有语法，只有规则
• 我遵循的教程建议使用宏来定义规则。这在 MSVC 上是个坏主意，最好只使用构造后定义

例子:

auto r = rule<...> { "Name" }
       = definition;