C++动态内存管理之深入探究new和delete

C++中程序存储空间除栈空间和静态区外,每个程序还拥有一个内存池,这部分内存被称为*空间(free store)或堆(heap)。程序用堆来存储动态分配的对象,即,那些程序运行时分配的对象。动态对象的生存期由程序来控制 ,当动态对象不再使用时,程序必须显式的销毁它们。

new和delete的使用

C++中通过一对运算符new和delete来完成动态内存分配。new,在动态内存中为对象分配空间并返回一个指向该对象的指针,我们可以选择对对象初始化;delete接受一个动态对象的指针,销毁对象,并释放对应内存。使用示例如下:

C++动态内存管理之深入探究new和delete

C++动态内存管理之深入探究new和delete
 1 void Test()
2 {
3 int *pi1 = new int;
4 //pi1指向一个动态分配的4个字节(int型)、未初始化的无名对象;*pi1的值未定义
5 int *pi2 = new int(2);
6 //pi2指向的对象的值是2,动态分配4个字节( 1个 int) 的空间并初始化为2
7 int *pi3 = new int[3]; //动态分配12个字节( 3个 int) 的空间
8 int *pi4 = new int(); //值初始化为0;*pi4为0
9
10 delete pi1;
11 delete pi2;
12 delete [] pi3;
13 delete pi4;
14 }
C++动态内存管理之深入探究new和delete

*空间分配的内存是无名的,new无法为其分配的对象命名,而是返回一个指向该对象的指针。默认情况下,动态分配的对象是默认初始化的,即内置类型或组合类型的对象的值是未定义的,类类型的对象将用默认构造函数进行初始化。
    new和delete、 new[] 和delete[] 一定匹配使用 , 一定匹配使用 , 一定匹配使用 ! ! ! 重要的事说三遍! 否则可能出现内存泄露甚至崩溃的问题。
深入探究new和delete、 new[] 和delete[]内部

通过下面这段代码我们来详细比较一下new和delete、 new[] 和delete[]内部实现

C++动态内存管理之深入探究new和delete
 1 class Array
2 {
3 public :
4 Array(size_t size = 10)//构造函数
5 : _size(size)
6 , _a(0)
7 {
8 cout << "Array(size_t size) " << endl;
9 if (_size > 0)
10 {
11 _a = new int[size];
12 }
13 }
14 ~Array() //析构函数
15 {
16 cout << "~Array() " << endl;
17 if (_a)
18 {
19 delete[] _a;
20 _a = 0;
21 _size = 0;
22 }
23 }
24 private:
25 int*_a;
26 size_t _size;
27 };
28 void Test()
29 {
30 Array* p1 = (Array*)malloc(sizeof(Array));
31 Array* p2 = new Array;
32 Array* p3 = new Array(20);
33 Array* p4 = new Array[10];
34 free(p1);
35 delete p2;
36 delete p3;
37 delete[] p4;
38 }
39 int main()
40 {
41 Test();
42 getchar();
43 return 0;
44 }
C++动态内存管理之深入探究new和delete

转到反汇编可以看到,在call指令处调用了operator new:

C++动态内存管理之深入探究new和delete

转到定义处可以看到operator new 的具体原型:

C++动态内存管理之深入探究new和delete

再按F10程序来到了析构函数

C++动态内存管理之深入探究new和delete

执行完之后,输出

C++动态内存管理之深入探究new和delete

此时new已经完成了申请空间的任务,然后调用构造函数创建对象。同样,detele的定义如下

C++动态内存管理之深入探究new和delete

delete先调用析构函数清除对象。然后调用operator detele释放空间。

Array* p4 = new Array[10];
delete[] p4;

执行这两条语句的时候实际上调用operator new[](10*sizeof(Array)+4)分配大小为10*sizeof(Array)+4空间,其中多的四个字节空间用于存放N(10)这个数字以便于delete中调用析构函数析构对象(调用析构函数的次数),空间申请好了之后调用构造函数创建对象。delete[] p4执行的时候首先取N(10)对象个数,然后调用析构函数析构对象,最后用operator delete[]函数释放空间。

总结:
1. operator new/operator delete operator new[] /operator delete[] 和 malloc/free用法一 样。
2. 他们只 负责分配空间/释放空间, 不会调用对象构造函数/析构函数来初始化/清理对象。
3. 实际operator new和operator delete只是malloc和free的一层封装。

【 new作用】 调用operator new分配空间。 调用构造函数初始化对象。

【 delete作用】 调用析构函数清理对象 调用operator delete释放空间

【 new[] 作用】 调用operator new分配空间。 调用N次构造函数分别初始化每个对象。

【 delete[] 作用】 调用N次析构函数清理对象。  调用operator delete释放空间。

上一篇:SSDTHook实例--编写稳定的Hook过滤函数


下一篇:Eclipse设置新建jsp文件默认模板