c - 使用结构更新指针执行 realloc 时出现问题

Question

<分区>

Answer 1

恕我直言，OP 还不知道变量的范围:

void addElement(structure* userArray, const int tag)
{
  /* The global variable userArray is now invisible (eclipsed).
   * Instead, the local parameter userArray is used.
   * It has its own storage.
   */
}

因此，每当realloc()返回一个不同的地址，然后假设它在离开后丢失了 addElement() .

realloc()可能会回来

1. 给定地址(第一个参数)
2. 新地址
3. 一个NULL指针。

realloc() 内部使用的堆管理可能会认识到 block 增长后的内存仍然是空闲的。因此，该 block 可以就地生长。也可能是堆管理提供的 block 比实际请求的要早。 (这可能是一种防止堆内存碎片化的策略。)这就是为什么尽管请求的内存比以前更多，但可能返回相同地址的原因。

如果以上都不适用，则分配一个新 block ，将旧内容复制到新地址，然后释放旧 block 。 (否则会变成内存泄漏。)

如果realloc()未能执行上述任何操作，它返回 NULL .

回想以上，更糟的是:每当realloc()返回一个不同的地址，然后旧地址的内存被释放。所以，全局 userArray (未更新)变为悬空(指向释放的内存)。访问悬空指针是未定义的行为 → 对任何奇怪的效果都有好处，包括崩溃(访问冲突)。

关于第三个:

userArray = (structure*)realloc(userArray, userArrayAvailable * sizeof(structure));

可能看起来有问题。

(我个人对此的想法是:当内存超出时，这通常意味着事情变得非常错误。通常必须尽快终止进程。在访问 NULL 指针时，大多数平台都会发生这种情况忽略丑陋的系统错误消息可能会吓到用户并迫使她/他调用支持电话这一事实。而且，请注意我重复使用“通常”...)

OP 已经观察到诊断输出中的第 1 点和第 2 点。

有多种方法可以解决这个问题:

1. 摆脱全局变量遮蔽:

void addElement(const int tag)
{
  /* unmodified code will now access the global userArray */
}

1. 改用指向指针的指针:

void addElement(structure **userArray, const int tag)
{
  /* all uses of userArray in code have to get an additional indirection operator
   * i.e. replace all occurrences of "userArray" by "(*userArray)"
   */
}

1. 返回(可能已更改)userArray结果:

structure* addElement(structure *userArray, const int tag)
{
  /* unmodified code */
  return userArray;
}

现在必须调用:

userArray = addElement(userArray, 13);

将(可能更改的)指针重新分配给全局变量。

---

总的来说，我(个人)更喜欢设计 3。然而，考虑到 addElement()访问各种其他全局变量以及选项 1 在我看来是最一致的修复。