Действительно ли realloc (p, 0) включает в себя free (p) в glibc?

Ответ 1

Изменить: ваш glibc, кажется, был до 2.18, в 2.18 ошибка была исправлена ​​в mtrace (см. здесь). На 2.20 glibc ваша тестовая программа сообщает: "Нет утечек памяти".

free вызывается в glibc. Из источников текущего glibc 2.21 (здесь и здесь)

/*
  REALLOC_ZERO_BYTES_FREES should be set if a call to
  realloc with zero bytes should be the same as a call to free.
  This is required by the C standard. Otherwise, since this malloc
  returns a unique pointer for malloc(0), so does realloc(p, 0).
*/

#ifndef REALLOC_ZERO_BYTES_FREES
#define REALLOC_ZERO_BYTES_FREES 1
#endif

void *
__libc_realloc (void *oldmem, size_t bytes)
{
  mstate ar_ptr;
  INTERNAL_SIZE_T nb;         /* padded request size */

  void *newp;             /* chunk to return */

  void *(*hook) (void *, size_t, const void *) =
    atomic_forced_read (__realloc_hook);
  if (__builtin_expect (hook != NULL, 0))
    return (*hook)(oldmem, bytes, RETURN_ADDRESS (0));

#if REALLOC_ZERO_BYTES_FREES
  if (bytes == 0 && oldmem != NULL)
    {
      __libc_free (oldmem); return 0;
    }
#endif

Ответ 2

Хотя моя интуиция "возвращаемого NULL" случая кажется правильной (см. мое правление ниже), glibc разработчики решили чтобы он соответствовал предыдущему стандарту C89 и отклонялся в соответствии с C99/C11:

Невозможно изменить это. Так оно и было реализован навсегда. C должен документировать существующую практику. изменения это означало бы внедрение утечек памяти.

Также индикация mcheck вводила в заблуждение, поскольку другой тестовый пример показал, что память эффективно освобождается realloc:

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

int main(void)
{
    int *p, *q;

    p = malloc(20 * sizeof(int));
    malloc_stats();

    putchar('\n');

    q = realloc(p, 0);
    malloc_stats();

    return 0;
}

Здесь вывод:

$ gcc check.c 
$ ./a.out 
Arena 0:
system bytes     =     135168
in use bytes     =         96
Total (incl. mmap):
system bytes     =     135168
in use bytes     =         96
max mmap regions =          0
max mmap bytes   =          0

Arena 0:
system bytes     =     135168
in use bytes     =          0
Total (incl. mmap):
system bytes     =     135168
in use bytes     =          0
max mmap regions =          0
max mmap bytes   =          0

EDIT:

Как указано в comment, рабочая группа ИСО/МЭК имела некоторое обсуждение, которое было представлено как Отчет об ошибках # 400. Предлагаемые изменения могут, вероятно, разрешить существующую практику glibc в будущем пересмотре стандарта C (или, возможно, в качестве технического исправления 1 для C11).

Что мне действительно нравится в DR # 400, является предложение:

Добавить в подраздел 7.31.12 новый пункт (пункт 2):

Вызов realloc с аргументом размера, равным нулю, является устаревшей функцией.

Ответ 3

Как поведение realloc() при передаче размера 0 определяется имптенентацией...

Если размер запрашиваемого пробела равен нулю, поведение определяется реализацией: возвращается нулевой указатель, или, поведение такое, как если бы размер был некотором ненулевым значением, за исключением того, что возвращаемый указатель не должен использоваться для доступа к объекту.

... портативный эквивалент

void * p = malloc(1);
free(p);

должно быть

void * p = malloc(1);
p = realloc(p, 0)
free(p); /* because of the part after the "or" as quoted above.

Баланс памяти должен быть даже после.

Обновить покрытие realloc() "ошибка":

void * p = malloc(1);
{
  void * q = realloc(p, 0);
  p = q ?q :p;
}
free(p); /* because of the part after the "or" as quoted above.

Ответ 4

Взгляните на realloc код в glibc здесь: http://code.woboq.org/userspace/glibc/malloc/memusage.c.html#realloc. На строке 434 вы увидите, что free вызывается, когда размер равен 0.