导致无法匹敌的规则的Flex描述

Question

我的flex描述似乎在我的更具体的情况之前有一个捕捉。我敢肯定，这是我的一个错字，但我不知道哪条规则导致我的其他规则无法匹敌。我相信可能的嫌疑犯是我创建的字符串描述。但是我仍然不确定，并且正在寻找答案。

branch.l文件：

%option noyywrap 

%{ 
#include "global.h" 
%} 

delim   [\t ] 
ws    {delim}+ 
digit   [0-9] 
num    {digit}+ 
alpha   [_a-zA-Z] 
identifier  {alpha}({alpha}|{digit})* 
relation  [<]|[>]|[>][=]|[<][=]|[=][=]|[!][=] 
string   ["][a-zA-Z0-9]*["] 

%% 

{ws}   {/* skip blanks and tabs */} 
{num} { 
    tokenval = atoi(yytext); 
    return NUM; 
} 

{identifier} { 
    if (strlen(yytext) >= BSIZE) { 
    error("compiler error"); 
    } 
    tokensym = lookup(yytext, ID); 
    tokensym->count += 1; 
    return (int)tokensym->token; 
} 

"BEGIN"   {return BEGN;} 
"IF"   {return IF;} 
"THEN"   {return THEN;} 
"ELSE"   {return ELSE;} 
"GOTO"   {return GOTO;} 
"NULL"   {return NUL;} 
"READ"   {return READ;} 
"PRINT"   {return PRINT;} 
"*"    {return '*';} 
"+"    {return '+';} 
"-"    {return '-';} 
"/"    {return '/';} 
"("    {return '(';} 
")"    {return ')';} 
"="    {return '=';} 
"."    {return '.';} 
"\n"   {lineno++;} 
";"    {return ';';} 
"END"   {return DONE;} 
<<EOF>>   {return DONE;} 

{relation} {return RELATION;} 
{string} {return STRING;}` 

而且这些都是无法比拟的规则...

branch.l:33: warning, rule cannot be matched 
branch.l:34: warning, rule cannot be matched 
branch.l:35: warning, rule cannot be matched 
branch.l:36: warning, rule cannot be matched 
branch.l:37: warning, rule cannot be matched 
branch.l:38: warning, rule cannot be matched 
branch.l:39: warning, rule cannot be matched 
branch.l:40: warning, rule cannot be matched 
branch.l:51: warning, rule cannot be matched 

我无法弄清楚如何轻松地添加行号。但警告指的是BEGIN-PRINT行和ELSE行下行。

Answer 1

BEGIN将匹配{identifier}和"BEGIN"。既然如此，flex将（如文档所述）匹配文件中的第一个规则，即{identifier}。因此，"BEGIN"将永远不会匹配。

---

坦率地说，我会抛弃那些大部分（如果不是全部）宏定义。您可以使用[[:alpha:]_]代替{alpha}和[[:digit:]]代替{digit}（事实上，中[[:alnum:]]*代替({alpha}|{digit})*）。大多数情况下，使用宏只能将模式与规则操作分开，使代码难以阅读（恕我直言）。如果你有非常复杂的图案或您多次使用的模式

宏可能是有用的，但很少适用。