woaidongmao

文章均收录自他人博客,但不喜标题前加-[转贴],因其丑陋,见谅!~
随笔 - 1469, 文章 - 0, 评论 - 661, 引用 - 0
数据加载中……

yacc使用技巧

当然 是在做语法分析器的时候。

几个要点,也许对大家做prase的时候有帮助。

1)很多例子在lex中用宏定义#define定义了token的值这样无论是定义还是修改起来都很麻烦。

其实只需在lex中 加入这么一句:#include "y.tab.h"。然后在yacc XXX.y的时候加上参数-d(yacc -d XXX.y) 编译器会自动生成y.tab.h,它会根据你在.y文件中%token定义的记号去自动生成定义了token的值宏定义#define的头文件。

2)也许每个人都会遇到悬空的else所带来的二义性。

if_stmt   : IF '(' expression ')' statement  

             | IF '(' expression ')' statement ELSE statement
            ;

这个语句在yacc的时候会提示一个移动归约冲突。

但是,你们又会看见文献中说yacc规定移进优先。照理说这样就已经解决了悬空的else所带来的二义性(else移进优先)。但是很多文章都没有提到,要在.y文件中声明%expect 1 表示告诉编译器预见一次的移动归约冲突。这样就可以正常编译了。:-)

3)当然 还有许多的细节。比如在.y中存在的如运算符之类的token 都必须从lex中传来。即使是 '+ '  , '('  这样的一元字符,都要再.lex中返回 —— "+" {return '+'} 返回其ASC2

4)如何让你的语法分析器找到错误呢?

这就是yyerror的功能了 这个龙书上有例子 我就不说了。你可以自己写yyerror函数,让它按照你的格式显示。但是如何知道错误在第几行?yylineno参数有时候不会自动支持,这个只要在.lex中对回车进行处理—— \n   {yylineno++;}即可。

 

posted on 2008-11-27 22:09 肥仔 阅读(1396) 评论(0)  编辑 收藏 引用 所属分类: LEX & YACC


只有注册用户登录后才能发表评论。
网站导航: 博客园   IT新闻   BlogJava   知识库   博问   管理