當然 是在做語法分析器的時候。
幾個要點，也許對大家做prase的時候有幫助。
1）很多例子在lex中用宏定義#define定義了token的值這樣無論是定義還是修改起來都很麻煩。
其實只需在lex中 加入這么一句：#include "y.tab.h"。然后在yacc XXX.y的時候加上參數(shù)-d(即yacc -d XXX.y) 編譯器會自動生成y.tab.h，它會根據(jù)你在.y文件中%token定義的記號去自動生成定義了token的值宏定義#define的頭文件。
2）也許每個人都會遇到懸空的else所帶來的二義性。
if_stmt : IF '(' expression ')' statement
| IF '(' expression ')' statement ELSE statement
;
這個語句在yacc的時候會提示一個移動歸約沖突。
但是，你們又會看見文獻中說yacc規(guī)定移進優(yōu)先。照理說這樣就已經(jīng)解決了懸空的else所帶來的二義性（else移進優(yōu)先）。但是很多文章都沒有提到，要在.y文件中聲明%expect 1 表示告訴編譯器預見一次的移動歸約沖突。這樣就可以正常編譯了。:-)
3）當然 還有許多的細節(jié)。比如在.y中存在的如運算符之類的token 都必須從lex中傳來。即使是 '+ ' , '(' 這樣的一元字符，都要再.lex中返回 —— "+" {return '+'} 返回其ASC2碼。
4）如何讓你的語法分析器找到錯誤呢？
這就是yyerror的功能了 這個龍書上有例子 我就不說了。你可以自己寫yyerror函數(shù)，讓它按照你的格式顯示。但是如何知道錯誤在第幾行？yylineno參數(shù)有時候不會自動支持，這個只要在.lex中對回車進行處理—— \n {yylineno++;}即可。