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