如果没有连续的内存空间,realloc会怎么做?

时间:2010-09-10 11:36:50

标签: c dynamic-memory-allocation realloc

realloc用于动态重新分配内存。

假设我使用malloc函数分配了7个字节,现在我想将其扩展到30个字节。

如果内存中没有30个字节的顺序(连续单行)空间,后台会发生什么?

是否有任何错误或将在内存中分配内存?

5 个答案:

答案 0 :(得分:11)

realloc在幕后工作大致如下:

  • 如果当前块后面有足够的可用空间来满足请求,请扩展当前块并返回指向块开头的指针。
  • 否则,如果其他地方有足够大的空闲块,则分配该块,复制旧块中的数据,释放旧块并返回指向新块开头的指针
  • 通过返回NULL来报告失败。

因此,您可以通过测试NULL来测试失败,但请注意,您不要过早覆盖旧指针:

int* p = malloc(x);
/* ... */
p = realloc(p, y); /* WRONG: Old pointer lost if realloc fails: memory leak! */
/* Correct way: */
{
  int* temp = realloc(p, y);
  if (NULL == temp)
  {
    /* Handle error; p is still valid */
  }
  else
  {
    /* p now possibly points to deallocated memory. Overwrite it with the pointer
       to the new block, to start using that */
    p = temp;
  }
}

答案 1 :(得分:6)

realloc只有在能够返回连续(在你的话中为“连续”)内存块时才会成功。如果不存在这样的块,它将返回NULL

答案 2 :(得分:1)

来自man page

  

realloc()返回指向的指针   新分配的内存,即   适合任何种类的   变量可能与之不同   ptr,如果请求失败,则为NULL。

换句话说,要检测失败,只需检查结果是否为NULL。

编辑:如评论中所述,如果呼叫失败,则不会释放原始内存。

答案 3 :(得分:1)

一般来说,这取决于实施。在x86(-64)Linux上,我相信标准的doug lea malloc算法总是会分配最小的标准x86页面(4096字节),因此对于上面描述的场景,它只会重置边界以容纳额外的字节。比如说,重新分配7bytes的缓冲区到PAGE_SIZE + 1,我相信它会尝试分配下一个连续的页面(如果可用)。

如果你在Linux上开发,那么值得阅读以下内容:

  

默认情况下,Linux遵循乐观的内存分配策略。这意味着当malloc()返回非NULL时,无法保证内存确实可用。这是真的   坏虫。如果事实证明系统内存不足,臭名昭着的OOM杀手就会杀死一个或多个进程。如果Linux是在可能的情况下使用的话   不太可能突然失去一些随机选择的进程,而且内核版本是最近的,可以使用如下命令关闭这种过度使用的行为:

# echo 2 > /proc/sys/vm/overcommit_memory
     

另请参阅内核文档目录,文件vm / overcommit-accounting和sysctl / vm.txt。

答案 4 :(得分:0)

FreeBSD和Mac OS X都有reallocf()函数,当无法分配请求的内存时,该函数将释放传递的指针(参见man realloc)。