处理由 yyless 在 yacc 中的开始条件内返回的字符

Question

对于下面的代码片段，{EQ} 的 "ASSN: =" 块不会因 "CC=gcc\n" 的输入而触发 - 我不明白为什么会这样，正在传递等号字符，因为它正在由 {CHAR} 的下一条规则处理。

当等号 'pushed' 由 yyless 返回时，如何确保处理 {EQ} 规则？

byacc 代码几乎是空的，只有一个虚拟规则，但有相关的 %token 行。

#define _XOPEN_SOURCE 700
#include <stdio.h>
#include "y.tab.h"
extern YYSTYPE yylval;
%}

%x      ASSIGNMENT
%option noyywrap

DIGIT   [0-9]
ALPHA   [A-Za-z]
SPACE   [ ]
TAB     [\t]
WS      [ \t]+
NEWLINE (\n|\r|\r\n)
IDENT   [A-Za-z_][A-Za-z_0-9]+
EQ      =
CHAR    [^\r\n]+

%%

<*>"#"{CHAR}{NEWLINE}

({IDENT}{EQ})|({IDENT}{WS}{EQ}) { 
                        yylval.strval = strndup(yytext, 
                                strlen(yytext)-1);

                        printf("NORM: %s\n", yylval.strval);
                        yyless(strlen(yytext)-1);
                        BEGIN(ASSIGNMENT);
                        return TOK_IDENT;
                    }

<ASSIGNMENT>{

{EQ}                {
                        printf("ASSN: =\n");
                        return TOK_ASSIGN;
                    }

{CHAR}              {
                        printf("ASSN: %s\n", yytext);
                        return TOK_STRING;
                    }

{NEWLINE}           {   
                        BEGIN(INITIAL); 
                    }
}

{WS}
{NEWLINE}

.                   { 
                        printf("DOT : %s\n", yytext);
                    }

<*><<EOF>>          { 
                        printf("EOF\n");
                        return 0;       
                    }

%%

int main()
{
    printf("Start\n\n");
    int ret;
    while( (ret = yylex()) )    {
        printf("LEX : %u\n", ret);
    }
    printf("\nEnd\n");
}

示例输出：

Start

NORM: CC
LEX : 257
ASSN: =gcc
LEX : 259
EOF

End

Answer 1

我的问题是 flex 匹配 longest rule first，所以 {CHAR} 总是胜过 {EQ}。我通过引入另一个开始条件来消耗 {EQ}{WS} 来解决这个问题？在传递给

之前

处理由 yyless 在 yacc 中的开始条件内返回的字符

Processing character returned by yyless within a start condition in yacc

flex-lexer

lex