c++ - 灵气 : Error when replacing sequence with expectation operator

Question

我有一个运行良好的语法，它包含以下几行。

element = container | list | pair;
container = name >> '(' >> -(arg % ',') >> ')' >> '{' >> +element > '}';
// trying to put an expectation operator here --------^
list = name >> '(' > (value % ',') > ')' > ';';
pair = name >> ':' > value > ';';

为了获得有意义的错误消息，我想确保 container 在遇到 '{' 时不会立即回溯。但出于某种原因，如果我在 '{' 之后立即将序列运算符替换为期望运算符，则会出现巨大的编译器错误。有什么想法可能是什么问题吗？

element 是一个boost::variant； container、list 和 pair 是自己的结构，应用了 BOOST_FUSION_ADAPT_STRUCT。请在此处查看完整的源代码:https://github.com/fklemme/liberty_tool/blob/master/src/liberty_grammar.hpp#L24

Answer 1

是的。由于 operator>> 和 operator> 的优先级不相等，因此生成的合成属性类型不同。

事实上，它不再与预期的公开属性类型自动兼容。

在这种情况下，可以通过在子表达式周围添加一些消除歧义的括号来快速消除问题:

container = name >> '(' >> -(arg % ',') >> ')' >> ('{' > +element > '}');