简单用用flex和bison
参考博文
IBM社区对于lex和Yacc的快速入门,附带例子
简书:初识flex
简书:初识bison
bison %code使用
bison声明细则
词法、语法分析器简介
我们使用的词法分析器为flex,语法分析器为bison。
定义
flex
词法分析器会将输入序列与定义的常规表达式匹配,匹配往往会返回标记。
bison
语法分析器在查看到某个标记序列时,可能会触发某些动作,这便是语法。
文件间关系
bas.y通过yacc生成y.tab.h包含了语法规则需要的词法声明(终结符声明)。
bas.l和y.tab.h通过lex生成了lex.yy.c,用来定义y.tab.c里语标记序列的语法规则中每个标记的语法定义规则。(终结符匹配规则)
bas.y通过yacc和lex.yy.c,会生成y.tab.c,包含了标记序列的语法规则。
(PS:终结符和我们自定义的“标记”等同。)
具体例子
接下来我们会用两个例子来演示一下flex和bison的配合。
第一个例子:输入name=age时触发,输出name is age years old !!
第二个例子:输入带有括号的满足乘法加法的表达式,输出运算后的值。
例1 输入name=age时触发,输出name is age years old !!
当我们输入 tom=10 的输入序列后,输入序列会被flex的scanner获取。
flex对scanner中的字符一一解析匹配,name和age被存储到类型为char*的yytext中再返回,eq则会直接返回一个终结符给语法分析器。
Name.lex
//声明部分 %{%}之内的内容会被复制到Name.tab.c中
%{
#include "Name.tab.h"
#include <stdio.h>
#include <string.h>
%}
char [A-Za-z]
num [0-9]
eq [=]
name {
char}+
age {
num}+
//规则部分 输入序列与常规表达式的匹配,可能会触发标记返回。
//yylval Yacc的变量,默认为int类型,可以被重定义为char*
//yytext 匹配模式的文本存储在这一变量中(char*)。
%%
{
name} {
yylval=strdup(yytext);return NAME;} //匹配到名字,返回NAME
{
eq} {
return EQ;} //匹配到=,返回EQ
{
age} {
yylval=strdup(yytext);return AGE;} //匹配到年龄,返回AGE
%%
//C代码部分
int yywrap() //返回为1时代表分析结束。
{
return 1;
}
当scanner中的字符都被词法分析器解析完,并将终结符返回给了语法分析器之后,接着语法分析。
我们递归地读取记录,当NAME EQ AGE这个终结符序列被匹配时,我们触发打印 name is age years old!!
Name.y
%{
#include <stdio.h>
typedef char *string;
#define YYSTYPE string
%}
%token NAME EQ AGE //词法分析得到的结果,用于传入语法分析器进行分析
%%
file:record file|record;
record:NAME EQ AGE {
printf("%s is %s years old!!!\n",$1,$3);}; //某个标记序列,触发动作