parsing - 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

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

另请参阅SO 2696470遇到并诊断出相同的基本问题。