为什么在C中malloc()成功的地方realloc(

Question

在RHEL6上，我面临着realloc（）的一个奇怪问题。在程序中的某个时刻，realloc（）返回NULL（旧指针有一个地址，并且有足够的内存可用）。正在分配的是200个结构元素（结构如下）。出于某种原因，当我改为执行realloc（）时，它是有效的，但我必须将旧指针分配给新指针。下面是我的代码的简化版本。

这可能是一个服务器调优问题，而不是编程问题。你的意见是什么
谢谢

//hearder file
typedef struct  {        /* Variable Node Detail Record */
   long     next;
   long     mask;
   char     *value;   
   // more stuff...
} NODETEST;
extern NODETEST *oldNodes;
extern NODETEST *newNodes;
//program
#define MAXSIZE 200
// do some stuff with oldNodes....
int alloc_nodes (void)
{
    // Allocate or grow the table
    oldNodes = (NODETEST *) malloc(MAXSIZE * sizeof(NODETEST));
    if( oldNodes == NULL ) {
            //handle exception...
            exit(1);
      }
    //oldNodes = (NODETEST *) realloc(oldNodes,MAXSIZE * sizeof(NODETEST)); // *** FAILS
    newNodes = (NODETEST *) realloc(oldNodes,MAXSIZE * sizeof(NODETEST));   // *** WORKS
    if( newNodes == NULL ){
        printf("errno=%dn", errno );
    }else{
        oldNodes = newNodes;            }
}

Answer 1

您首先调用大小为S的malloc，然后调用大小相同的realloc。这是错误的：您必须将新的所需大小传递给realloc（与当前大小无关-它不是增量）。在这里，realloc返回与其接收到的指针完全相同的指针的可能性很大。顺便说一句，现在还不清楚为什么要先用malloc，然后用realloc。给我们更多的细节。

如果你想要一个大小自动调整的动态表，你需要分配一个初始大小，将其大小存储在一个变量（例如alloc_size）中，并将当前占用元素的数量保持在另一个变量中（例如n_elem）。添加元素时，会使该数字递增。当表格满了，重新分配它。这是的草图

NODETEST *newNodes = NULL;
int allocated_elem = 0;
int n_elem = 0;
#define ALLOC_INCR 200

则在每次添加时：

if (n_elem >= alloc_size) { // the first time realloc is as malloc since nodes == NULL
    alloc_size += ALLOC_INCR;
    nodes = (NODETEST *) realloc(nodes, alloc_size * sizeof(NODETEST));
    if (nodes == NULL) {
        //handle exception...
        exit(1);
    }
}
// add your element at nodes[n_elem]
n_elem++;

回想一下，当接收到的指针是NULL（第一次调用的情况）时，realloc的行为就像malloc。因此，它分配初始表。随后的调用通过以恒定增量（此处为200）调整大小来重新分配它。一些其他方案也可能用于扩大表格，例如，您可以将大小乘以从32:开始的因子（例如2）

if (n_elem >= alloc_size) { // the first time realloc is as malloc since nodes == NULL
    alloc_size = (alloc_size == 0) ? 32 : alloc_size * 2;

重新获得FAIL和WORKS注释：很明显，如果您分配oldNodes（在FAIL代码中），则newNodes不会被分配，并保持其初始值为零（NULL），因为它被声明为全局变量且未初始化（我想这里是extern）。因此，测试CCD_ 17可能会失败。