关于realloc的调整内存方式

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 <limits.h>
#include <stddef.h>
#include <stdlib.h>
#include <string.h>
#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;
    }
}

上面函数流程图如下:

realloc 函数流程图

注意事项:
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)。
流程图及注意事项来源于:http://www.cnblogs.com/ladd/archive/2012/06/30/2571420.html



posted @ 2013-03-18 19:40  夏至冬末  阅读(495)  评论(0编辑  收藏  举报