关于 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. }
    

复制代码

result:

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

复制代码

gcc 4.5.3

starwing83

断言里不要放带副作用的表达式。

realloc以后， 传递给它的参数就失效了（相当于被free），之后真正有效的是realloc返回的那个指针（即你在assert里面扔掉的那个指针），如果realloc失败，将返回NULL，则原来的指针不动。

realloc新大小0，相当于free原来的指针。realloc一个NULL指针，相当于malloc。

hbmhalley

回复 2# starwing83


    问题在于 realloc 成功 (!=NULL) 可能导致其他不相干的 malloc 过的空间受污染.

starwing83

回复 3# hbmhalley


    ……………………你没救了。

a被分配了一块16字节的内存。你realloc到17，a就不够用了。

于是realloc重新找系统要了一块17字节的内存，将1字节的a拷贝过去，然后free掉了a原先的内存，然后将新分配的17字节内存返回给你了。

但是你把realloc新分配的内存给扔了（通过比较）
这时a没被更新，而且a已经是野指针了，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

回复 4# starwing83


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