c++ - 使用与以下子句相同的关键字的可选子句的 Yacc 扩展

Question

我正在开发一个小型 DSL，但在让 Yacc (Bison) 干净地解析以下符号时遇到了问题:

START (RETURN expression WHERE expression)* RETURN (expression)?

这是我目前所拥有的，但我一直在轮类/减少冲突，我不确定如何解决它们:

start: START conditional_returns returns |
       START returns;

conditional_returns: conditional_returns conditional_return | conditional_return;

conditional_return: RETURN expression WHERE expression;

returns: RETURN expression | RETURN;

我可以看到在不同子句中重复使用 RETURN 关键字这一事实会导致问题，但我想了解如何使用这么多规则正确拆分它。任何帮助将不胜感激？

Answer 1

就其本身而言，上述规则不会造成任何问题； yacc/bison 可以很好地处理它们，没有移位/减少或减少/减少冲突。您可能会遇到问题的地方是 start 是否也是合法的 expression。如果是这种情况，则该语言是不明确的——当您在 start 中有一个 start 时，WHERE 可能与其中任何一个相关联。例如，输入

START RETURN START RETURN expr WHERE expr RETURN expr

可以解析为

START RETURN ( START RETURN expr ) WHERE expr RETURN expr

或

START RETURN ( START RETURN expr WHERE expr RETURN expr )

根据适合您的 DSL 的内容，您可以更改语法以强制执行一种或另一种含义，或者禁止嵌套的 start 表达式(如果它们没有意义)。