PLY解析器reduce/reduce冲突求助：数组表达式被误识别为变量声明

冲突根源 #

你的问题出在语法规则的歧义上：Type规则包含Identifier分支，当解析器遇到Identifier [序列时，存在两种归约可能：

• 将Identifier归约为Type，对应VariableDecl的Type LBRAC RBRAC Identifier...规则开头
• 将Identifier归约为Expression，对应Expression Index规则的开头

这种歧义导致reduce/reduce冲突，解析器错误选择了归约为Type的路径，进而把array[识别成了VariableDecl的起始部分。

具体解决方法 #

方法1：修改语法规则消除歧义（推荐）

调整数组声明的规则结构，让数组维度标记紧跟在类型之后，与索引访问的语法结构彻底区分开：

Type -> int 
      | bool
      | void 
      | string 
      | char
      | Identifier ArraySuffix  // 自定义类型+数组后缀

ArraySuffix -> LBRAC RBRAC
             | ArraySuffix LBRAC RBRAC  // 支持多维数组

VariableDecl -> Type Identifier Initializer Semi

这样数组声明的结构变为Type[] Identifier...，而索引访问是Identifier[Expression]，两者开头序列完全不同，从语法层面彻底消除歧义。

方法2：通过优先级引导解析

如果无法修改语法结构，可以给相关规则设置优先级，引导解析器优先选择归约为Expression的路径：
在PLY中通过precedence列表定义优先级，或给规则添加%prec标记：

precedence = (
    ('nonassoc', 'EXPR_PREC'),
    ('nonassoc', 'TYPE_PREC'),
)

def p_expression_identifier(p):
    'Expression -> Identifier'
    p[0] = p[1]
    # 指定该规则优先级更高
    p.set_precedence('EXPR_PREC')

def p_type_identifier(p):
    'Type -> Identifier'
    p[0] = p[1]
    # 指定该规则优先级更低
    p.set_precedence('TYPE_PREC')

注意：优先级对reduce/reduce冲突的解决效果有限，语法层面的歧义消除是更可靠的方案。

方法3：语义辅助过滤（不推荐）

在归约Type -> Identifier时，加入语义检查：仅当该标识符是已定义的自定义类型时，才进行归约；否则跳过，让解析器选择归约为Expression的路径。这种方法需要在语法分析阶段引入语义信息，增加了复杂度，仅适合无法修改语法的场景。

内容的提问来源于stack exchange，提问作者WholesomePorridge