c++ - Boost.Spirit 没有解析整个输入

Question

我有一个 boost::spirit::qi 规则:

auto dquote = qi::char_('\"');
auto comma = qi::char_(',');
auto newline = qi::char_('\n');
auto nonEscaped = *(qi::char_ - newline - comma - dquote);
auto escaped = *qi::blank >> dquote >> *((qi::char_ - dquote) | (dquote >> dquote)) >> dquote >> *qi::blank;
auto field = nonEscaped | escaped;

当我尝试解析输入时:

string input(" \"e\"\"e\" ");
qi::phrase_parse(begin(input), end(input), field, qi::char_('\r'));

escaped 规则不完全匹配输入，但仅应用 nonEscaped 规则。所以只有第一个空格被匹配。我如何说服 spirit 解析整个输入或尽可能多地解析？

当我将 field 规则中的变体顺序更改为以下时，它就起作用了。但这是正确的解决方案吗？

auto field = escaped | nonEscaped;

Answer 1

是的，重新排序是正确的解决方案。

Boost Spirit 生成所谓的LL 解析器，这意味着

It parses the input from Left to right, and constructs a Leftmost derivation of the sentence (hence LL, compared with LR parser)

简单来说，它匹配第一个可能的标记并且不执行回溯除非规则失败。您可以在 nonEscaped 规则的末尾“断言”某种后置条件，请参阅

• qi::eps(false)
• & parser operator (零宽度先行)
• ! parser operator (零宽度负前瞻)
• - parser operator

使用语义 Action :

• 在语义 Action 中分配给_pass
• 使用语义 Action 函数对象，返回bool(false 失败)

然而，在实践中这将导致次优的解析器(例如不必要的回溯)

HTH