關(guān)于 realloc

hbmhalley

1. 
   
2. #include <stdio.h>
   
3. #include <stdlib.h>
   
4. #include <assert.h>
   
5. 
   
6. int main () {
   
7.         char *a = malloc (1) ;
   
8.         char *b = malloc (1) ;
   
9.         b[0] = 'b' ; ///////////////////////////////////////
   
10.         assert (realloc (a , 0x11) != NULL) ;
    
11.         a[0x10] = 'a' ;
    
12.         printf ("%p\n%p\n" , a+0x10 , b) ;
    
13.         printf ("%c\n" , b[0]) ; ////////////////////////////////
    
14.         return 0 ;
    
15. }
    

復(fù)制代碼

result:

1. 
   
2. 0x80010208
   
3. 0x80010208
   
4. a
   

復(fù)制代碼

gcc 4.5.3

starwing83

斷言里不要放帶副作用的表達(dá)式。

realloc以后， 傳遞給它的參數(shù)就失效了（相當(dāng)于被free），之后真正有效的是realloc返回的那個(gè)指針（即你在assert里面扔掉的那個(gè)指針），如果realloc失敗，將返回NULL，則原來的指針不動(dòng)。

realloc新大小0，相當(dāng)于free原來的指針。realloc一個(gè)NULL指針，相當(dāng)于malloc。

hbmhalley

回復(fù) 2# starwing83


    問題在于 realloc 成功 (!=NULL) 可能導(dǎo)致其他不相干的 malloc 過的空間受污染.

starwing83

回復(fù) 3# hbmhalley


    ……………………你沒救了。

a被分配了一塊16字節(jié)的內(nèi)存。你realloc到17，a就不夠用了。

于是realloc重新找系統(tǒng)要了一塊17字節(jié)的內(nèi)存，將1字節(jié)的a拷貝過去，然后free掉了a原先的內(nèi)存，然后將新分配的17字節(jié)內(nèi)存返回給你了。

但是你把realloc新分配的內(nèi)存給扔了（通過比較）
這時(shí)a沒被更新，而且a已經(jīng)是野指針了，a[0x10] = 'a'的行為是未定義的。

正確的代碼是這樣的：

char *a = malloc(1);
char *b = malloc(1);
char *new_a;
*a = 'a';
*b = 'b';
new_a = realloc(a, 0x11);
assert(new_a != NULL);
a = new_a;
a[0x10] = 'a';
assert(b[0] == 'b');
free(a);
free(b);

hbmhalley

回復(fù) 4# starwing83


    soga!
    大半夜的不大精神 ..