Lex和Yacc从入门到精通(7)-筛选信息(容错处理)

#if 0

    在通常的情况下，我们只关心文本中的一部分信息，但是为了编写词法和语法分析程

序，又不得不将所有的结构信息全部描写出来，例如：我们仅仅关心C++源文档中的类名字

信息，而不关心类是否有成员变量，是否有成员函数以及是否有其它的一些C++内容。将结

构信息全部描述出来的做法是费时费力的，通常的情况往往导致项目的不可完成或者延期

完成。另外，作为程序设计者和代码编写者，都希望将功能局域化而不扩散难度，也非常

希望编写的代码能够简单的不予理睬还没有理解的内容，专心处理自己关心的内容。本篇

文档就以着重考虑处理C/C++类名称信息为例，忽略其它的一切没有进行语法描述的C/C++

信息。这就是Lex和Yacc的错误(error)处理的一个应用:)我非常喜欢:)

    下面给出词法和语法分析器的源代码，因为这么简单的程序，看源代码是学习的最好

方法:)

#endif

// 词法扫描器文件:lex.l

%{

#include <string>

// 将yylval的值类型由默认的int修改为std::string类型，实际上可以修改为你认为的任

// 何类型，仅仅只是需要定一个这样YYSTYPE宏即可，特别注意，这个宏定义必须在后面

// 的标记文件yacc.tab.h之前定义，并且在yacc文件中也要有这个YYSTYPE定义，并且必

// 须和这里的保持一致。实际上YYSTYPE的定义在生成的标记文件yacc.tab.h中有一个宏

// 判断，如果用户也就是我们定义了YYSTYPE宏，那么就用我们定义的YYSTYPE，否则就用

// 默认的YYSTYPE，也就是int类型:)

#define YYSTYPE std::string

#include "yacc.tab.h"

#define LEX_RETURN(arg) yylval=yytext;return arg

%}

d   [0-9]

l   [a-z]

u   [A-Z]

a   {l}|{u}

%%

[;{}]                   {LEX_RETURN(yytext[0]);}

"class"                 {LEX_RETURN(CLASS);}

(_|{a})(_|{a}|{d})*     {LEX_RETURN(IDENTIFIER);}

[ /t/n]                 /* 忽略空白 */

.                       /* 忽略其它一切没有被处理的文本 */

%%

int yywrap()

{

    return 1;

}

// 语法分析器文件:yacc.y

%{

#include <iostream>

#define YYSTYPE std::string

extern int yylex();

void yyerror(const char*msg);

%}

%token CLASS IDENTIFIER

%%

program:/* 空 */

       | program class //处理C++ 类

       | program error ';' // 一旦出现错误直接跳到最近的分号处，回复正常的扫描过程

                           // 特别注意这里的标记符号error，它是由yacc自动生成的标记

                           // 和上面的CLASS和IDENTIFIER标记一样都可以直接应用到语法

                           // 描述中

       ;

class:// 特别注意一下下面的class语法描述又调用了program，这是一种嵌套结构的常见做法

       CLASS IDENTIFIER '{' program '}' ';' {std::cout<<"发现类名:"<<$2<<std::endl;}

     ;

%%

void yyerror(const char*msg)

{

    // 错误处理，仅仅是简单的输出一个错误标记，在具体应用中应当能够分析出这种错

    // 误是否已经被处理了，这里为了说明上面的错误信息过滤没有进行这种识别

    std::cerr<< "发现错误" << std::endl;

}

int main()

{

    yyparse();

    return 0;

}

// Makefile文件

CC=g++

CFLAGS=

LEX=flex

YACC=bison

YACCFLAGS=-d

TARGET=lexyacc

$(TARGET):lex.yy.c yacc.tab.h yacc.tab.c

    $(CC) $(CFLAGS) lex.yy.c yacc.tab.c -o $(TARGET)

lex.yy.c:lex.l

    $(LEX) lex.l

yacc.tab.c yacc.tab.h:yacc.y

    $(YACC) $(YACCFLAGS) yacc.y

clean:

    rm -f lex.yy.c yacc.tab.h yacc.tab.c

// 从上面的代码中可以看出，通过容错处理之后，我们就可以专心于特定的功能代码编写

// 而不需要考虑其它的信息，这样就可以极大的降低解决问题的难度。在后续的文档中都

// 会采用这种技巧来实现特定的功能。如果对上面的一些描述还不是很清晰的话，可以参

// 见我之前已经写出来的系列文档，在本章中值得说明的只有两点：

// 1：yacc自动生成的error标记的使用

// 2：改变默认的yylval的int类型为std::string类型

// 其实我是在尽可能的使用C++库，目的当然是降低编写代码的难度，减少代码，便于说

// 明问题;)

//

// 好了，本篇文档到此就已经说明了本文开始所提出的问题:D，后续的文档正在努力给出

// 。其实编写Lex和Yacc程序非常简单，只需要注意几个常见错误就可以完成一般的任务

// 了，在下一篇里面将会讲解常见的错误及其处理方法:)敬请关注:)

// 下面是实例应用

// 测试文件：sample.cpp

class Point

{

    int x;

    int y;

    int GetX();

    int GetY();

};

class Rect

{

    int x;

    int y;

    int w;

    int h;

    int GetX();

    int GetY();

    int GetW();

    int GetH();

};

class Wrapper

{

    class Inner1{};

    class Inner2{

        class InnerInner1{float f;};

        class InnerInner2{};

        std::string name;

    };

    bool sex;

};

// 编译并运行过程

D:/home/blog/lexyacc>make

flex lex.l

bison -d yacc.y

g++ lex.yy.c yacc.tab.c -o lexyacc

D:/home/blog/lexyacc>lexyacc.exe < sample.cpp

发现错误

发现类名:Point

发现错误

发现类名:Rect

发现类名:Inner1

发现错误

发现类名:InnerInner1

发现类名:InnerInner2

发现错误

发现类名:Inner2

发现错误

发现类名:Wrapper

D:/home/blog/lexyacc>