有问题的 Bison 语法不接受呼叫的呼叫或呼叫后的任何内容，除了 ;

问题描述

我在 Bison 中有一些语法：https://pastebin.com/raw/dA2bypFR。 它相当长，但不是很复杂。

问题是，在调用之后，它不会接受除 ; 以外的任何内容，例如 a(b)(c) 并且无效，a(b).c 无效，它们都只接受后面的分号右括号。 a(b)+c 不过还好。

我尝试将 call_or_getattr 分成 2 个，其中 . 的优先级高于 (，但这意味着 a().b 是无效语法。

我还尝试将 call 和 getattr 放入 basic_operand 的定义中，但这导致了 536 个移位/减少错误。

解决方法

你最后的作品如下（没有动作，这是无关紧要的干扰）：

call_or_getattr:
    basic_operand
|   basic_operand '(' csv ')'
|   basic_operand '.' T_ID

所以这些是后缀运算符，其参数必须是 basic_operand。在 a(b)(c) 中，(c) 参数列表没有应用于 basic_operand，因此语法不会匹配它。

我想你要找的是：

call_or_getattr:
    basic_operand
|   call_or_getattr '(' csv ')'
|   call_or_getattr '.' T_ID

顺便说一下，这与您为二元运算符编写产生式的方式非常相似。 （当然，二元运算符有一个右手操作数。）