Question

我试图在下面的程序中使用realloc重新分配内存，并在realloc初始内存之后检查我使用malloc（i =（int *）malloc（5 * sizeof（int））的反应仍然存在与否，使用在程序之下，我能够在使用另一个指针（即* m）检查的realoc之后访问数据。这是正确的行为吗？一旦realloc调用，内存应该是免费的吗？

    #include <stdio.h>
    #include <stdlib.h>

    int main()
    {
       int *i,*jn, *m;
       i = (int*)malloc(5 * sizeof(int));
       int j,k=10;

      for(j=0 ;j<5; j++)
      {
         i[j] = j;
         printf("%d \n",i[j]);
      }

      for(j=0 ;j<5; j++)
      {
        printf("%p\n",i++);
      }

      jn = (int *)calloc(5, sizeof(*i));

      for(j=0 ;j<5; j++)
      {
         printf("%p\n",jn++);
      }

       i = i-5;
       m = i;

      printf("m = %p  %d\n",(m+1), *(m+1));

      i =(int *)realloc(i,8*sizeof(int));

      for(j=0 ;j<8; j++)
      {

         printf("%d\n",i[j]);
      }

      for(j=0 ;j<8; j++)
      {

        printf("%p\n",i++);
      }
      printf("m = %p  %d\n",(m+1), *(m+1));

      return 0;
}

Answer 1

首先，realloc可能会决定

分配新内存块，复制数据并释放原始内存块，或
只需“原位”扩展/收缩原始块，而无需分配新块。

它将选择哪种方法取决于实施和各种其他外部因素。它可能遵循第一种方法。或者它可能遵循第二种方法。通过在i之后比较指针m和realloc的值，您可以轻松找出所遵循的方法。

其次，如果realloc决定遵循第一种方法（即分配新的内存块），那么旧的块确实被realloc释放。在这种情况下，尝试访问原始内存位置会导致未定义的行为。

如果realloc决定遵循第二种方法（即“原位”扩展或缩小原始内存块），则m和i将继续指向同一位置。在这种情况下，通过m看到相同的数据并不奇怪。

P.S。这意味着代码的行为是平凡或未定义。它不能真正用于分析行为是否“正确”。如果内存确实被释放，你期望发生什么？

Answer 2

realloc相当于：

void *
realloc(void *old, size_t newsz)
{
    size_t old_sz = internal_function_that_finds_old_size(old);
    void *new = malloc(newsz);
    if (new == NULL)
        return NULL;
    memcpy(new, old, oldsz);
    free(old);
    return new;
}

realloc可以做更高效的事情，包括不更改指针，只是将大小分配得更大，它可以使用内核工具将内存映射到其他地方以避免副本等。但总的来说{{1}应该被视为完全按照我上面写的那样做，因为这是最糟糕的情况。

现在，谈到您的计划。你通过无效指针触摸内存，任何事情都可能发生。调用realloc后m停止成为有效指针。它并不意味着任何人都会阻止你使用它，它只是意味着如果你使用它，你的程序就不再保证做任何合理的事情了。

realloc释放现有的内存？

2 个答案: