PROTOTYPE:
void * realloc ( void * ptr, size_t new_size );
关于realloc的行为方式，结合源码总结为：
| 1. realloc失败的时候，返回NULL； 2. realloc失败的时候，原来的内存不改变，也就是不free或不move，(这个地方很容易出错)； 3. 假如原来的内存后面还有足够多剩余内存的话，realloc的内存=原来的内存+剩余内存,realloc还是返回原来内存的地址; 假如原来的内存后面没有足够多剩余内存的话，realloc将申请新的内存，然后把原来的内存数据拷贝到新内存里，原来的内存将被free掉,realloc返回新内存的地址； 4. 如果size为0，效果等同于free()； 5. 传递给realloc的指针可以为空，等同于malloc； 6. 传递给realloc的指针必须是先前通过malloc(), calloc(), 或realloc()分配的。 |
source code在此，对号入座：
/* realloc.c - C standard library routine.
Copyright (c) 1989, 1993 Michael J. Haertel
You may redistribute this library under the terms of the
GNU Library General Public License (version 2 or any later
version) as published by the Free Software Foundation.
THIS SOFTWARE IS PROVIDED "AS IS" WITHOUT ANY EXPRESS OR IMPLIED
WARRANTY. IN PARTICULAR, THE AUTHOR MAKES NO REPRESENTATION OR
WARRANTY OF ANY KIND CONCERNING THE MERCHANTABILITY OF THIS
SOFTWARE OR ITS FITNESS FOR ANY PARTICULAR PURPOSE. */
#include
#include
#include
#include
#include "malloc.h"
#ifdef __ELF__
#pragma weak realloc = __libc_realloc
#endif
#define MIN(A, B) ((A) < (B) ? (A) : (B))
/* Resize the given region to the new size, returning a pointer
to the (possibly moved) region. This is optimized for speed;
some benchmarks seem to indicate that greater compactness is
achieved by unconditionally allocating and copying to a
new region. */
void *
__libc_realloc (void *ptr, size_t size)
{
void *result, *previous;
int block, blocks, type;
int oldlimit;
if (!ptr)
return __libc_malloc(size);
if (!size) {
__libc_free(ptr);
return __libc_malloc(0);
}
block = BLOCK(ptr);
switch (type = _heapinfo[block].busy.type) {
case 0:
/* Maybe reallocate a large block to a small fragment. */
if (size <= BLOCKSIZE / 2) {
if ((result = __libc_malloc(size)) != NULL) {
memcpy(result, ptr, size);
#if 1
__libc_free(ptr);
#else
_free_internal(ptr);
#endif
}
return result;
}
/* The new size is a large allocation as well; see if
we can hold it in place. */
blocks = BLOCKIFY(size);
if (blocks < _heapinfo[block].busy.info.size) {
/* The new size is smaller; return excess memory
to the free list. */
_heapinfo[block + blocks].busy.type = 0;
_heapinfo[block + blocks].busy.info.size
= _heapinfo[block].busy.info.size - blocks;
_heapinfo[block].busy.info.size = blocks;
#if 1
__libc_free(ADDRESS(block + blocks));
#else
_free_internal(ADDRESS(block + blocks));
#endif
return ptr;
} else if (blocks == _heapinfo[block].busy.info.size)
/* No size change necessary. */
return ptr;
else {
/* Won't fit, so allocate a new region that will. Free
the old region first in case there is sufficient adjacent
free space to grow without moving. */
blocks = _heapinfo[block].busy.info.size;
/* Prevent free from actually returning memory to the system. */
oldlimit = _heaplimit;
_heaplimit = 0;
#if 1
__libc_free(ptr);
#else
_free_internal(ptr);
#endif
_heaplimit = oldlimit;
result = __libc_malloc(size);
if (!result) {
/* Now we're really in trouble. We have to unfree
the thing we just freed. Unfortunately it might
have been coalesced with its neighbors. */
if (_heapindex == block)
__libc_malloc(blocks * BLOCKSIZE);
else {
previous = malloc((block - _heapindex) * BLOCKSIZE);
__libc_malloc(blocks * BLOCKSIZE);
#if 1
__libc_free(previous);
#else
_free_internal(previous);
#endif
}
return NULL;
}
if (ptr != result)
memmove(result, ptr, blocks * BLOCKSIZE);
return result;
}
break;
default:
/* Old size is a fragment; type is logarithm to base two of
the fragment size. */
if ((size > 1 << (type - 1)) && (size <= 1 << type))
/* New size is the same kind of fragment. */
return ptr;
else {
/* New size is different; allocate a new space, and copy
the lesser of the new size and the old. */
result = __libc_malloc(size);
if (!result)
return NULL;
memcpy(result, ptr, MIN(size, 1 << type));
__libc_free(ptr);
return result;
}
break;
}
} 上面函数流程图如下：
注意事项：
1. ptr必须为NULL，或者为malloc，realloc或者calloc的返回值，否则发生realloc invalid pointer错误；
2. new_size如果小于old_size，只有new_size大小的数据会被保存，可能会发生数据丢失，慎重使用；
3. 如果new_size大于old_size，可能会分配一块新的内存，这时候ptr指向的内存会被释放，ptr成为野指针，再访问的时候会发生错误；
4. 最后不要将返回结果再赋值给ptr，即ptr=realloc(ptr,new_size)是不建议使用的，因为如果内存分配失败，ptr会变为NULL，如果之前没有将ptr所在地址赋给其他值的话，会发生无法访问旧内存空间的情况，所以建议使用temp=realloc(ptr,new_size)。