yacc 输出中的额外右大括号

Question

我的 lex 文件有：

word [^{}"=,\t\n@\\ ]+

\{  {
    return(LBRACE);
}

\}  {
    return(RBRACE);
}

{word}  {
     yylval = yytext; printf("WORD=%s",yytext); return(WORD);
}

我的 yacc 文件有：

phrase: LBRACE WORD RBRACE  {printf("LBRACE %s RBRACE\n",$2);};

输入时：

{FooBar}

我得到：

WORD=FooBar
LBRACE FooBar} RBRACE

我不确定为什么我得到了额外的右大括号，即使我只打印 $2，这应该是理想的

Answer 1

这里：

{word}  {
     yylval = yytext; printf("WORD=%s",yytext); return(WORD);
}

yytext 的值仅在您处理该词素时才有效。一旦移动到下一个词位，缓冲区的内容可能会被覆盖。因此保存 yytext 指针不会给你带来任何好处。您需要将令牌复制出缓冲区。

{word}   {  yylval = (char*)calloc(yylen+1, sizeof(char));
            strncpy(yylval, yytext, yylen); // Remember you need to free this.
            return WORD;
         }

Answer 2

您可以将 yytext 的值（通过 yylval）存储在 WORD 产生式中。它只是指向 lex 工作空间的指针。您会看到工作空间在解析 RBRACE 后发生变化。想象一下像 LBRACE WORD COMMA WORD LBRACE 这样的 yacc 规则以及那里会发生什么。

如果您不想单独制作，我认为您可以执行 LBRACE WORD { code to strdup yylval } RBRACE { ... }