C语言动态数组扩容时释放旧数组触发内存错误求助

你提到的这种内存错误我遇到过好多次，大概率是细节上的疏漏，给你列几个最常见的排查方向：

1. 释放旧数组后未及时更新指针 #

这是最容易踩的坑：你释放了旧的data指针，但忘了把结构体里的data指向新分配的数组，后续操作会直接访问野指针，或者再次释放这个已经失效的指针。比如错误写法：

struct DynArr *arr = ...;
TYPE *new_data = malloc(new_cap * sizeof(TYPE));
memcpy(new_data, arr->data, arr->size * sizeof(TYPE));
free(arr->data);
// 这里漏掉了 arr->data = new_data; 直接导致后续操作野指针

解决：释放旧内存后第一时间更新结构体的data指针，让它指向新数组。

2. 初始结构体未正确初始化 #

如果你的动态数组结构体声明后，data指针是未初始化的野指针（不是NULL），第一次扩容时调用free(arr->data)就会直接触发错误。比如：

// 错误示例：结构体未初始化
struct DynArr arr;
// 直接调用扩容函数，此时arr.data是随机内存地址，free必炸

解决：创建结构体时务必初始化data为NULL，size设为0，要是有容量字段也一起设好初始值。

3. 元素复制时越界破坏堆结构 #

如果复制元素时算错了字节数（比如误用了容量capacity而不是实际元素数size），会导致越界复制，破坏堆内存的管理元数据，后续free时就会触发内存错误。比如：

// 错误示例：复制字节数错误
memcpy(new_data, arr->data, arr->capacity * sizeof(TYPE));
// 应该是 arr->size * sizeof(TYPE)，只复制已有的元素

这种情况表面上可能没立刻报错，但堆结构已经损坏，free时就会出问题。

4. 重复释放同一个指针 #

如果代码逻辑里不小心多次调用free(arr->data)——比如扩容函数被重复触发，或者其他地方已经释放了data但没置为NULL——第二次释放就会触发内存错误。

解决：每次释放data后立刻把它设为NULL，因为free(NULL)是安全的，不会报错。

5. 新数组分配失败就释放了旧数组 #

正确的扩容逻辑应该是先确保新数组分配成功，再释放旧数组。如果malloc返回NULL（内存不足），但你已经释放了旧数组，不仅会触发错误，还会丢失原有数据。正确写法：

TYPE *new_data = malloc(new_cap * sizeof(TYPE));
if (new_data == NULL) {
    // 分配失败，直接返回错误，不要碰旧数组
    return -1;
}
memcpy(new_data, arr->data, arr->size * sizeof(TYPE));
free(arr->data);
arr->data = new_data;
arr->capacity = new_cap; // 假设你维护了容量字段

你可以对照这几点检查自己的代码，要是还是找不到问题，把扩容相关的代码片段贴出来，我帮你盯着细节看。

内容的提问来源于stack exchange，提问作者MJ1986