提振精神及相关零件

Question

我需要通过增强精神创建一个规则，以匹配诸如

之类的情况

return foo;

和

return (foo);

我是这样尝试的：

start %= "return" >> -boost::spirit::qi::char_('(') >> identifier >> -boost::spirit::qi::char_(')') >> ';';

但即使在这种情况下也会成功

return (foo;

和

return foo);

我该如何解决？

Answer 1

您的示例看起来很病态，因为您使用的示例过于具体。

实际上，您不会"return" >> identifier;。通常，返回的东西只是一个表达式。所以，你会说

expr = literal | variable | function_call;

现在，一举解决带括号的表达式的一般方法很简单：

expr = literal | variable | function_call
     | ('(' >> expr >> ')')
     ;

巴姆。完毕。它处理平衡。它处理嵌套括号。它甚至可以处理(((foo)))。那天没有哨声。

我认为根本没有 /anything/ 错误。我已经在这个网站的答案中发布了可能超过 20 种递归不同的表达式语法。它们应该提供激励示例（显示运算符优先级并用这些括号推翻它们）。