使用与以下子句相同的关键字的可选子句的 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 也是合法的表达式，那么您可能会遇到问题。如果是这种情况，则该语言是不明确的 - 当 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 表达式（如果它们不这样做）有道理。