爲什麼flex/bison中的多行註釋如此迴避？

Question

我想在我的Flex解​​析C風格的多行註釋（.L）文件：

%s ML_COMMENT 
%% 

... 

<INITIAL>"/*"     BEGIN(ML_COMMENT); 
<ML_COMMENT>"*/"    BEGIN(INITIAL); 
<ML_COMMENT>[.\n]+    { } 

我不返回任何令牌和我的語法（.Y）沒有解決意見以任何方式。

當我運行我的可執行文件，我得到一個解析錯誤：

$ ./a.out 
/* 
abc 
def 
Parse error: parse error 
$ echo "/* foo */" | ./a.out 
Parse error: parse error 

（我的yyerror函數做一個printf（「解析錯誤：％s \ n」），這是其中的第一個半多餘的錯誤信息來自）。

我可以看到爲什麼第二個示例失敗，因爲整個輸入是註釋，並且由於語法忽略了註釋，所以沒有語句。因此輸入不是一個有效的程序。但是，第一部分在我完成評論之前拋出了一個解析錯誤。

另外混亂：

$ ./a.out 
/* foo */ 
a = b; 
Parse error: parse error 

在這種情況下，註釋之前實際有效的輸入（其沒有評論，解析就好）關閉。在解析「a」之後實際發生失敗，而不是在嘗試解析賦值「a = b;」之後發生。如果我自己輸入「a」，它仍然會報錯。

鑑於錯誤消息是一個解析器錯誤，而不是掃描儀錯誤，是否有什麼關鍵我在我的.y文件中缺少？或者我在掃描器規則中做錯了什麼，傳播到解析器端？

編輯：每@魯迪的建議下，我打開調試，發現：

$ ./a.out 
Starting parse 
Entering state 0 
Reading a token: /* 
foo 
Next token is 44 (IDENTIFER) 
Shifting token 44 (IDENTIFER), Entering state 4 
Reducing via rule 5 (line 130), IDENTIFER -> identifier 
state stack now 0 
Entering state 5 

我關掉調試，發現確實/* foo */ = bar;解析一樣foo = bar;。我使用的是flex 2.5.4;它並沒有給我任何關於我試圖使用的有狀態規則的警告。

Answer 1

我認爲你必須聲明你ML_COMMENT開始條件作爲獨家開始條件，所以只有ML_COMMENT規則處於活動狀態。的%x ML_COMMENT代替%s ML_COMMENT

沒有啓動的條件，否則規則也很活躍。

Answer 2

解析意見這種方式可能會導致錯誤的原因是：

• 你需要添加條件所有的規則法
• ，如果你也想處理//它變得更加複雜評論
• 你仍然有風險，yacc /野牛合併兩個評論，包括之間的所有內容

在我的解析器中，我處理這樣的評論。首先定義註釋開始的lex規則，如下所示：

\/\*  { 
     if (!SkipComment()) 
      return(-1); 
     } 

\/\/  { 
     if (!SkipLine()) 
      return(-1); 
     } 

然後編寫SkipComment和SkipLine函數。他們需要消耗所有的輸入，直到註釋的結尾被發現（這是很舊代碼，所以原諒我有點陳舊結構）：

bool SkipComment (void) 
{ 
int Key; 

Key=!EOF; 
while (true) 
    { 
    if (Key==EOF) 
     { 
     /* yyerror("Unexpected EOF within comment."); */ 
     break; 
     } 
    switch ((char)Key) 
     { 
     case '*' : 
     Key=input(); 
     if (char)Key=='/') return true; 
     else    continue; 
     break; 
     case '\n' : 
     ++LineNr; 
     break; 
     } 
    Key=input(); 
    } 

return false; 
} 

bool SkipLine (void) 
{ 
int Key; 

Key=!EOF; 
while (true) 
    { 
    if (Key==EOF) 
     return true; 
    switch ((char)Key) 
     { 
     case '\n' : 
     unput('\n'); 
     return true; 
     break; 
     } 
    Key=input(); 
    } 

return false; 
} 

Answer 3

除了與%x VS %s的問題，也有在.在[.\n]比賽（只）字面.，而不是「比任何其他換行字符」就像一個裸.做的問題。你要像

<ML_COMMENT>.|"\n"  { /* do nothing */ } 

的規則，而不是

Answer 4

我找到了C語言的語法（實際上只是詞法分析器）非常有用的描述。我認爲這與帕特里克的答案基本相同，但略有不同。

http://www.lysator.liu.se/c/ANSI-C-grammar-l.html