大小 8 的无效读取 - Valgrind + C

Question

Valgrind 在以下代码中报告错误 Invalid read of size 8。

我有一个数组声明如下，

struct symbol *st[PARSER_HASH_SIZE];

当我的程序初始化时，该数组中的所有元素都被初始化为 0。

memset(&st[0], 0, sizeof(st));

我的程序创建 struct symbol 的实例，并根据哈希值插入到上面的数组中。因此，该数组中的少数元素将为 NULL，而其他元素将为有效值。

以下代码尝试删除分配的项目，并且 valgrind 在该行抱怨， sym = st[i];符号！= NULL； sym = sym->next

struct symbol *sym = NULL;

/* cleaning the symbol table entries */
for(i = 0; i < PARSER_HASH_SIZE; i++) {
    for(sym = st[i]; sym != NULL; sym = sym->next) { /* <-- Valgrind complains here */
        free(sym);
    }
}

我试图理解此错误的原因。

任何帮助都会很棒！

Answer 1

问题是您正在释放 sym，然后尝试从（现已释放的）数据中访问值：sym->next。

您可能想要这样的内循环：

struct symbol *next_sym = NULL;

for(sym = st[i]; sym != NULL; ) {
    next_sym = sym->next;
    free(sym);
    sym = next_sym;
}

Answer 2

还不清楚数组是否包含结构体或指向结构体的指针，

struct symbol *st[PARSER_HASH_SIZE];

表示它是指向结构体的指针数组。但是你说

“当我的程序初始化时，这个数组中的所有元素都被初始化为0”。

memset(&st[0], 0, sizeof(st));

这将条目视为

清除数组的结构

for (int i = 0; i < PARSER_HASH_SIZE; i++)
{
    st[i] = 0;
}