new/delete与new[]/delete[]实现机制

new和delete是C++新引入的单目运算符,它们可以从堆上分配和删除存储块(堆在C++中也叫自由存储).用new运算符（不是函数）时要指明数据类型,以后new就分配一个足以放下指明类型对象的存储,并返回该存储块的首地址作为指向指定类型的指针.

1. new/new[]：完成两件事，先底层调用malloc分了配内存，然后创建一个对象（调用构造函数）。

2. delete/delete[]:也完成两件事，先调用析构函数（清理资源），然后底层调用free释放空间。

3. new在申请内存时会自动计算所需字节数，而malloc则需我们自己输入申请内存空间的字节数。

new/delete，new[]/delete[],malloc/free必须配对使用。

在此假设我们已经创建了一个data类，以下是new/delete，delete/delete[]底层实现机制。

常见的new与delete错误解析：

//data *p = newdata;

   //delete p;//标准用法，调用析构函数之后并释放了所申请的内存空间

   //free(p);//不提倡，虽然可以释放，但是没调用析构函数

   //delete[]p;错误，程序崩溃，因为delete释放空间是从new出来的空间真正起始地址处（new出来返回的指正变量p并不是在空间的真正起始处，而是在真正起始处偏移若干字节处）而释放时，在new出来的空间正真起始处开始释放，释放的空间超过了原来p所指向的地址处，所以程序会崩溃*/

   //data *p1 = newdata[2];

   //delete p1;//若显式给出了析构函数，则错误，创建了两个对象的存储空间，而只释放了一个，内存泄漏，若没有显式析构函数，则能编译通过（不提倡）

   //free(p1);//错误，程序直接崩溃，没掉析构函数，而且分配的内存与释放的内存不匹配

   //delete[]p1;//正确，必须配对使用假设

Sizeof（data/data[2]）:

假设data类对象大小为12字节，若显式定义了析构函数，则new data[2]大小为28字节，则会多申请4字节的空间保存deta类对象的个数（count=2），若没有显式定义析构函数，则new data[2]大小24字节。