c语言 - 为什么未知变量"mystring"？

Question

我正试图调试为什么我的变量mystring不为人所知，而我认为它应该是根据前面的问题

错误是在语法中还是在代码中？

(gdb) run
The program being debugged has been started already.
Start it from the beginning? (y or n) y
Starting program: /home/dac/ClionProjects/openshell/openshell 
'PATH' is set to /home/dac/proj/google-cloud-sdk/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games.
> echo 'a b'
lexcode 3 Text echo mystring (null)
Becho
testlexcode 4 Text ' mystring (null)
lexcode 1 Text 
 mystring (null)
argument ::= ARGUMENT .
argumentList ::= argument .
command ::= FILENAME argumentList .
commandList ::= command .
 {(null)} {echo} {(null)}
Program received signal SIGSEGV, Segmentation fault.
0x0000000000402308 in main ()
(gdb) 

我的语法是

%{
    #include "shellparser.h"
    #include <string.h>
    char *mystring;
%}
%option reentrant
%option noyywrap
%x SINGLE_QUOTED
%x DOUBLE_QUOTED
%%
"|"                     { return PIPE; }
[ tr]                 { }
[n]                    { return EOL; }
[a-zA-Z0-9_.-]+       { return FILENAME; }
[']                     { BEGIN(SINGLE_QUOTED); }
<SINGLE_QUOTED>[^']+    { printf("test");mystring = strdup(yytext); }
<SINGLE_QUOTED>[']      { BEGIN(INITIAL);
      /*  mystring contains the whole string now,
           yytext contains only "'" */
                          return ARGUMENT; }
<SINGLE_QUOTED><<EOF>>  { return -1; }
["]                     { BEGIN(DOUBLE_QUOTED); }
<DOUBLE_QUOTED>[^"]+    { }
<DOUBLE_QUOTED>["]      { BEGIN(INITIAL); return ARGUMENT; }
<DOUBLE_QUOTED><<EOF>>  { return -1; }
[^ trn|'"]+          { return ARGUMENT; }
%%

然后我的主循环是

yylex_init(&scanner);
yyset_in(stdin, scanner);
shellParser = ParseAlloc(malloc);
params[0] = NULL;
printf("> ");
i=1;
do {
    lexCode = yylex(scanner);
    text = strdup(yyget_text(scanner));
    printf("lexcode %i Text %s mystring %sn", lexCode, text, mystring);
    if (lexCode == 4) {
        params[i++] = mystring;
        if (strcmp(text, "'")) {
            params[i++] = mystring;
        }
    } else
    if (lexCode != EOL) {
        params[i++] = text;
        printf("B%sn", text);
    }
    Parse(shellParser, lexCode, text);
    if (lexCode == EOL) {
        dump_argv("Before exec_arguments", i, params);
        exec_arguments(i, params);
        corpse_collector();
        Parse(shellParser, 0, NULL);
        i=1;
    }
} while (lexCode > 0);
if (-1 == lexCode) {
    fprintf(stderr, "The scanner encountered an error.n");
}
yylex_destroy(scanner);
ParseFree(shellParser, free);

为什么mystring是空的，而我期望它是什么？我遇到分段错误：

$ ./openshell 
'PATH' is set to /home/dac/proj/google-cloud-sdk/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games.
> echo 'a b'
lexcode 3 Text echo mystring (null)
Becho
testlexcode 4 Text ' mystring (null)
lexcode 1 Text 
 mystring (null)
argument ::= ARGUMENT .
argumentList ::= argument .
command ::= FILENAME argumentList .
commandList ::= command .
 {(null)} {echo} {(null)}
Segmentation fault (core dumped)

整个项目都在我的github上。

Answer 1

因为在中

    lexCode = yylex(scanner);
    text = strdup(yyget_text(scanner));
    printf("lexcode %i Text %s mystring %sn", lexCode, text, mystring);

CCD_ 3不一定由CCD_ 4设置。只有一个规则可以设置它，所以通常它（仍然）是NULL，从而导致segfault。

Answer 2

@PaulOgilvie非常清楚地解释了为什么yylex()返回后mystring可能仍然是NULL。作为一个未初始化的全局，mystring的初始值是NULL。在扫描示例命令中的文本"echo"后，yylex()返回，而没有设置mystring，因此此时它仍然是NULL。

但是，请注意，这似乎不是segfault的近端原因。您的输出显示程序正在经过该点，并且实际上在分配给mystring之前执行printf()调用。然而，用于计算mystring值的strdup()是一个问题，因为尽管yytext是指向令牌的文本开头的指针，但它不是指向包含令牌的C字符串的指针。相反，它是指向flex缓冲区中文本位置的指针，并且该文本通常不会在令牌末尾终止。

flex提供全局变量yyleng来告诉您文本的长度，您可以使用它来进行复制。例如，您可以这样做：

mystring = strndup(yytext, yyleng);

话虽如此，您的输出似乎显示扫描正在进行到完成（接收令牌EOL，值为1），在这种情况下，崩溃可能发生在dump_argv()中，甚至之后。从输出中，我猜您有一个野生指针，或者可能有一个指向某个未终止字符串的指针。这很难说，因为您没有提供这些函数的代码。

更新：您的主循环中似乎有mystring，但没有看到扫描仪执行的任务。对此唯一合理的解释是，它们不是同一个mystring。也许您在所提供的主循环的作用域中声明了一个static或本地mystring。同样需要注意的是，使用flex的mystring0选项是为了生成一个避免通过全局变量进行通信的扫描器，但您可以通过引入自己的（mystring）来克服这一点。