C语言 在函数中使用 realloc 操作动态数组

Question

利用我在这里学到的：如何在C语言的函数中使用realloc，我编写了这个程序。

int data_length; // Keeps track of length of the dynamic array.
int n; // Keeps track of the number of elements in dynamic array.
void add(int x, int data[], int** test)
{
    n++;
    if (n > data_length)
    {
        data_length++;
        *test = realloc(*test, data_length * sizeof (int));
    }
    data[n-1] = x;
}
int main(void)
{
    int *data = malloc(2 * sizeof *data);
    data_length = 2; // Set the initial values.
    n = 0;
    add(0,data,&data);
    add(1,data,&data);
    add(2,data,&data);
    return 0;
}

该程序的目标是拥有一个动态数组data，我可以不断向其添加值。当我尝试向data添加一个值时，如果它是完整的，则使用 realloc 增加数组的长度。

问题

该程序可编译，运行时不会崩溃。但是，打印出data[0]、data[1]、data[2]会给出0,1,0。2未添加到数组中。

这是由于我错误地使用realloc吗？

附加信息

该程序稍后将与不同数量的"添加"和可能的"删除"功能一起使用。另外，我知道应该检查realloc以查看它是否失败（是NULL），但为了简单起见，这里省略了。

我仍在学习和试验C.感谢您的耐心等待。

Answer 1

你的问题在于你对data的使用，因为它指向旧数组的地址。然后，当您的呼叫realloc时，此区域将被释放。因此，您正在尝试在下一条指令上访问无效地址：这会导致未定义的行为。

此外，您不需要使用此data指针。 test就足够了。

(*test)[n-1] = x;

Answer 2

你不需要data传递两次来add。

你可以编码

void add(int x, int** ptr)
{
  n++;
  int *data = *ptr;
  if (n > data_length) {
    data_length++;
    *ptr = data = realloc(oldata, data_length * sizeof (int));
    if (!data) 
      perror("realloc failed), exit(EXIT_FAILURE);
  }
  data [n-1] = x;
}

但这非常低效，您应该偶尔拨打realloc一次。例如，您可以拥有

     data_length = 3*data_length/2 + 5;
     *ptr = data = realloc(oldata, data_length * sizeof (int));

Answer 3

让我们来看看 POSIX realloc 规范。

描述说：

如果内存对象的新大小需要移动对象，则会释放用于对象先前实例化的空间。

返回值（强调添加）提到：

成功完成大小不等于 0 后，realloc（） 返回指向（可能已移动）分配空间的指针。

您可以检查指针是否更改。

int *old;
old = *test;
*test = realloc(*test, data_length * sizeof(int));
if (*test != old)
    printf("Pointer changed from %p to %pn", old, *test);

这种可能的更改可能会交互不良，因为您的代码通过两个不同的名称（data 和 *test ）引用"相同"内存。如果*test发生变化，data仍指向旧的内存块。