动态数组push_front的malloc与realloc实现差异及异常原因咨询

你编写的两个push_front函数均用于给动态数组头部插入元素，但内存分配逻辑存在本质差异，其中realloc版本出现了所有元素被传入的value覆盖的异常，具体细节如下：

一、malloc与realloc实现的核心差异 #

• malloc版本：每次申请一块全新的独立内存，大小为*size + 1。先将新元素放在新数组头部，再把原数组的所有元素完整拷贝到新数组的后续位置，最后释放原数组内存，让指针指向新数组。原数组与新数组完全独立，拷贝过程不会互相干扰。
• realloc版本：realloc(*arr, 新大小)的行为分两种情况：
  1. 若原内存块后方有足够连续空间，直接扩展原内存块，返回的new_arr与*arr指向同一块内存；
  2. 若空间不足，才会申请新内存，自动拷贝原数组数据到新内存，再释放原内存。

二、realloc版本元素被全部覆盖的原因 #

看你的realloc实现代码：

bool push_front(int value, size_t *size, int **arr) {
    if (!*arr) return false;
    int *new_arr = realloc(*arr, sizeof(int[*size + 1]));
    if (!new_arr) return false;
    new_arr[0] = value;
    for (size_t i = 1, j = 0; j < *size; ++i, ++j)
        new_arr[i] = (*arr)[j];
    ++*size;
    *arr = new_arr;
    return true;
}

当realloc触发原地扩展（即new_arr与*arr指向同一块内存）时，问题就出现了：

1. 你先将new_arr[0]（也就是原数组的第一个元素）修改为value；
2. 随后从前往后拷贝原数组元素到新位置，此时(*arr)[j]取的是已经被修改后的内存数据——比如第一次拷贝时，把已经变成value的原数组第一个元素赋值给new_arr[1]，这会把原数组的第二个元素也改成value；
3. 后续每一轮拷贝都会用上一轮被修改后的元素，最终导致整个数组的所有元素都被覆盖成value。

而malloc版本因为原数组和新数组是两块独立内存，拷贝的是原数组的原始数据，不会出现这种连锁覆盖的问题。

修正realloc版本的思路 #

要解决这个问题，只需调整操作顺序：先把原数组元素向后移动，再给头部赋值，避免修改后的数据被重复拷贝。比如把循环改成从后往前移动：

bool push_front(int value, size_t *size, int **arr) {
    if (!*arr) return false;
    int *new_arr = realloc(*arr, sizeof(int[*size + 1]));
    if (!new_arr) return false;
    // 从后往前移动元素，避免覆盖
    for (size_t i = *size; i > 0; --i) {
        new_arr[i] = new_arr[i - 1];
    }
    new_arr[0] = value;
    ++*size;
    *arr = new_arr;
    return true;
}

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