C++内存管理

C++中程序内存区域分为：栈，堆，静态区(数据段)，常量区(代码段)，如下图所示：

1. 栈又叫堆栈，存储非静态局部变量，函数参数，返回值等等，栈是向下增长的。

2. 内存映射段是高效的 I / O映射方式，用于装载一个共享的动态内存库。用户可使用系统接口创建共享内存，做进程间通信。

3. 堆用于程序运行时动态内存分配，堆是向上增长的。

4. 数据段，存储全局数据和静态数据。

5. 代码段，存储可执行代码，只读常量。

1. new 和 delete

C语言中动态内存管理是用malloc, calloc, realloc, free。这些在C++中是可以继续使用的，但有些地方就无能为力了，比如自定义类型，因此C++提出了自己的内存管理方式——new 和 delete。

new 和 delete 对于自定义类型还会调用构造函数和析构函数。而malloc和free不会。 

new 和 malloc申请失败的机制也不同，malloc失败是返回空指针。

可以看到，堆上大概开了2G的空间就满了。

可以看到new失败后返回值是3，也没有打印x的值，这是因为new失败后是抛出异常。 

new失败后抛出异常，要捕获异常才会继续往下执行，不然就会一直停在那里。 

2. operator new 和 operator delete

new 和 delete 是用户进行动态内存申请和释放的操作符，operator new 和 operator delete 是系统提供的全局函数，new在底层调用operator new 全局函数来申请空间，delete在底层调用operator delete 全局函数来释放空间。

operator new实际上是通过malloc来申请空间，当malloc成功时直接返回；申请空间失败就尝试执行空间不足应对措施，如果用户提供该措施就继续申请，否则就抛异常，operator delete实际上是通过free来释放空间。operator new 和 operator delete 时间上是对malloc 和 free 的封装，是为了在失败时抛出异常，体现C++的异常机制。 

3. new 和 delete 的原理

3.1 内置类型

如果申请的是内置类型，new和malloc，delete和free基本类似，不同的地方在于： new / delete 申请和释放的是单个元素的空间，new[] / delete[] 申请释放的是连续的空间，而new在申请空间失败时会抛出异常，malloc会返回NULL.

3.2 自定义类型

new 的原理

1.调用operator new函数来申请空间。2. 在申请的空间上执行构造函数，完成对象的构造。

delete 的原理

1.在空间上执行析构函数，完成对象资源的清理工作。 2. 调用operator delete 函数释放对象空间

new T[n] 的原理

new[] 对应的函数是 operator new[].

1. 调用operator new[] 函数，在operator new[] 中实际调用 operator new 函数完成n个对象空间的申请。 2. 在申请的空间上执行n次构造函数。

注意：是一次operator new申请 n个对象空间，再n次构造函数。

delete[] 的原理

1. 在要释放的对象空间上执行n次析构函数，完成n 个对象中资源的清理。 2. 调用operator delete[] 释放空间，实际上在operator delete[] 中调用operator delete来释放空间。

注意：是n次析构函数，再一次operator delete释放空间。

注意：

 new T[n] 会多开 4个字节的空间，用来存储对象个数，就是n，因为delete[]  时是没有传n的，所以delete[] 要知道要调用几次析构函数，只需要指针往前偏移四个字节就可以得到了。

可以看到A类的大小是4个字节，可是再汇编中申请的空间确实 0x18 也就是十进制的24个字节。 

在内存窗口中可以看到，p指针前面四个字节存的就是5，也就是对象个数。所以确实会多开4个字节。

但是如果我们把 A类的析构函数删掉，就不会多开四个字节。 

这是因为不写析构函数，默认析构函数是什么也不做的，编译器就认为就不需要去调用析构函数，也就不需要去存对象个数，delete[] 直接释放空间就行了，不需要调用析构函数清理资源。 

4. 定位new

首先要知道，构造函数是不支持显式调用的，但析构函数支持显示调用。

会报错，不支持显式调用构造函数。operator new是可以直接用的，用法和malloc差不多。

如果想显示调用构造函数就要用到定位new了。

格式是：new (ptr) type 或者 new (ptr) type(initializer-list). ptr必须是指针，initialize-list是类型的初始化列表。

5. malloc free 和 new delete 的区别

malloc / free 和 new / delete 的共同点是：都是从堆上申请空间，并且需要用户手动释放。

不同点是：

1. malloc和free是函数, new和delete是操作符。
2. malloc申请的空间不会初始化，new可以初始化。
3. malloc申请空间时需要手动计算空间大小并传递， new只需在其后跟上空间的类型即可，如果是多个对象，[]中指定对象个数即可。
4. malloc的返回值void*，使用时必须要强转，new不需要。
5. malloc申请空间失败时返回NULL，因此使用时需要判空，new不需要，但是new需要捕获异常。
6. 申请自定义类型对象时，malloc/free只会开辟空间，不会调用构造函数和析构函数，而new会在申请空间后调用构造函数完成对象初始化。delete会在释放空间前调用析构函数完成空间中资源的清理。