glibc では realloc(p, 0) は本当に free(p) を伴うのでしょうか? 質問する

p != NULLとがp以前の割り当て（たとえば によるmalloc）から派生している場合、 GNU/Linuxではrealloc(p, 0)と同等であると述べる人がいることや書籍などの参考文献があることを発見しましたfree(p)。この論文を裏付けるためにman reallocまさにそのように述べています（強調は筆者によるものです）。

realloc() 関数は、ptr が指すメモリ ブロックのサイズを size バイトに変更します。領域の開始から古いサイズと新しいサイズの最小値までの範囲では、内容は変更されません。新しいサイズが古いサイズより大きい場合、追加されたメモリは初期化されません。ptr が NULL の場合、呼び出しは、size のすべての値に対して malloc(size) と同等になります。sizeが0でptrがNULLでない場合、呼び出しはfree(ptr)と同等になります。ptr が NULL でない限り、これは malloc()、calloc()、または realloc() の以前の呼び出しによって返されている必要があります。指し示された領域が移動された場合、free(ptr) が実行されます。

ご覧のとおり、この質問ただし、C 標準では、何が起こるべきかを正確に定義しておらず、実際の動作は実装によって定義されます。具体的には、次のようになります。

C11 §7.22.3/p1メモリ管理機能言う：

要求されたスペースのサイズがゼロの場合、動作は実装定義になります。ヌルポインタが返されるまたは、返されたポインターがオブジェクトにアクセスするために使用されない点を除いて、サイズがゼロ以外の値である場合と同じように動作します。

およびC11 §7.22.3.5realloc関数含まれるもの:

3) (...) 新しいオブジェクトのメモリが割り当てることができません、古いオブジェクト割り当て解除されていないそしてその値は変更されません。

4) このrealloc関数は新しいオブジェクトへのポインタを返します（古いオブジェクトへのポインタと同じ値になる場合があります）。新しいオブジェクトを割り当てることができなかった場合はヌルポインタ。

私は実際の動作を調べるためにいくつかの基本的なコードを書いて、mcheckメモリ チェッカーには以下が付属していますglibc:

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

int main(void)
{
    int a = 5;
    int *p, *q;

    mtrace();

    p = malloc(sizeof(int));
    q = &a;

    printf("%p\n", (void *) p);
    printf("%p\n", (void *) q);

    q = realloc(p, 0);

    printf("%p\n", (void *) p);
    printf("%p\n", (void *) q);

    return 0;
}

$ gcc -g check.c 
$ export MALLOC_TRACE=report
$ ./a.out 
0xfd3460
0x7ffffbc955cc
0xfd3460
(nil)
[grzegorz@centos workspace]$ mtrace a.out report 

Memory not freed:
-----------------
           Address     Size     Caller
0x0000000000fd3460      0x4  at /home/grzegorz/workspace/check.c:12