boost-spirit - boost::spirit::qi 为什么递归解析器不能按预期工作？

Question

我想要下面的语法来解析输入，例如

a_end
a_b_end
a_b_c_end

但它只解析a_end并失败超过一个的任何东西_。这是语法：

template < typename Iterator >
struct recursive_parser : qi::grammar< Iterator >
{
    qi::rule< Iterator > start;
    qi::rule< Iterator > end;
    recursive_parser() : recursive_parser::base_type( start )
    {
        using namespace qi;
        end = string("_end") | start;
        start = +(char_ - '_') >> end;
    }
};

规则不是为递归使用而设计的，还是我遗漏了一些更明显的东西？

Answer 1

使用您的语法和输入字符串，a_b_end我们会进行以下解析：

In Start: consume "a". Iterate into end.
In End:   The next part of the string is not "_end", so the first alternative fails.
          Try the second alternative, which is to iterate into start.
In Start: The next character is a "_", so start fails.

所以你的语法应该是：

end = string("end") | start;
start = +(char_ - '_') >> '_' >> end;