parsing - yacc 中的生产开始约束

Question

我正在使用 Bison 实现 Javascript 解析器。ECMAScript规范指出

ExpressionStatement:
    [lookahead ∉ { '{' , 'function'}] Expression ;

这打破了“{ }”作为 BlockStatement（空语句块）和 ExpressionStatement（空对象文字）之间的歧义，因为 ExpressionStatement 不能以 '{' 标记开头，尽管 Expression 可以。

空语句块的示例：

if (a > 5) {}

空对象字面量示例：

var a = {};

如何在 bison/yacc 语法中指定某些生产不应以某些特定标记开始？我的意思是，类似：

expressionStatement
    : %must-not-start-with('{', TOKEN_FUNCTION) expression ';'
    ;

我知道我可以复制我所有的表达式规则来定义一个“ExpressionNotStartingWithOpenCurlyBraceOrFunction”，但这会大大增加我的语法大小，所以我试图避免它。

Answer 1

Bison 中没有这样的指令。我看到您可以探索另外两个选项。一种是研究由此产生的冲突，看看是否可以使用优先指令解决它（查看http://www.gnu.org/software/bison/manual/html_node/Shift_002fReduce.html）。另一种方法是转而使用 GLR 解析器，并在运行时解决歧义。

如果适用，第一个选项可能更容易。但这在很大程度上取决于您的语法。