flex+bison写一个简单的加法计算程序

文件总计2个

• 一个是flex的词法文件，lexer.l，它定义了基本的规则
• 一个是bison的解析文件parser.y

---

lexer.l

%{
    
    
    /* definitions*/
    #include "parser.tab.h"
%}

/* rules */
%%

[0-9]+  {
    
     yylval.num= atoi(yytext); return NUMBER;}
"+"     {
    
     return PLUS; }
\n      {
    
     return EOL; }
.       {
    
    }


%%

yywrap() {
    
    }

整个文件以%%分割成三个部分。

第一个部分为定义域，这里有include “parser.tab.h”，它包含的头文件是后面部分生成的，主要是引入在另外一个文件parser.y中的符号定义。

中间部分是规则，第一条规则是将数字转为NUMBER，这个符号也在parser.y中定义。
第二条规则是将+转为PLUS符号
第三条规则是将\n（换行符）转为EOL符号(End of Line)
第四条规则是忽视其他符号

---

parser.y

%{
    
    
    /* definitions*/

%}

%union {
    
    
    int num;
    char sym;
}
%token EOL
%token<num> NUMBER
%type<num> exp
%token  PLUS

/* rules */
%%

input: 
|   EOL
|   line input;

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

exp:
    NUMBER {
    
     $$ = $1; } | exp PLUS exp {
    
     $$ = $1 + $3; } ;

%%


int main() {
    
    
    yyparse();
    return 0;
}


int yyerror(char *err) {
    
    
   printf("ERROR: %s\n", err);
   return 0;
}

---

解析词法

flex lexer.l

它会生成 lex.yy.c

bison -d -t parser.y

它会生成 parser.tab.h和parser.tab.c；

其中parser.tab.h 在lexer.l中的定义部分有包含，它主要是引入了parser.y中的定义符号，如EOL。

编译

gcc lex.yy.c parser.tab.c

生成a.out

执行a.out