由于括号而移位/减少 LALR(1) 冲突

Question

我目前正在编写一个类似于 Visual Basic 的 LALR(1) 语法，并面临这个特殊的移位/减少冲突，我不知道如何正确解决它。

语法有问题的部分是（请参阅 EDIT 1 和 EDIT 2 进行澄清）：

Expression
    : IndexExpression
    | /* other expressions */

IndexExpression
    : MemberExpression
    | MemberExpression '(' ArgumentList ')'

MemberExpression
    : ParenthesizedExpression
    | Identifier

ParenthesizedExpression
    : '(' Expression ')'

ArgumentList
    : Expression
    | Expression ',' ArgumentList
    | ',' ArgumentList

移位/减少冲突是这样的：

State 109
  237 ParenthesizedExpression: '(' Expression ')' .
    $default    reduce using rule 237 (ParenthesizedExpression)

...
State 295

  231 IndexExpression: MemberExpression '(' . ArgumentList ')'
  237 ParenthesizedExpression: '(' . Expression ')'
    ...
    Expression    go to state 352

...
State 352
  182 ArgumentList: Expression .
  183             | Expression . ',' ArgumentList
  237 ParenthesizedExpression: '(' Expression . ')'
    ...
    ')'    shift, and go to state 109

    ')'    [reduce using rule 182 (ArgumentList)]

换句话说，解析器在面对一个用括号包裹的表达式时，不确定它是带有单个表达式的 ArgumentList 还是 ParenthesizedExpression。

有没有办法解决这个冲突，同时保持语法为 LALR(1)？

谢谢。

编辑 1：

/* 其他表达式 */ in Expression 其实并不是空的表达式，我只是为了简洁而写成这样。实际上它还有其他替代表达方式：

Expression
    : IndexExpression
    | Expression '+' Expression
    | ...

编辑 2：

以下是@rici 指出可能有问题的语法的其他部分（尤其是语句的第一右手规则）：

Statement
    : MemberExpression ArgumentList
    | MemberExpression '=' Expression
    | MemberExpression '(' ArgumentList ')' '=' Expression
    | ...

Answer 1

错误是因为Expression被允许为空，因为注释规则/* other expressions */，并且假定不为空。

下面显示了使用Expression 导致两个等效规则的位置：

ArgumentList
    : Expression
    | Expression ',' ArgumentList /* degenerates into "',' ArgumentList" */
    | ',' ArgumentList
    ;

移位/减少冲突的次数是引用ArgumentList 的次数（一次在IndexExpression 中，两次在ArgumentList 本身中）

要消除冲突，请修复 ArgumentList 以解决空 Expression 的情况：

ArgumentList
    : Expression
    | ArgumentList ',' Expression
    ;

或者确保Expression 永远不会为空（删除注释规则）。