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

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>

////////////////////////////////////////////////////////////////////////////////