语法分析器如何忽略空白？解决无空格表达式语法报错问题

安全阿岳

2026-7-24

问题解决：Lex/Yacc计算器无法解析无空格连续减号表达式

你的问题出在没有区分一元负号（取反）和二元减号（减法），同时Lex的数字匹配规则存在歧义，导致无空格的连续减号表达式无法被正确解析。以下是具体的修复方案：

修复步骤

1. 修正Lex词法规则（lexical.l）

去掉数字规则中的负号匹配，让负号作为独立的SUB token，交给语法层处理：

/* recognize tokens for the calculator and print them out */
%{
#include"syntax.tab.h"
%}

%%
"+"    { return ADD; }
"-"    { return SUB; }
"*"    { return MUL; }
"/"    { return DIV; }
"|"    { return ABS; }
[ \t]  { /* ignore whitespace */ }
[0-9]+ { yylval = atoi(yytext); return NUMBER; } // 只匹配正整数
\n     { return EOL; }
.      { printf("Mystery character %c\n", *yytext); }
%%

2. 在Yacc语法中添加一元负号支持（syntax.y）

一元负号的优先级高于乘除，所以要在term层级添加规则，这样能正确处理-2、--3、-(4+5)这类表达式：

/* simplest version of calculator */
%{
#include <stdio.h>
%}

/* declare tokens */
%token NUMBER
%token ADD SUB MUL DIV ABS
%token EOL

%%

calclist: /* nothing */                       
 | calclist exp EOL { printf("= %d\n", $2); }
 ;

exp: factor       
 | exp ADD factor { $$ = $1 + $3; }
 | exp SUB factor { $$ = $1 - $3; }
 ;

factor: term        
 | factor MUL term { $$ = $1 * $3; }
 | factor DIV term { $$ = $1 / $3; }
 ;

term: NUMBER   
 | ABS term   { if ($2 < 0) $$ = -$2; else $$ = $2; }
 | SUB term   { $$ = -$2; } // 添加一元负号规则
;
%%
main(int argc, char **argv)
{
  yyparse();
}

yyerror(char *s)
{
  fprintf(stderr, "error: %s\n", s);
}