reallocについて

質問

以下のソースでmallocやreallocの使い方で間違った部分があれば
指摘してください。

#include <iostream.h>
#include <malloc.h>
typedef unsigned char byte;

main() {
byte *p = (byte*)malloc(10);
memcpy(p, "123456789", 9);
p = (byte*)realloc(p, 5);
*(p+4) = 0;
printf("%s", (char*)p);
p = (byte*)realloc(p, 0);
return 0;
}

realloc(p, 5)のようにreallocでメモリブロックを10から5に
小さくしてもいいんですか？
足りなくなったメモリを増やすためのreallocしか見たことがありません。

reallocでは先頭バイトの位置が保たれていることは保証されますか？
別の言い方をすると、memcpy(p, "123456789", 9);によって
1が入ってるバイトを、reallocした後の*pが差すことが保証されていますか？

もし保証されるなら、例えば上記のソースで1234と表示される
別の言い方をすると、reallocでメモリブロックの値は変更されない
ことは保証されていますか？

回答No.2

leaz024 · ベストアンサー

realloc は、確保されていたメモリ領域を拡張することも縮小することもできますので、使い方は問題ないと思います。

また、realloc で再確保されたメモリは、全く別のメモリブロックである可能性がありますが、以前のメモリブロックの内容は新しいメモリブロックにコピーされるので、ポインタの位置を気にする必要はないでしょう。
http://www.ncad.co.jp/~komata/c-frame.htm　「メモリーについて(2)」参照

あと、これは１つ前にされた質問への回答になりますが、realloc の第１引数を NULL で呼び出すと malloc と同じ動作をするので、いきなり realloc することもできます。
http://www.st.rim.or.jp/~phinloda/cqa/cqa4.html#Q12
※このページには、メモリの確保～開放に関しての Tips が他にもいくつかあり、参考になることと思います。

参考URL：

http://www.ncad.co.jp/~komata/c-frame.htm, http://www.st.rim.or.jp/~phinloda/cqa/cqa4.html#Q12

お礼

ありがとうございます。
前の、いきなり realloc もやることができました。

回答No.3

shige_70

realloc()は縮小もできますが、削った分のデータは当然消えます。

拡げた場合は元のサイズ分の内容は保証されますが、増えた部分の内容は不定です。

realloc()でのサイズ変更後にアドレスが変わっていないと言う保証はないばかりかむしろ変わるものと思った方がよいです。

ところで、質問のプログラムは移植性が低いです。byte型? ioなんとか.h? 等の一般的でないものは、どうしても必要でなければ使うべきでないと思います。

回答No.1

furyfox

>realloc(p, 5)のようにreallocでメモリブロックを10から5に
>小さくしてもいいんですか？
問題ありません。

>reallocでは先頭バイトの位置が保たれていることは保証されますか？
保証されません。位置は変わります。
小さくなる分には普通同じアドレス値ですがANSIで定義されているわけでは
ありません。

>もし保証されるなら、例えば上記のソースで1234と表示される
>別の言い方をすると、reallocでメモリブロックの値は変更されない
>ことは保証されていますか？
>1が入ってるバイトを、reallocした後の*pが差すことが保証されていますか？
保証というかこの場合printfの時点で
pが指すポインタには"1234"が入っています。(mallocが成功していれば)

p = (char*)realloc(p, 100);
realloc()の実行前と後ではpの値(アドレス値)が違う可能性があるということです。

ちなみにrealloc()が失敗した場合は元のアドレスが解放されずに残ります。

お礼

reallocでアドレスが変わるのに、pが指すポインタには"1234"が入っている
という理由が分からなかったけど、No2の回答を見て分かりました。
アドレスは変わってもコピーされるんですね。
足りなくなったメモリを追加するための関数として欲しい機能が
デフォルトで備わっていたわけですね。