Bison语法解析疑问：为何匹配字符更少的规则而非stmts？

问题重现 #

你的Bison规则定义了QuotedRules可以匹配stmts或lvalue，测试输入<< x =5; >>;本应匹配stmts分支，却实际匹配lvalue分支，导致报错：syntax error, unexpected EQUAL, expecting DOUBLERIGHTQUOTES。

核心原因 #

Bison采用LALR(1)解析算法，会根据向前看1个token做决策，你的规则存在歧义：

• 当解析到x（ID token）时，向前看的下一个token是EQUAL。此时解析器有两个选择：
  1. 将x直接归约为lvalue（匹配QuotedRules的第二个分支），此时期望后续是DOUBLERIGHTQUOTES，但实际是EQUAL，触发语法错误。
  2. 跳过lvalue分支，尝试通过stmts → stmts stmt → stmt → expr SEMICOLON的路径匹配完整的赋值语句。

但由于stmts包含空规则（/*empty*/），解析器无法在这个节点确定后续是否会出现stmt，因此优先选择了更短、更直接的lvalue归约路径，导致匹配错误。

调整DOUBLELEFTQUOTES/DOUBLERIGHTQUOTES的优先级无效，因为这类优先级设置仅针对运算符的结合性/优先级，无法解决语法规则的歧义冲突。

解决方案 #

方案1：直接调整QuotedRules分支（你已验证有效） #

将QuotedRules的分支从stmts | lvalue改为stmt | lvalue：

QuotedRules: stmt {}
           | lvalue {}

这样解析器在看到ID后，如果向前看的是EQUAL或SEMICOLON，会优先选择stmt分支（因为stmt需要后续的SEMICOLON完成匹配），而不是直接归约lvalue。

方案2：重构stmts与stmt规则（更健壮） #

让stmt支持单个lvalue，同时简化QuotedRules为仅匹配stmts，从根源消除歧义：

QuasiQuotes: DOUBLELEFTQUOTES stmts DOUBLERIGHTQUOTES { $$ = $2; };

// 允许stmts包含多个stmt、单个stmt或空
stmts: stmts stmt  {...}
     | stmt        {...}
     | /*empty*/   {...}
     ;

// stmt既可以是带分号的表达式，也可以是单个lvalue
stmt: expr SEMICOLON {...}
    | lvalue         {...}
    ;

lvalue: ID {...}
;

expr: lvalue EQUAL expr {...}

这种设计更灵活，既能匹配单个变量（如<< x >>），也能匹配带分号的赋值语句（如<< x=5; >>），同时避免了规则歧义。

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