Question

我有使用strdup()复制字符串lexeme的flex代码。

%{   
#include "json.tab.h"
#define YY_DECL extern "C" int yylex()

%}
%option noyywrap

%%

[ \t\n]+ ; 
\"[a-zA-Z]+\" {yylval.sval = strdup(yytext); return STRING; }
[0-9]+ {yylval.ival = atoi(yytext); return NUMBER; }
. {return yytext[0];} ; 

%%

strdup()分配内存并将输入字符串复制到其中并返回（strdup() - what does it do in C?），所以我想我需要在我不再需要它时将其释放。

从这篇文章：When is %destructor invoked in BISON?，我在yacc文件中添加了%destructor { free($$); printf("free");} STRING。

但是，即使free()被分配了yylval.sval返回的新字符串，我也看不到strdup()。

可能有什么问题？如何在flex / bison中释放分配的字符串？

加

我认为使用静态分配的sval如下：

%union {
    int ival;
    char sval[100]; // char* sval;
}

灵活编码现在变为（如果yytext小于100字节，则没有检查代码）：

\"[a-zA-Z]+\" {
    //yylval.sval = strdup(yytext);
    memset(yylval.sval, 0, 100);
    strcpy(yylval.sval, yytext);
    return STRING; 
}

我不确定这种方法是否是人们通常使用的方法。

Added2

对于我的应用程序，简单的实习是可以的。

extern char buffer[]; // [100];
%}
%option noyywrap

%%

\"[a-zA-Z]+\" {
        //yylval.sval = strdup(yytext);
        memset(buffer, 0, 100);
        strcpy(buffer, yytext);
        yylval.sval = buffer;
        return STRING; 
    }
...

char buffer[100];

对于yacc代码

%union {
    int ival;
    char *sval; 
}

Answer 1

正如你所说，当我不再需要它时，你需要释放字符串。它就像那样简单（或复杂）。

C没有垃圾收集器，因此C程序员负责知道何时不再需要分配内存。这种语言并不试图解决这个问题，而且（大多数情况下）也不会解决这个问题。

如果您的缩减规则提供了一个或多个包含指向已分配内存的指针的语义值，则该规则可能会执行许多操作。它可能会将语义值传递给新的语义值，通常只通过复制指针。它可以复制语义值，然后释放原始文件。它可能会将语义值添加到解析全局数据结构中，如符号表。

在所有这些情况下，程序员应该知道是否仍然需要分配的内存，如果不是，则应该释放分配。

然而，在少数情况下，野牛会丢弃语义价值，而不会将其呈现给减少行动。其中大多数是错误条件。如果作为错误恢复的一部分，bison决定丢弃一个令牌，那么该令牌的语义值可能会泄漏内存。正是在这种情况下，野牛才有%destructor声明。如果（并且仅当）bison因错误恢复或错误后清理而丢弃令牌，则调用%destructor代码。所有其他情况都是您的责任。

通过使堆栈槽变得庞大（例如在语义值联合中包含char[100]）来试图逃避这一责任既不安全又效率低下。这是不安全的，因为您需要经常意识到固定空间缓冲区可能会溢出，这意味着解析语法上有效的程序可能会覆盖任意内存。这是低效的，因为你最终使堆栈比必要的大几个数量级;还因为你不断复制堆栈插槽（每个缩减规则至少两次，甚至是那些使用默认操作的规则。）

如果您打算共享内存，找出语义值的生命周期只会很复杂。这通常对字符串文字没有用（如在你的例子中），但它对变量名称非常有用;大多数名称在程序中出现不止一次，因此总是有诱惑在每次出现时使用相同的字符串。

我通常通过“实习”词法分析器中的字符串来解决标识符问题。词法分析器维护一个解析全局名称表 - 比如用哈希表实现的简单set - 并且对于它遇到的每个标识符，它将标识符添加到名称表并传递唯一名称条目指针作为语义价值。在解析结束后的某个时刻，可以释放整个名称表，释放所有标识符。

对于字符串文字和其他可能唯一的字符串，您既可以使用名称表，也可以避免使用指向同一字符串的指针的两个副本。使用名称表的优点是可以减少在内存管理中需要完成的工作量，但代价是可能会在不必要的时间内保留不必要的字符串。这很大程度上取决于解析结果的性质：如果它是AST，那么只要AST存在就可能需要保留字符串，但是如果你正在进行直接执行或一次性代码生成，那么你可能会不需要长途的字符串文字。

从flex / bison中

加

Added2

1 个答案: