C语言中能否在不丢失原有数据的前提下调整堆中数组的大小

核心结论 #

可以在不丢失原有数据的前提下调整数组大小，仅适用于堆上动态分配的数组，栈/静态存储区的固定大小数组不支持运行时调整。

具体实现说明 #

• C标准库提供了realloc()函数专门用于动态内存块的大小调整，调用时会默认保留原有内存块内的全部有效数据。
• 工作逻辑遵循堆内存分配的基本规则：

背景说明：malloc()分配的内存位于堆内存中，每次调用malloc()时都会在堆内存内选择不同的位置作为分配内存块的起始地址。

1. 若原内存块后方的空闲空间足够支撑新的大小需求，会直接在原地址上完成扩容/缩容，原有数据完全保留，返回原内存地址。
2. 若原位置剩余空间不足，会自动寻找堆内符合大小要求的新空闲内存块，将原内存的所有数据完整拷贝到新块后，自动释放旧内存块，返回新内存的起始地址。
3. 若堆内没有足够的空闲空间满足分配需求，realloc()会返回NULL，此时原有内存块不会被修改、释放，内部数据不会丢失。

安全使用示例 #

不要直接将原动态数组指针赋值给realloc()的返回值，否则分配失败时会丢失原内存地址导致内存泄漏，正确写法如下：

// 初始分配10个int大小的动态数组
int* arr = (int*)malloc(10 * sizeof(int));
// 此处省略数组元素赋值逻辑

// 调整数组大小为20个int
int* temp_ptr = (int*)realloc(arr, 20 * sizeof(int));
if (temp_ptr == NULL) {
    // 分配失败时的错误处理，此时arr仍有效，内部数据完整
    free(arr);
    // 后续错误处理逻辑
} else {
    // 分配成功，更新数组指针
    arr = temp_ptr;
}

注意事项 #

• 缩容场景下，realloc()会保留新大小范围内的全部数据，仅释放末尾超出新大小的部分，不会丢失保留区域的数据。
• 栈上声明的固定大小数组（如int arr[10];）、全局静态数组的大小在编译时就已经固定，没有标准方法可以在运行时调整其大小。

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