は、既存のメモリをrealloc解放しますか？

Question

以下のプログラムでreallocを使ってメモリを再割り当てしようとしていますが、malloc（i =（int *）malloc（5 * sizeof（int）））を使って反応した初期メモリをreallocした後もチェックしています私は別のポインタ（すなわち* 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は単に拡大/で」元のブロックを縮小し、新しいメモリブロックを割り当ててデータをコピーし、オリジナルのものを解放する、または

に決めるかもしれません新しい場所を割り当てずに「場所」を指定します。

どのアプローチを選択するかは、実装やさまざまな外部要因によって異なります。それは最初のアプローチに従うかもしれません。あるいは、それは第2のアプローチに従うかもしれない。ポインタiとmの値をreallocの後に比較することで、どのアプローチに続いたのかを簡単に把握できます。

第2に、reallocが第1のアプローチに従う（すなわち、新しいメモリブロックを割り当てる）と決定された場合、古いブロックは確かにreallocによって解放される。その場合、元のメモリ位置にアクセスしようとすると、未定義の動作につながります。

reallocが第2のアプローチに従う（つまり、元のメモリブロックを "インプレース"に拡張または縮小する）と決定された場合、mおよびiは同じ場所を指し続けます。その場合、同じデータをmまで見ることは驚くことではありません。

P.S.つまり、コードの動作は、、簡潔なまたはのいずれかです。です。それは実際に行動が「適切」であるかどうかを分析するのに実際には使用できません。メモリが実際に解放された場合、あなたの期待はどうでしたか？ポインタを変更し、ちょうど大きな割り当てられたサイズをしていないなど、より効率的な何かを行うことができ、それはコピーを避けるために、どこかのメモリをマップするために、カーネルの機能を使用することができます

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：

Answer 2

reallocは同等ですしかし、一般的にはreallocは、これが最悪の場合の動作であるため、上記のように扱う必要があります。

今、あなたのプログラムについて言えば、無効なポインタでメモリに触れていると、何かが起こる可能性があります。 mは、reallocの呼び出し後に有効なポインタであることを停止します。誰でもあなたの使用を止めさせるわけではなく、あなたがそれを使用すればあなたのプログラムはもはや分かりやすいことを保証されなくなります。