弹性和野牛$变量给出意外的价值

Question

在我的Lexer文件中，我将令牌“ name”设置为“ yylval.str = yytext”。然后，在我的野牛文件中，我尝试读取该str值以将名称作为字符串获取。但是，当我阅读$ 2时，我最终不仅得到了令牌名称，还可以获得其余的行。

例如，一行可以是“移动z到xy”，其中z和xy都是两个名称。在这种情况下，我希望$ 2的价值为“ z”，而4美元的价值为“ xy”。 但是实际发生的是$ 2的价值是“ z至xy”，而$ 4的值是“ xy”。我想4美元有同样的问题，但是在生产线结束时没有其他问题，因此不会引起任何问题。

为什么$ 2将这样的剩余时间付诸实践？我如何获得变量名称？

（缩短）Lexer代码：（

"MOVE"                  {return (MOVE);}
"TO"                    {return (TO);}
([0-9])+                {yylval.num = atoi(yytext); return (INTEGER);}
[a-z][a-z0-9\-]*        {yylval.str = _strlwr(yytext); return (NAME);}

缩短）解析器代码：

%token MOVE
%token TO
%token <num> INTEGER
%token <str> NAME
%union{
    int num;
    char *str;
}

move:
    MOVE NAME TO NAME PERIOD { printf("<Var1: %s>, <Var2: %s>", $2, $4);}
    | MOVE INTEGER TO NAME PERIOD { printf("<Val: %d>, <Var: %s>", $2, $4); }

输入：

MOVE Z TO XY-1
MOVE 15 TO XY-1

输出：

<Var1: z TO xy-1>, <Var2: xy-1>
<Val: 15>, <Var: xy-1>

Answer 1

在我的lexer文件中，我设置了“ yylval.str = yytext”的“名称”。然后，在我的野牛文件中，我尝试读取该str值以将名称作为字符串获取。但是，当我阅读$ 2时，我最终不仅得到了令牌名称，还可以得到其余的行。

这根本不足为奇。 yyText是输入缓冲区的指针（in），从当前匹配的位置开始。当解析器查看指向数据时，它们通常不是字符串，因为通常没有立即跟随令牌字符的字符串终结器（但请参见下文）。

此外，当解析器开始查看令牌的语义价值时，Lexer已将新数据读取到输入缓冲区中，并将原始令牌文本从您的下方倾斜。

我如何获得变量名？

要将令牌文本作为字符串，您可以在以后访问，并确保它不会从您的下面进行修改，则需要对其进行副本。这可能需要在动态分配的内存中。 仅在Lexer Action 中，您可以依靠Flex提供临时字符串终结器，因此您可以使用strdup（）（如果有）来制作这样的复制。您似乎正在使用Microsoft的C库，它确实具有strdup。

然后：

[a-z][a-z0-9\-]*        {
                            char *temp = strdup(yytext);
                            if (temp == NULL) { /* handle allocation error*/}
                            else {
                                yylval.str = _strlwr(temp); return (NAME);
                            }
                        }

您将需要确保在不再需要时，解析器的动态分配的语义值将被解析器释放，然后再丢失指针。