повышение духа и связанных частей

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 >> ')') 
    ; 

Bam. Готово. Он управляет балансировкой. Он обрабатывает вложенные круглые скобки. Он также обрабатывает (((foo))). В тот день был дан не свисток.

Я не думаю, что есть/что-то/неправильное вообще. В ответах на этом сайте я разместил, вероятно, более 20 рекурсивных разных грамматик выражений. Они должны приводить мотивирующие примеры (демонстрируя приоритет оператора и перекрывая их этими круглыми скобками).