使用realloc扩展数组时首索引值丢失问题求助

嘿，这个问题我之前帮很多开发者排查过，大概率是你在使用malloc/realloc时踩了这几个常见的坑，咱们一个个拆解：

1. 初始malloc的内存大小计算错误 #

最容易犯的错就是给malloc传错了大小，比如你想存一个int，却写成了：

int *arr = malloc(1); // 只分配了1字节，而int通常是4/8字节
arr[0] = 1; // 这里已经越界写内存，属于未定义行为

这种情况下，初始写入就已经破坏了内存的完整性，后续realloc时，系统可能会把这块有问题的内存回收或重新分配，导致原数据丢失。

正确的写法应该用sizeof来匹配类型大小：

int *arr = malloc(sizeof(int));
// 或者更安全：malloc(sizeof(*arr))，避免后续修改数组类型时出错

2. 错误地直接用原指针接收realloc的返回值 #

很多人图省事会写：

arr = realloc(arr, new_size * sizeof(int));

但realloc如果分配失败会返回NULL，这时候原指针会被覆盖成NULL，原来的内存就彻底丢失了。更关键的是，如果realloc需要把内存迁移到新地址，虽然理论上会保留原数据，但如果之前的内存已经因为越界操作被破坏，迁移后数据也会出问题。

正确的做法是先用临时指针接收返回值，检查成功后再赋值给原指针：

int *temp = realloc(arr, 2 * sizeof(int));
if (temp == NULL) {
    // 处理内存分配失败，原arr还能正常使用
    perror("realloc failed");
    return 1;
}
arr = temp; // 确认成功后再更新原指针

3. 扩展数组时的越界写入操作 #

比如你初始数组大小是1，扩展到2后，不小心写了arr[2] = 3;，这会越界破坏内存中的其他数据——虽然malloc的元数据通常在内存块头部，但越界写依然可能导致不可预测的问题，进而让原数组的0索引值被篡改。

4. 没有检查malloc的返回值 #

如果malloc一开始就失败返回NULL，你直接给arr[0]赋值，这属于对空指针的解引用，是未定义行为，后续任何操作都可能导致垃圾值。

所以一定要先检查内存分配是否成功：

int *arr = malloc(sizeof(int));
if (arr == NULL) {
    perror("malloc failed");
    return 1;
}
arr[0] = 1;

快速排查步骤 #

• 先确认初始malloc的大小是否匹配int的实际长度
• 检查malloc和realloc的返回值，确保内存分配成功
• 用临时指针接收realloc的结果，避免丢失原内存
• 检查所有数组写入操作，确保没有越界访问

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