C/Lex char 指针也打印其他指针的值

Question

我正在编写一个 lex 程序。我已经初始化了 3 个字符指针。然后，如果它们满足标准，我将它们定义为令牌。但是当我之后打印它们时，第一个打印所有 3 的值，最后两个的第二个和它自己的最后一个。为什么会这样？这是我的代码：

%{
    #include<stdio.h>
    #include<string.h>

    int for_cond = 0;
    char *cond1, *cond2, *cond3;
    char * for_body = "";
    //char * loop = "";
    %}
    VAR [a-zA-Z_]+[a-zA-Z0-9_]*
    %%
    for[ ]*\( {for_cond++;}
    int[ ]+{VAR}[ ]*\=[ ]*[0-9]+ {if(for_cond==1){cond1 = yytext;}else if(for_cond==4){for_body = strcat(for_body,yytext);}}
    ; {if(for_cond==1||for_cond==2){for_cond++;} else if(for_cond==4){for_body = strcat(for_body,yytext);}}
    {VAR}[ ]*(\<|\>|\<\=|\>\=|\=\=)[ ]*[0-9]+ {if(for_cond==2){cond2 = yytext;}else if(for_cond==4){for_body = strcat(for_body,yytext);}}
    {VAR}[ ]*((\+\+|\-\-)|((\+\=|\-\=|\*\=|\/\=)[ ]*({VAR}|[0-9]+))) {if(for_cond==3){cond3 = yytext;}else if(for_cond==4){for_body = strcat(for_body,yytext);}}
    %%
    int yywrap(void){}
    int main(){

        yylex();
        printf("cond1 = %s\ncond2 = %s\ncond3 = %s\n", cond1, cond2, cond3);

        return 0;
    }

示例输入：

for(int i=0;i<=2;i++)

预期输出：

cond1 = int i=0

cond2 = i<=2

cond3 = i++

我得到了什么：

cond1 = int i=0;i<=2;i++)

cond2 = i<=2;i++)

cond3 = i++)

为什么会这样？我该如何解决这个问题？

Answer 1

yytext 指向词法分析器内部的临时数据结构，其生存期仅限于词法分析器操作。 （更准确地说，它的生命周期从词法分析器操作开始，并在词法扫描之前结束。）

换句话说，您不能将yytext 的值保存为指针。如果要保留字符串以供以后使用，则必须复制 yytext 指向的字符串的内容。如果你有strdup，你可以用它来创建一个字符串的副本（但是当你不再需要它时不要忘记free()这个副本。）如果你没有strdup，或者不管什么原因不想用，都可以自己动态分配空间：

char* theToken = malloc(yyleng + 1); strcpy(theToken, yytext);

还值得一提的是，鉴于for_body 指向长度为 0 (char * for_body = "";) 的不可变字符串，尝试向其添加文本是未定义行为：

strcat(for_body,yytext);

在许多平台上，该调用会出现段错误，因为for_body 的初始化使其指向只读内存。但是如果内存是可写的，它就不是for_body指向的数组的一部分，这意味着它是一些其他对象的一部分，其值将被strcat的调用破坏。