我有一个运行良好的语法,它包含以下几行。
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
最佳答案
是的。由于 operator>>
和 operator>
的优先级不相等,因此生成的合成属性类型不同。
事实上,它不再与预期的公开属性类型自动兼容。
在这种情况下,可以通过在子表达式周围添加一些消除歧义的括号来快速消除问题:
container = name >> '(' >> -(arg % ',') >> ')' >> ('{' > +element > '}');
关于c++ - 灵气 : Error when replacing sequence with expectation operator,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/49262688/