如果找工作的同学看一些面试的书，我相信都会遇到这样的题：sizeof 不是函数，然后举出一堆的理由来证明 sizeof 不是函数。在这里，和 sizeof 类似，new 和 delete 也不是函数，它们都是 C++ 定义的关键字，通过特定的语法可以组成表达式。和 sizeof 不同的是，sizeof 在编译时候就可以确定其返回值，new 和 delete 背后的机制则比较复杂。
继续往下之前，请你想想你认为 new 应该要做些什么？也许你第一反应是，new 不就和 C 语言中的 malloc 函数一样嘛，就用来动态申请空间的。你答对了一半，看看下面语句：
string *ps = new string("hello world");
你就可以看出 new 和 malloc 还是有点不同的，malloc 申请完空间之后不会对内存进行必要的初始化，而 new 可以。所以 new expression 背后要做的事情不是你想象的那么简单。在我用实例来解释 new 背后的机制之前，你需要知道 operator new 和 operator delete 是什么玩意。
operator new 和 operator delete
这两个其实是 C++ 语言标准库的库函数，原型分别如下：
void *operator new(size_t); //allocate an object
void *operator delete(void *); //free an object void *operator new[](size_t); //allocate an array
void *operator delete[](void *); //free an array
后面两个你可以先不看，后面再介绍。前面两个均是 C++ 标准库函数，你可能会觉得这是函数吗？请不要怀疑，这就是函数！C++ Primer 一书上说这不是重载 new 和 delete 表达式（如 operator= 就是重载 = 操 作符），因为 new 和 delete 是不允许重载的。但我还没搞清楚为什么要用 operator new 和 operator delete 来命名，比较费解。我们只要知道它们的意思就可以了，这两个函数和 C 语言中的 malloc 和 free 函数有点像了，都是用来申请和释放内存的，并且 operator new 申请内存之后不对内存进行初始化，直接返回申请内存的指针。
我们可以直接在我们的程序中使用这几个函数。
new 和 delete 背后机制
知道上面两个函数之后，我们用一个实例来解释 new 和 delete 背后的机制：
当使用关键字new在堆上动态创建一个对象时，它实际上做了三件事：
① 获得一块内存空间
② 调用类构造函数
③ 返回指向地址的正确指针
如果创建的是简单类型的变量，第二步就不执行了。下面我们看一段代码：
1 #include <iostream>
2 using namespace std;
3
4 class A {
5 int m_value;
6 public:
7 A(int value) :m_value(value * value){}
8 void Func(){
9 printf("m_value=%d\n", m_value);
10 }
11 };
12
13 int main()
14 {
15 A *aPtr = new A(1);
16 delete *aPtr;
17 system("pause");
18 return 0;
19 }
在调用 “A *a = new A(1);” 时，其过程大致如下：
1 A *aPtr = (A*)malloc(sizeof(A)); // 分配内存区域
2 aPtr->A::A(1); // 调用对象构造函数
3 return aPtr; // 返回内存地址指针
上面三句话表面上看起来是得到了aPtr这个指向内存的指针。但是它与new自身的区别在于，当malloc失败的时候，上面的代码不会调用分配内存失败处理程序new_handler。而使用new的话就会。因此，我们要尽可能的使用new，避免一些不必要的麻烦。
简单总结一下：
- 首先需要调用上面提到的 operator new 标准库函数，传入的参数为 class A 的大小，这里为 8 个字节，至于为什么是 8 个字节，你可以看看《深入 C++ 对象模型》一书，这里不做多解释。这样函数返回的是分配内存的起始地址，这里假设是 0x007da290。
- 上面分配的内存是未初始化的，也是未类型化的，第二步就在这一块原始的内存上对类对象进行初始化，调用的是相应的构造函数，这里是调用
A:A(10);这个函数，从图中也可以看到对这块申请的内存进行了初始化，var=10, file 指向打开的文件。 - 最后一步就是返回新分配并构造好的对象的指针，这里 pA 就指向 0x007da290 这块内存，pA 的类型为类 A 对象的指针。
下面的代码是微软对new的实现：
1 void *__CRTDECL operator new(size_t size) _THROW1(_STD bad_alloc)
2 { // try to allocate size bytes
3 void *p;
4 while ((p = malloc(size)) == 0)
5 if (_callnewh(size) == 0)
6 { // report no memory
7 static const std::bad_alloc nomem;
8 _RAISE(nomem);
9 }
10
11 return (p);
12 }
可以看到，它也是调用了malloc函数，但是还有一些其他的处理，这就是new比malloc稍微复杂，安全的原因。
※：不同编译器的实现也是不同的，这里只是分析了微软对new的实现，至于g++及其他的实现，还未及分析。
好了，那么 delete 都干了什么呢？还是接着上面的例子，如果这时想释放掉申请的类的对象怎么办？当然我们可以使用下面的语句来完成：
delete pA;
delete 就做了两件事情：
- 调用 pA 指向对象的析构函数，对打开的文件进行关闭。
- 通过上面提到的标准库函数 operator delete 来释放该对象的内存，传入函数的参数为 pA 的值，也就是 0x007d290。
好了，解释完了 new 和 delete 背后所做的事情了，是不是觉得也很简单？不就多了一个构造函数和析构函数的调用嘛。
如何申请和释放一个数组？
我们经常要用到动态分配一个数组，也许是这样的：
string *psa = new string[10]; //array of 10 empty strings
int *pia = new int[10]; //array of 10 uninitialized ints
上面在申请一个数组时都用到了 new [] 这个表达式来完成，按照我们上面讲到的 new 和 delete 知识，第一个数组是 string 类型，分配了保存对象的内存空间之后，将调用 string 类型的默认构造函数依次初始化数组中每个元素；第二个是申请具有内置类型的数组，分配了存储 10 个 int 对象的内存空间，但并没有初始化。
如果我们想释放空间了，可以用下面两条语句：
delete [] psa;
delete [] pia;
都用到 delete [] 表达式，注意这地方的 [] 一般情况下不能漏掉！我们也可以想象这两个语句分别干了什么：第一个对 10 个 string 对象分别调用析构函数，然后再释放掉为对象分配的所有内存空间；第二个因为是内置类型不存在析构函数，直接释放为 10 个 int 型分配的所有内存空间。
这里对于第一种情况就有一个问题了：我们如何知道 psa 指向对象的数组的大小？怎么知道调用几次析构函数？
这个问题直接导致我们需要在 new [] 一个对象数组时，需要保存数组的维度，C++ 的做法是在分配数组空间时多分配了 4 个字节的大小，专门保存数组的大小，在 delete [] 时就可以取出这个保存的数，就知道了需要调用析构函数多少次了。
还是用图来说明比较清楚，我们定义了一个类 A，但不具体描述类的内容，这个类中有显示的构造函数、析构函数等。那么 当我们调用
class A *pAa = new A[3];
时需要做的事情如下：
申请时在数组对象的上面还多分配了 4 个字节用来保存数组的大小，但是最终返回的是对象数组的指针，而不是所有分配空间的起始地址。
这样的话，释放就很简单了：
delete []pAa;
这里要注意的两点是：
- 调用析构函数的次数是从数组对象指针前面的 4 个字节中取出；
- 传入
operator delete[]函数的参数不是数组对象的指针 pAa，而是 pAa 的值减 4。
为什么 new/delete 、new []/delete[] 要配对使用？
其实说了这么多，还没到我写这篇文章的最原始意图。从上面解释的你应该懂了 new/delete、new[]/delete[] 的工作原理了，因为它们之间有差别，所以需要配对使用。但偏偏问题不是这么简单，这也是我遇到的问题，如下这段代码：
int *pia = new int[10];
delete []pia;
这肯定是没问题的，但如果把 delete []pia; 换成 delete pia; 的话，会出问题吗？
这就涉及到上面一节没提到的问题了。上面我提到了在 new [] 时多分配 4 个字节的缘由，因为析构时需要知道数组的大小，但如果不调用析构函数呢（如内置类型，这里的 int 数组）？我们在 new [] 时就没必要多分配那 4 个字节， delete [] 时直接到第二步释放为 int 数组分配的空间。如果这里使用 delete pia;那么将会调用 operator delete 函数，传入的参数是分配给数组的起始地址，所做的事情就是释放掉这块内存空间。不存在问题的。
这里说的使用 new [] 用 delete 来释放对象的提前是：对象的类型是内置类型或者是无自定义的析构函数的类类型！
我们看看如果是带有自定义析构函数的类类型，用 new [] 来创建类对象数组，而用 delete 来释放会发生什么？用上面的例子来说明：
class A *pAa = new class A[3];
delete pAa;
那么 delete pAa; 做了两件事：
- 调用一次 pAa 指向的对象的析构函数；
- 调用
operator delete(pAa);释放内存。
显然，这里只对数组的第一个类对象调用了析构函数，后面的两个对象均没调用析构函数，如果类对象中申请了大量的内存需要在析构函数中释放，而你却在销毁数组对象时少调用了析构函数，这会造成内存泄漏。
上面的问题你如果说没关系的话，那么第二点就是致命的了！直接释放 pAa 指向的内存空间，这个总是会造成严重的段错误，程序必然会奔溃！因为分配的空间的起始地址是 pAa 指向的地方减去 4 个字节的地方。你应该传入参数设为那个地址！
同理，你可以分析如果使用 new 来分配，用 delete [] 来释放会出现什么问题？是不是总会导致程序错误？
总的来说，记住一点即可：new/delete、new[]/delete[] 要配套使用总是没错的！
. new() 分配这种类型的一个大小的内存空间,并以括号中的值来初始化这个变量; . new[] 分配这种类型的n个大小的内存空间,并用默认构造函数来初始化这些变量; #include<iostream>
#include<cstring>
using namespace std;
int main()
{ //char* p=new char("Hello"); //error分配一个char(1字节)的空间, //用"Hello"来初始化,这明显不对 char* p=new char[]; //p="Hello"; //不能将字符串直接赋值给该字符指针p，原因是： //指针p指向的是字符串的第一个字符，只能用下面的 //strcpy strcpy(p,"Hello"); cout<<*p<<endl; //只是输出p指向的字符串的第一个字符！ cout<<p<<endl; //输出p指向的字符串！ delete[] p; return ;
} 输出结果：
H
Hello . 当使用new运算符定义一个多维数组变量或数组对象时，它产生一个指向数组第一个元素的指针，返回的类型保持了除最左边维数外的所有维数。例如： int *p1 = new int[]; 返回的是一个指向int的指针int* int (*p2)[] = new int[][]; new了一个二维数组, 去掉最左边那一维[], 剩下int[], 所以返回的是一个指向int[]这种一维数组的指针int (*)[]. int (*p3)[][] = new int[][][]; new了一个三维数组, 去掉最左边那一维[], 还有int[][], 所以返回的是一个指向二维数组int[][]这种类型的指针int (*)[][]. #include<iostream>
#include <typeinfo>
using namespace std;
int main()
{
int *a = new int[];
int *b = new int[];
int (*c)[] = new
int[][];
int (*d)[] = new int[][];
int (*e)[][] = new int[][][];
int (*f)[][] = new int[][][];
a[] = ;
b[] = ; //运行时错误,无分配的内存,b只起指针的作用,用来指向相应的数据
c[][] = ;
d[][] = ;//运行时错误,无分配的内存,d只起指针的作用,用来指向相应的数据
e[][][] = ;
f[][][] = ;//运行时错误,无分配的内存,f只起指针的作用,用来指向相应的数据
cout<<typeid(a).name()<<endl;
cout<<typeid(b).name()<<endl;
cout<<typeid(c).name()<<endl;
cout<<typeid(d).name()<<endl;
cout<<typeid(e).name()<<endl;
cout<<typeid(f).name()<<endl;
delete[] a; delete[] b; delete[] c;
delete[] d; delete[] e; delete[] f;
} 输出结果：
int *
int *
int (*)[]
int (*)[]
int (*)[][]
int (*)[][]
参考链接：http://blog.****.net/angelcm51/article/details/2634482
http://www.cnblogs.com/hazir/p/new_and_delete.html
随机推荐
-
【BZOJ2242】【SDoi2011】计算器 快速幂+EXGCD+BSGS
Description 你被要求设计一个计算器完成以下三项任务: 1.给定y,z,p,计算Y^Z Mod P 的值: 2.给定y,z,p,计算满足xy≡ Z ( mod P )的最小非负整数: 3.给 ...
-
python 的内嵌time模板翻译及说明［转］
一.简介 time模块提供各种操作时间的函数 说明:一般有两种表示时间的方式: 第一种是时间戳的方式(相对于1970.1.1 00:00:00以秒计算的偏移量),时间戳是惟一的 ...
-
BZOJ 2157 旅行
裸链剖. 这大概是我第一份两百行左右的代码吧. 然而我把题看错了233333333调了将近两天. #include<iostream> #include<cstdio> #in ...
-
搭建FTP+PAM+MySQL环境
搭建FTP+PAM+MySQL环境 1 搭建环境: CentOS6.5或CentOS6.7 [root@vhost3 ~]# uname -a Linux vhost3 -.el6.x86_64 # ...
-
AIX-df命令
df 命令显示文件系统的总空间和可用空间信息.FileSystem 参数指定文件系统驻留的设备的名称,文件系统的安装目录或文件系统的相对路径名.File 参数指定非安装点的文件或目录.如果指定 Fil ...
-
web 直播&;即时聊天------阿里云、融云
随着直播越来越火,所在公司也打算制作自己的直播,所以去了解了这方面,使用后发现还是有些问题需要记录的. 经过分析,制作直播应该是分为两块来做,即直播与实时评论.这里先去制作实时评论,等直播ok后,也会 ...
-
IDEA eclipse转maven
在pom.xml 文件上右键 Add as Maven Project
-
svg矢量图在flex布局中样式扭曲的问题
问题机型 小米5 华为nova 其他未知的可能机型 问题描述 利用flex 布局的一行中, 左一样式: -webkit-box-flex: 0; flex: 0 1 auto; 左二样式: -webk ...
-
常用js-API
jquery.base64.js //下面是64个基本的编码 var base64EncodeChars = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklm ...
-
windows MySQL5.7.9免安装版配置方法
1. 解压MySQL压缩包 将下载的MySQL压缩包解压到自定义目录下,我的解压目录是: "D:\Program Files\mysql-5.7.9-win32" ...