C语言项目中realloc引发内存泄漏问题排查求助

先明确realloc的关键行为 #

• 当realloc成功扩容/缩容时，会返回新的内存地址，原内存地址会被系统自动释放，无需手动free旧指针。
• 当realloc失败时，会返回NULL，此时原内存地址仍然有效，必须手动管理（继续使用或释放）。

最常见的泄漏场景及排查点 #

1. 错误的realloc赋值方式 #

如果你的代码直接把realloc结果赋值给原指针：

feiticos = realloc(feiticos, sizeof(Feitico) * new_count);

一旦realloc返回NULL，原feiticos指针会被覆盖为NULL，之前分配的内存彻底丢失，直接造成泄漏。

正确写法：用临时变量接收结果，判断成功后再赋值：

Feitico *temp_ptr = realloc(feiticos, sizeof(Feitico) * new_count);
if (temp_ptr == NULL) {
    // 处理错误：先释放已分配的所有咒语元素，再释放原数组
    for (int i = 0; i < current_count; i++) {
        free_feitico(&feiticos[i]);
    }
    free(feiticos);
    return NULL;
}
feiticos = temp_ptr;

2. realloc后读取失败，未清理已分配的新内存 #

在read_feiticos_from中，每次realloc扩容后，如果后续调用read_feitico_from读取单个咒语失败，需要检查：

• 是否释放了刚扩容的数组中已经成功读取的咒语元素？
• 是否释放了扩容后的数组本身？

示例错误处理逻辑：

// 扩容后尝试读取新咒语
Feitico *new_feitico = read_feitico_from(fp);
if (new_feitico == NULL) {
    // 释放已读取的所有元素和扩容后的数组
    free_feiticos(feiticos, current_count);
    return NULL;
}
feiticos[current_count++] = *new_feitico;
free(new_feitico); // 根据read_feitico_from的实现，确认是否需要此步

3. 批量释放函数free_feiticos存在逻辑漏洞 #

检查你的free_feiticos函数是否正确遍历所有元素：

• 循环边界是否是实际已读取的咒语数量，而非数组总容量？
• 是否每个元素都调用了free_feitico（释放strdup分配的字符串等）？
• 最后是否free了数组本身？

示例正确实现：

void free_feiticos(Feitico *feiticos, int total_count) {
    for (int i = 0; i < total_count; i++) {
        free_feitico(&feiticos[i]);
    }
    free(feiticos);
}

4. 单个咒语读取函数read_feitico_from的内存泄漏 #

如果read_feitico_from中使用了strdup或malloc，要检查读取失败时的内存清理：

• 分配结构体后，若字符串分配失败，是否释放了结构体？
• 多字段分配时，前面字段成功、后面失败，是否释放前面已分配的内存？

示例正确的错误处理：

Feitico *read_feitico_from(FILE *fp) {
    Feitico *f = malloc(sizeof(Feitico));
    if (!f) return NULL;

    char *temp_name = strdup(read_name_from_fp(fp));
    if (!temp_name) {
        free(f); // 必须先释放结构体，再返回NULL
        return NULL;
    }
    f->name = temp_name;

    // 其他字段分配...
    // 若某字段分配失败，需释放已分配的所有内存（如name、结构体）
    return f;
}

5. main中LOAD逻辑的内存泄漏 #

• 如果LOAD操作被多次执行，是否在重新加载前释放了旧的feiticos数组？
• 程序中途退出时（如LOAD后遇到错误），是否调用了free_feiticos释放内存？

内容的提问来源于stack exchange，提问作者Rafael Lourenço