如何解决结构体数组自定义realloc函数失效及内存泄漏问题？

核心问题总结 #

你的自定义realoc函数存在多个逻辑错误和语法问题，导致内存泄漏、外部指针无法更新，最终函数无法正常工作。

具体错误点 #

• 指针传值导致外部指针失效：C语言中参数按值传递，你在函数内部修改huff = temp仅会改变形参的指向，调用者手里的原始指针根本不会更新。旧内存块没被释放，新内存地址传不出去，直接引发内存泄漏。
• 循环内冗余赋值：huff=temp被放在遍历数组的循环内部，这完全没有必要——拷贝完成后赋值一次即可，循环内重复赋值只会造成逻辑混乱。
• 未释放旧内存：重分配完成后没有释放原huff指向的内存，这是Valgrind检测到内存泄漏的直接原因。
• 语法错误：return length+expand_size语句缺少分号，会导致编译失败。

修正后的实现 #

下面是修复后的代码，同时优化了数据拷贝方式，并增加了内存分配失败的错误处理：

typedef struct {
    char w[2]; //word
    int v; //value
    int d; //direction
    char b; //binary
}node_t;

// 返回新分配的结构体数组指针，失败返回NULL
node_t* realoc(node_t *huff, int length, int expand_size){
    size_t new_total = length + expand_size;
    node_t *temp = malloc(new_total * sizeof(node_t));
    if (temp == NULL) {
        // 内存分配失败，返回NULL，原huff指针保持有效
        return NULL;
    }

    // 结构体无指针成员，直接批量赋值更简洁
    for(int i = 0; i < length; i++){
        temp[i] = huff[i];
    }

    // 释放旧内存，避免泄漏
    free(huff);
    return temp;
}

// 调用示例
int main() {
    node_t *huff = malloc(2 * sizeof(node_t));
    if (huff == NULL) {
        return 1;
    }

    // 初始化数组数据...

    // 扩展数组大小
    node_t *new_huff = realoc(huff, 2, 3);
    if (new_huff == NULL) {
        // 分配失败，释放旧内存并退出
        free(huff);
        return 1;
    }
    huff = new_huff; // 更新外部指针到新内存

    // 使用数组...

    free(huff);
    return 0;
}

关于标准realloc的正确用法 #

你提到使用标准realloc时出现内存泄漏，大概率是因为错误地直接赋值：

// 错误用法：如果realloc返回NULL，原huff指针会丢失
huff = realloc(huff, new_size);

正确用法应该先将返回值存入临时指针，检查成功后再更新原指针：

node_t *temp = realloc(huff, new_size);
if (temp != NULL) {
    huff = temp;
} else {
    // 分配失败，原huff仍指向旧内存，可继续使用或手动释放
}

内容的提问来源于stack exchange，提问作者Michał Jagodzinski