當然 是在做語法分析器的時候。
幾個要點,也許對大家做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++;}即可。