c++ - 振奋 spirit 及相关零件

Question

我需要通过 boost spirit 创建一条规则，以匹配以下情况

return foo;

和

return (foo);

我试过这样的:

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

但是即使在这样的情况下这也会成功

return (foo;

和

return foo);

我该如何解决？

Answer 1

你的例子看起来只是病态的，因为你使用的是一个过于具体的例子。

实际上，您不会“返回”>> 标识符；。通常，返回的东西只是一个表达式。所以，你会说

expr = literal | variable | function_call;

现在迎合圆括号表达式的一般方法很简单:

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

砰。完毕。它处理平衡。它处理嵌套的括号。它甚至处理 (((foo)))。那天没有吹口哨。

我认为根本没有/任何/错误。我已经在此站点的答案中发布了可能超过 20 个递归的不同表达式语法。他们应该提供激励示例(显示运算符优先级并用这些括号否决它们)。