new

对new 实现机制的分析

// 平台：VC6.0
#include   <stdio.h>  
#include   <stdlib.h>
#include   <malloc.h>
#include   <assert.h>
//#include   "vclib.h"


double *Alloc_Double_Array(long length)
{
    double *array = NULL;
    
    if( NULL == (array = new double [length]) )
    {
        fprintf(stdout, "Merory Exhausted\n");
        return NULL;
    }
    //memset(array, 0, length*sizeof(double));
    return array;
}

template <typename T>
void Free_Array (T **array)
{    
    assert( array != NULL);
    printf("array=0x%p,*array=0x%p\n",array,*array);
    delete  *array;
     //delete  []array;
}

int main()  
{  
    double *p1 = Alloc_Double_Array(0x100);
    double *p2 = Alloc_Double_Array(0x100);
    printf("p1=0x%p,p2=0x%p\n",p1,p2);
    p1[0] = 1.3;
    p2[0] = 2.3;

    Free_Array(&p1);

    p1 = Alloc_Double_Array(0x100);
    //p1 = Alloc_Double_Array(0x100);
    p1[0] = 1.3; // 为什么不报错？
    p2[0] = 2.3;
    printf("p1=0x%p,p2=0x%p\n",p1,p2);

    Free_Array(&p2);
    p2 = Alloc_Double_Array(0x90);
    double *p3 = Alloc_Double_Array(0x10);
    p3 = Alloc_Double_Array(0x10);
    p3 = Alloc_Double_Array(0x10);
    p3 = Alloc_Double_Array(0x10);
    printf("p1=0x%p,p2=0x%p,p3=0x%p\n",p1,p2,p3);
    p3 = Alloc_Double_Array(0x10);
    printf("p1=0x%p,p2=0x%p,p3=0x%p\n",p1,p2,p3);

    return 0;
}
上述试验中  p3 的值没有出现 p2 + 0x90 = 0x00382868 + 0x90 = 0x003828f8  ,而是跳过了这个值，个人认为这说明new 在申请内存空间时，当没有找到一个空闲的内存空间刚好和期望的一致时，它将用一个比自己大的空间赋给这个指针，并且把多余的部分空间给丢弃调，而没有把这个大空间分割成两个小空间，重新把小空间连入链表供new查找

注意：不同的计算机，由于运行这个程序的时候，空闲的内存分布不一样，所以并不一定刚好能使用上述代码得到相同的现象。但是，只要适当增加 或者减少 p3 = Alloc_Double_Array(0x10);（也就是这个红色的p3 = Alloc_Double_Array(0x10);操作次数要结合实际情况适当调整 ） 操作，则一定也能复现这种现象。 

原文出处：http://bbs.bccn.net/thread-241787-1-1.html