Flex+Bison语法解析问题：var != 10未按预期匹配规则

核心原因 #

从你的日志BOOL EXP VARIABLE: var!可以看出，Flex词法分析器错误地把var!当成了完整的变量名令牌，没有将!=识别为独立的不等于运算符令牌。这是因为Flex遵循最长匹配+规则顺序优先的逻辑：如果变量名规则能匹配包含!的更长字符串，且运算符规则排在变量名规则之后，就会出现这种误识别。

解决方案 #

1. 调整Flex词法规则顺序，优先匹配多字符运算符 #

把!=这类多字符运算符的规则放在变量名规则前面，确保Flex优先识别运算符，而非将符号包含进变量名。示例Flex规则：

// 先定义所有多字符运算符
"!="    { return NOTEQ; }
"=="    { return EQ; }
// 再定义单字符运算符
"!"     { return NOT; }
"+"     { return PLUS; }
// 最后定义变量名规则（仅允许字母、数字、下划线，排除!等符号）
[a-zA-Z_][a-zA-Z0-9_]*    { 
            yylval.str = strdup(yytext); 
            return VARIABLE; 
        }

这样遇到var !=时，Flex会优先匹配!=作为NOTEQ令牌，不会把var!误判为变量名。

2. 严格限制变量名的合法字符 #

确保变量名的词法规则只允许标准标识符字符（字母、数字、下划线），彻底杜绝!这类运算符符号被包含进变量名的可能，从根源避免问题。

3. 验证Bison语法规则的无歧义性 #

确保布尔表达式规则基于整数表达式定义，逻辑清晰：

bool_expr: int_expr NOTEQ int_expr
         | int_expr EQ int_expr
         | bool_expr AND bool_expr
         | bool_expr OR bool_expr
         | NOT bool_expr
         | '(' bool_expr ')'
         ;

int_expr: VARIABLE
        | NUMBER
        | int_expr PLUS int_expr
        | int_expr MINUS int_expr
        | '(' int_expr ')'
        ;

此时var != 10会被解析为VARIABLE NOTEQ NUMBER，依次归约为int_expr NOTEQ int_expr，最终匹配bool_expr规则。

4. 处理移进/归约冲突（若存在） #

如果调整后仍有问题，运行bison -v your_parser.y生成.output文件查看冲突，通过设置运算符优先级解决：

// 定义优先级，布尔运算符优先级低于算术运算符
%left OR
%left AND
%left EQ NOTEQ
%left PLUS MINUS
%left MULT DIV
%right NOT

明确的优先级会让Bison选择正确的解析路径。

为什么冗余规则能解决（但不推荐） #

你新增的6条规则本质是给VARIABLE op int_expr这类场景强制提高优先级，让Bison优先归约变量名而非继续移进运算符。但这是治标不治本的方法，会导致规则冗余，后续扩展新运算符时还要重复添加规则，修正词法规则才是更简洁、可维护的方案。

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