Yacc+Lex中带ELSE的IF语句匹配失败及语法错误问题

首先得明确你遇到的两个核心问题：悬垂else（dangling else）的语法歧义，以及缺少复合语句（花括号块）的规则定义，另外你尝试修改IF/ELSE结合性的方式本身就不对——Yacc的%left/%right是给运算符用的，关键字不能这么改，这也是你改完出现语法错误的原因。

问题拆解 #

1. 复合语句规则缺失：你输入里的{return 5;}是块级语句，但你的原stmt规则里完全没有处理{...}的逻辑，这直接导致单个带花括号的块都无法被识别为stmt，更别说后面带else的情况了。
2. 悬垂else歧义：Yacc默认的移进-归约策略会让else优先绑定到最近的if，但你的原规则没有区分"已匹配else的if语句"和"未匹配else的if语句"，导致语法分析器无法正确解析带else的嵌套/连续if结构。

具体解决方案 #

1. 先添加复合语句的规则

首先要定义花括号包裹的块为合法的stmt，需要先加一个stmt_list规则来处理块内的多个语句：

// 处理花括号内的语句列表
stmt_list : stmt
          | stmt_list stmt
          ;

2. 拆分stmt规则解决悬垂else歧义

把原有的stmt拆分为matched_stmt和unmatched_stmt，前者是"不会和后续else绑定的语句"（比如带else的if、复合语句、空语句、表达式语句），后者是"可能和后续else绑定的语句"（不带else的if）：

// 顶层stmt规则，包含两种情况
stmt : matched_stmt
     | unmatched_stmt
     ;

// 已匹配的语句：不会被后续else绑定
matched_stmt : ';'  // 空语句
             | expr ';' { /* 原有的表达式语句处理代码 */ }
             | '{' stmt_list '}' { /* 复合语句的处理代码，比如生成块的入口/出口逻辑 */ }
             | IF '(' expr ')' matched_stmt ELSE matched_stmt { /* 带else的if语句处理代码 */ }
             // 其他比如while、for等语句也放这里，只要是不会产生悬垂else的
             ;

// 未匹配的语句：不带else的if，会优先和后续的else绑定
unmatched_stmt : IF '(' expr ')' stmt
               | IF '(' expr ')' matched_stmt ELSE unmatched_stmt
               ;

为什么这么改有效？ #

• 复合语句支持：现在{return 5;}会被解析为matched_stmt（因为是花括号块），满足你输入里把块当作stmt的需求。
• 解决悬垂else：当分析器遇到else时，会优先匹配最近的unmatched_stmt（也就是不带else的if），这完全符合C语言风格的else绑定规则，不会再出现歧义导致的匹配失败。
• 避免结合性修改错误：你之前试图修改IF/ELSE的结合性是错误的用法，Yacc的结合性指令只适用于二元运算符，关键字的歧义必须通过规则结构来解决，上面的拆分方式是处理悬垂else的标准方案。

额外检查点 #

• 确保你的Lex文件正确识别了IF、ELSE、{、}这些符号，返回对应的token（比如在Lex里写"if" { return IF; }、"else" { return ELSE; }）。
• 如果你有其他语句类型（比如while、return），也要把它们加到matched_stmt里，保证它们不会被错误地和else绑定。

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