lex 基础

一、Lex(Lexical Analyzar) 描述文件的结构介绍

Lex工具是一种词法分析程序生成器，它可以根据词法规 则说明书的要求来生成单词识 别程序，由该程序识别输入文本中的各个单词。

其文件可为：
（1）定义
（2）规则
（3）用户子程序

其中规则部分是必须的，定义和用户子程序部分是任选的。

1、定义

（1）%{ 符号定义：
定义部分起始于 %{ 符号，终止符 %} 符号，可以是：文件包含，宏定义，常数定义，全局变量及外部变量定义，函数声明等。

%{
    #include <Foundation/Foundation.h>
    #include <stdio.h>
    int linenum;
    #define smallerFunction(a, b) ((a) < (b) ? (a) : (b))
%}

注意：特殊括号%{和 %}都必须顶着行首写。

（2）正规定义
示例：

letter       [A-Za-z]
digit        [0-9]
id           {letter}({letter}|{digit})*

注意：上面正规定义中出现的小括号表示分组，而不是被匹配的字符。而大括号括起的部分表示正规定义名。

（3）状态定义
词法分析器在匹配正规式时，可以在不同状态（或环境）下进行。我们可以规定在不同的状态下有不同的匹配方式。每个词法分析器都至少有一个状态，这个状态叫做初始状态，可以用INITIAL或0来表示，如果还需要使用其他状态，可以在定义段用%s 来定义。
注意: %s也要顶行首写。

示例1：定义了一个名为COMMENT的状态和一个名为STRING_LETTER_STATE的状态，状态名之间用空白分隔；

%s COMMENT  STRING_LETTER_STATE

示例2：使用状态时，可以用如下方式写词法规则：

<state1, state2> p0   {action0;}
<state1> p1         {action1;}

这两行词法规则表示：在状态state1和state2下，匹配正规式p0后执行动作action0，而只有在状态state1下，才可以匹配正规式p1后执行动作action1。如果不指明状态，默认情况下处于初始状态INITIAL。

要想进入某个特定状态，可以在动作中写上这样一句： BEGINstate; 执行这个动作后，就进入状态state。

下面是一段处理C语言注释的例子，里面用到了状态的转换，在这个例子里，使用不同的状态，可以让词法分析器在处于注释中和处于注释外时使用不同的匹配规则：

%s c_comment
%%
<INITIAL>“/*”     {BEGIN c_comment;}
<c_comment>“*/”   {BEGIN 0;}
<c_comment>.      {;}
2、规则

规则，起始于%%符号，终止于%%符号，其规则是词法规则。词法规则由模板公式和动作两部分组成。
模板公式部分可以由任意的正则表达式组成，动作部分是由开发者想用的开发语言（C语言、OC、JavaScript 等等）的语句组成，这些语句用来对所匹配的模式进行相应的处理。
需要注意的是，lex将识别出来的单词存放在 yytext[]字符数组中，因此该数组的内容就代表了所识别出来的单词的内容。

（1）Lex源程序中词法规则（即正规式）的相关规定：

（a）正文字符：除元字符以外的其他字符，这些字符在正规式中可以被匹配。
  若单个正文字符c作为正规式，则可与字符c匹配，元字符无法被匹配，如果元字符想要被匹配，则需要通过“转义”的方式，即用” ”包括住元字符，或在元字符前加 \ 。例如 ”+” 和 \+ 都表示加号。
  C语言中的一些转义字符也可以出现在正规式中，例如 \t  \n  \b 等。
（b）元字符：元字符是lex语言中作特殊用途的一些字符，包括：* + ? | { } [ ] ( ). ^ $ “ \ - / < >。

部分元字符在lex语言中的特殊含义：

（c）^ : 表示补集：[^…]表示补集，即匹配除 ^ 之后所列字符以外的任何字符。如 [^0-9] 表示匹配除数字字符 0-9 以外的任意字符。
    除 ^ - \ 以外，任何元字符在方括号内失去其特殊含义。
    如果要在方括号内表示负号 - ，则要将其至于方括号内的第一个字符位置或者最后一个字符位置，例如[-+0-9][+0-9-]都匹配数字及+ - 号。

（d） .  ^$ /：
    点运算符 . 匹配除换行之外的任何字符，一般可作为最后一条翻译规则。

（e）^ 匹配行首字符。如：^begin匹配出现在行首的begin

（f） $ 匹配行末字符。如：end$ 匹配出现在行末的end

 （g）R1/R2（R1和R2是正规式）表示超前搜索：若要匹配R1，则必须先看紧跟其后的超前搜索部分是否与R2匹配。
     如：DO/{alnum}*={alnum}*,表示如果想匹配DO，则必须先在DO后面找到形式为{alnum}*={alnum}*的串，才能确定匹配DO。

·········

（2）词法规则段列出的是词法分析器需要匹配的正规式，以及匹配该正规式后需要进行的相关动作。
示例：

while         {return (WHILE);}
do            {return (DO);}
{id}          {yylval = installID (); return (ID);}

每行都是一条规则，该规则的前一部分是正规式，需要顶行首写，后一部分是匹配该正规式后需要进行的动作，这个动作是用C语法来写的，被包裹在 {}之内，被Lex翻译器翻译后会被直接拷贝进lex.yy.c。正规式和语义动作之间要有空白隔开。其中用{}扩住的正规式表示正规定义的名字。
也可以若干个正规式匹配同一条语义动作，此时正规式之间要用| 分隔。

3、辅助函数段

辅助函数段用C语言语法来写，辅助函数一般是在词法规则段中用到的函数。这一部分一般会被直接拷贝到lex.yy.c中。

4、Lex源程序中常用到的变量及函数

yyin 和yyout ：这是Lex中本身已定义的输入和输出文件指针。这两个变量指明了lex生成的词法分析器从哪里获得输入和输出到哪里。默认：键盘输入，屏幕输出。
yytext 和yyleng ：这也是lex中已定义的变量，直接用就可以了。
yytext ：指向当前识别的词法单元（词文）的指针
yyleng ：当前词法单元的长度。
ECHO ：Lex中预定义的宏，可以出现在动作中，相当于fprintf(yyout, “%s”,yytext)，即输出当前匹配的词法单元。
yylex() ：词法分析器驱动程序，用Lex翻译器生成的lex.yy.c 内必然含有这个函数。
yywrap() ：词法分析器遇到文件结尾时会调用yywrap() 来决定下一步怎么做；若yywrap() 返回0 ，则继续扫描；若返回1 ，则返回报告文件结尾的0标记。

备注 ： 由于词法分析器总会调用yywrap，因此辅助函数中最好提供yywrap，如果不提供，则在用C编译器编译lex.yy.c时，需要链接相应的库，库中会给出标准的yywrap函数（标准函数返回1）。

5 、 .l文件的书写：
/* 这是注释的形式，与C中的/*...* /注释相同。 */
/* 第一部分是定义、声明部分。这部分内容可以为空。*/
%{
    /* 写在 %{...%}这对特殊括号内的内容会被直接拷贝到C文件中。
     *
     * 这部分通常进行一些头文件声明，变量（全局，外部）、常量
     * 的定义，用C语法。
     *
     * %{和%}两个符号都必须位于行首 
     */

  /* 下面定义了需要识别的记号名，如果和yacc联合使用，这些记号名    都应该在yacc中定义 */
     #include <stdio.h> 
     #define LT                 1
     #define    LE                  2
     #define GT                 3
     #define    GE                  4
     #define    EQ                  5
     #define NE                 6

     #define WHILE              18
     #define    DO                  19
     #define ID          20
     #define NUMBER      21
     #define RELOP       22

     #define NEWLINE     23
     #define ERRORCHAR   24

    int yylval;
    /* yylval 是yacc中定义的变量，用来保存记号的属性值，默认是int类型。 
     * 在用lex实现的词法分析器中可以使用这个变量将记号的属性传递给用
     * yacc实现的语法分析器。
     *
     * 注意：该变量只有在联合使用lex和yacc编写词法和语法分析器时才可在lex
     *       中使用，此时该变量不需要定义即可使用。
     *       单独使用lex时，编译器找不到这个变量。这里定义该变量为了“欺骗”编译器。
     */
%}

  /* 这里进行正规定义和状态定义。
   * 下面就是正规定义，注意，正规定义和状态定义都要顶着行首写。
   */

 delim      [ \t \n]
   /* \用来表示转义，例如\t表示制表符，\n表示换行符。*/
 ws         {delim}+
 letter [A-Za-z_]
 digit      [0-9]
 id         {letter}({letter}|{digit})*
   /* 注意：上面正规定义中出现的小括号表示分组，而不是被匹配的字符。
    *       而大括号括起的部分表示正规定义名。
    */
number  {digit}+(\.{digit}+)?(E[+-]?{digit}+)?
/* %%作为lex文件三个部分的分割符，必须位于行首 */
/* 下面这个%%不能省略 */
%%

/* 第二部分是翻译规则部分。 */
/* 写在这一部分的注释要有前导空格，否则lex编译出错。*/
/* 翻译规则的形式是：正规式  {动作}
 * 其中，正规式要顶行首写，动作要以C语法写（动作会被拷贝到yylex()函数中，），\
 * 正规式和动作之间要用空白分割。
 */

{ws}              {;/* 此时词法分析器没有动作，也不返回，而是继续分析。 */}
/* 正规式部分用大括号扩住的表示正规定义名，例如{ws}。
 * 没有扩住的直接表示正规式本身。
 * 一些元字符没办法表示它本身，此时可以用转义字符或
 * 用双引号括起来，例如"<"
 */
while             {return (WHILE);}
do                {return (DO);}
{id}              {yylval = installID (); return (ID);}
{number}          {yylval = installNum (); return (NUMBER);}
"<"               {yylval = LT; return (RELOP);}
"<="              {yylval = LE; return (RELOP);}
"="               {yylval = EQ; return (RELOP);}
"<>"              {yylval = NE; return (RELOP);}
">"               {yylval = GT; return (RELOP);}
">="              {yylval = GE; return (RELOP);}
.                 {yylval = ERRORCHAR; return ERRORCHAR;}
 /*.匹配除换行之外的任何字符，一般可作为最后一条翻译规则。*/

%%
  /* 第三部分是辅助函数部分，这部分内容以及前面的%%都可以省略       */
  /* 辅助函数可以定义“动作”中使用的一些函数。这些函数
   * 使用C语言编写，并会直接被拷贝到lex.yy.c中。
   */

int installID () {
  /* 把词法单元装入符号表并返回指针。*/
  return ID;
}

int installNum () {
/* 类似上面的过程，但词法单元不是标识符而是数 */
    return NUMBER;
}

/* yywrap这个辅助函数是词法分析器遇到输入文件结尾时会调用的，用来决定下一步怎么做：
 * 若yywrap返回0，则继续扫描；返回1，则词法分析器返回报告文件已结束的0。
 * lex库中的标准yywrap程序就是返回1，你也可以定义自己的yywrap。
 */
int yywrap (){
    return 1;
}

void writeout(int c){
   switch(c){
      case ERRORCHAR: fprintf(yyout, "(ERRORCHAR, \"%s\") ", yytext);break;
      case RELOP: fprintf(yyout, "(RELOP, \"%s\") ", yytext);break;       
          case WHILE: fprintf(yyout, "(WHILE, \"%s\") ", yytext);break;
          case DO: fprintf(yyout, "(DO, \"%s\") ", yytext);break;
          case NUMBER: fprintf(yyout, "(NUM, \"%s\") ", yytext);break;
          case ID: fprintf(yyout, "(ID, \"%s\") ", yytext);break;
          case NEWLINE: fprintf(yyout, "\n");break;
          default:break;
  }
  return;
}

/* 辅助函数里可以使用yytext和yyleng这些外部定义的变量。
 * yytext指向输入缓冲区当前词法单元(lexeme)的第一个字符，
 * yyleng给出该词法单元的长度     */

/* 如果你的词法分析器并不是作为语法分析器的子程序，
 * 而是有自己的输入输出，你可以在这里定义你的词法
 * 分析器的main函数，main函数里可以调用yylex()
 */

int main (int argc, char ** argv){
    int c,j=0;
    if (argc>=2){
    if ((yyin = fopen(argv[1], "r")) == NULL){
        printf("Can't open file %s\n", argv[1]);
        return 1;
    }
    if (argc>=3){
       yyout=fopen(argv[2], "w");
    }
}
/* yyin和yyout是lex中定义的输入输出文件指针，它们指明了
 * lex生成的词法分析器从哪里获得输入和输出到哪里。
 * 默认：键盘输入，屏幕输出。 
 */
while (c = yylex()){
    writeout(c);
    j++;
    if (j%5 == 0) writeout(NEWLINE);
}
if(argc>=2){
  fclose(yyin);
  if (argc>=3) fclose(yyout);
}
return 0;

}

6、使用终端生成.l 文件

（1）

 flex filename.l

（2）用gcc编译器编译lex翻译器生成的c源程序（lex翻译器生成的c源程序名固定为lex.yy.c）：

 gcc [-o outfile] lex.yy.c –lfl

其中，-lfl是链接flex的库函数的，库函数中可能包含类似yywrap一类的标准函数。-o outfile是可选编译选项，该选项可将编译生成的可执行程序命名为outfile，如果不写该编译选项，默认情况下生成的可执行程序名为a.exe（linux下实际为a.out）。

参考：
一个Lex/Yacc完整的示例：https://blog.csdn.net/libinbin_1014/article/details/78833172

Lex编程：https://blog.csdn.net/zhu867564473/article/details/79131381

©著作权归作者所有,转载或内容合作请联系作者
  • 人面猴
    序言：七十年代末，一起剥皮案震惊了整个滨河市，随后出现的几起案子，更是在滨河造成了极大的恐慌，老刑警刘岩，带你破解...
    沈念sama阅读 206,126评论 6赞 481
  • 死咒
    序言：滨河连续发生了三起死亡事件，死亡现场离奇诡异，居然都是意外死亡，警方通过查阅死者的电脑和手机，发现死者居然都...
    沈念sama阅读 88,254评论 2赞 382
  • 救了他两次的神仙让他今天三更去死
    文/潘晓璐 我一进店门，熙熙楼的掌柜王于贵愁眉苦脸地迎上来，“玉大人，你说我怎么就摊上这事。” “怎么了？”我有些...
    开封第一讲书人阅读 152,445评论 0赞 341
  • 道士缉凶录：失踪的卖姜人
    文/不坏的土叔 我叫张陵，是天一观的道长。 经常有香客问我，道长，这世上最难降的妖魔是什么？ 我笑而不...
    开封第一讲书人阅读 55,185评论 1赞 278
  • 港岛之恋（遗憾婚礼）
    正文 为了忘掉前任，我火速办了婚礼，结果婚礼上，老公的妹妹穿的比我还像新娘。我一直安慰自己，他们只是感情好，可当我...
    茶点故事阅读 64,178评论 5赞 371
  • 恶毒庶女顶嫁案：这布局不是一般人想出来的
    文/花漫 我一把揭开白布。 她就那样静静地躺着，像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上，一...
    开封第一讲书人阅读 48,970评论 1赞 284
  • 城市分裂传说
    那天，我揣着相机与录音，去河边找鬼。 笑死，一个胖子当着我的面吹牛，可吹牛的内容都是我干的。 我是一名探鬼主播，决...
    沈念sama阅读 38,276评论 3赞 399
  • 双鸳鸯连环套：你想象不到人心有多黑
    文/苍兰香墨 我猛地睁开眼，长吁一口气：“原来是场噩梦啊……” “哼！你这毒妇竟也来了？” 一声冷哼从身侧响起，我...
    开封第一讲书人阅读 36,927评论 0赞 259
  • 万荣杀人案实录
    序言：老挝万荣一对情侣失踪，失踪者是张志新（化名）和其女友刘颖，没想到半个月后，有当地人在树林里发现了一具尸体，经...
    沈念sama阅读 43,400评论 1赞 300
  • 护林员之死
    正文 独居荒郊野岭守林人离奇死亡，尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,883评论 2赞 323
  • 白月光启示录
    正文 我和宋清朗相恋三年，在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,997评论 1赞 333
  • 活死人
    序言：一个原本活蹦乱跳的男人离奇死亡，死状恐怖，灵堂内的尸体忽然破棺而出，到底是诈尸还是另有隐情，我是刑警宁泽，带...
    沈念sama阅读 33,646评论 4赞 322
  • 日本核电站爆炸内幕
    正文 年R本政府宣布，位于F岛的核电站，受9级特大地震影响，放射性物质发生泄漏。R本人自食恶果不足惜，却给世界环境...
    茶点故事阅读 39,213评论 3赞 307
  • 男人毒药：我在死后第九天来索命
    文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹，春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,204评论 0赞 19
  • 一桩弑父案，背后竟有这般阴谋
    文/苍兰香墨 我抬头看了看天上的太阳。三九已至，却和暖如春，着一层夹袄步出监牢的瞬间，已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,423评论 1赞 260
  • 情欲美人皮
    我被黑心中介骗来泰国打工， 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留，地道东北人。 一个月前我还...
    沈念sama阅读 45,423评论 2赞 352
  • 代替公主和亲
    正文 我出身青楼，却偏偏与公主长得像，于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子，可洞房花烛夜当晚...
    茶点故事阅读 42,722评论 2赞 345

推荐阅读更多精彩内容

  • 编译器设计（教程翻译）
    链接地址：https://www.tutorialspoint.com/compiler_design/compi...
    dannyvi阅读 4,684评论 1赞 12
  • Lex & Yacc 学习笔记（4）- Lex深入学习
    一、背景 为了读懂postgresql的语法分析和更好的使用 Lex ，所以继续学习lex的进阶部分。Lex & ...
    hemny阅读 6,801评论 0赞 5
  • C 语言的 lex工具
    源于编译的实验作业…… 参考链接：blog.csdn.net/dl88250/article/details/17...
    minlover阅读 2,507评论 0赞 3
  • 面试题
    Swift1> Swift和OC的区别1.1> Swift没有地址/指针的概念1.2> 泛型1.3> 类型严谨 对...
    cosWriter阅读 11,089评论 1赞 32
  • lex yacc学习
    简介 如果你有Unix环境的编程经验，想必你肯定遇到过神秘的Lex和YACC工具，在GUN/Linux中，又分别称...
    upupSue阅读 4,469评论 0赞 8