Question

我正在使用flex和bison编写一个简单的计算器解析器程序。 flex代码如下：

calc.l
%{
#include "fb1-5.tab.h"
%}
%%
"+"      { return ADD; }
"-"      { return SUB; }
"*"      { return MUL; }
"/"      { return DIV; }
"|"      { return ABS; }
[0-9]+   { yylval = atoi(yytext); return NUMBER; }
\n       { return EOL; }
[ \t]    { /* do nothing */ }
.        { return *yytext; }
%%

并且野牛代码如下：

calc.y
%{
#include <stdio.h>
#include <stdlib.h>
%}

%token NUMBER
%token ADD SUB MUL DIV ABS
%token EOL

%%

calclist:
    | calclist exp EOL { printf("= %d\n", $1); }
    ;

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 { $$ = $2 >= 0 ? $2 : -$2; }
;
%%

main(int argc, char **argv)
{
    yyparse();
}

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

对于每个输入，答案总是62.即使我在数字之间给出空格，答案总是相同的。即使答案应该完全不同。比如1 + 2 + 3和100 + 200 + 300，给出的答案总是62。

Answer 1

在将calclist exp EOL缩减为calclist时，您需要打印exp的值。这是右侧（$2）的第二个符号，而不是第一个。

第一个符号（calclist）从未被赋予过值，所以它是未定义的，可以是任何东西。 62并不难以置信。减少calclist: %empty规则后，由于规则的语义值产生的任何垃圾随后会通过calclist: calclist exp EOL规则通过默认的预处理操作传递，该操作会将$$初始化为$1 }。因此，如果它以62开头，它将保持62。

flex-bison计算器程序

1 个答案: