yacc/lex 的基本问题

Question

我对一个非常简单的 yacc/lex 程序有一些问题。我可能忘记了一些基本步骤（我已经很长时间没有使用这些工具了）。

在我的 lex 程序中，我给出了一些基本值，例如：

word    [a-zA-Z][a-zA-Z]*
%%
":"    return(PV);
{word}  { 
            yylval = yytext;
            printf("yylval = %s\n",yylval);
            return(WORD);
       }
"\n"    return(ENDLINE);

在我的 yacc 程序中，我的语法的开头是（其中 TranslationUnit 是我的 %start）：

TranslationUnit:
               /* Nothing */
              | InfoBlock Data
              ;

InfoBlock:
           /* Nothing */
         | InfoBlock InfoExpression {}
         ;

InfoExpression:
             WORD PV WORD ENDLINE { printf("$1 = %s\n",$1);
 printf("$2 = %s\n",$2);
 printf("$3 = %s\n",$3);
 printf("$4 = %s\n",$4);
                                  }
            | ... /* other things */
            ;

Data:
    ... /* other things */

当我使用输入运行程序时：

keyword : value

我认为我至少会得到：

$1 = keyword
$2 = keyword // yylval not changed for token PV
$3 = value
$4 = value // yylval not changed for token ENDLINE

实际上我得到:

$1 = keyword : value
$2 = keyword : value
$3 = value
$4 = value

我不明白这个结果。我前段时间学过语法，即使我现在不记得所有内容，我也没有看到任何重要的错误......

提前感谢您的帮助。

Answer 1

问题在于，除非您保存令牌，否则 Lex/Yacc 会继续覆盖该空间，或指向不同的空间等。因此，您需要在修改之前存储对您至关重要的信息。您在 Lex 代码中的打印应该表明，当调用词法分析器（词法分析器）时，yylval 值是准确的。

另请参阅 SO 2696470，其中遇到并诊断了相同的基本问题。