C++内存管理
C++的内存分配方式
c++内存分配分为堆区，栈区，自由存储区（代码区），全局区（静态区），常量区5部分
堆：堆是操作系统中的术语，是操作系统所维护的一块特殊内存，用于程序的内存动态分配，C语言使用malloc从堆上分配内存，使用free释放已分配的对应内存。
栈：在执行函数时，函数内局部变量的存储单元都可以在栈上创建，函数执行结束时这些存储单元自动被释放。栈内存分配运算内置于处理器的指令集中，效率很高，但是分配的内存容量有限，一般以为MB为单位，一般是1MB。
自由存储区：自由存储区是C++基于new操作符的一个抽象概念，凡是通过new操作符进行内存申请，该内存即为自由存储区，一般自由存储区指向堆区，但可以修改自由存储区指向。
全局/静态存储区：这块内存是在程序编译的时候就已经分配好的，在程序整个运行期间都存在。例如全局变量，静态变量。
常量存储区：这是一块比较特殊的存储区，他们里面存放的是常量(const)，不允许修改。
New/delete 和malloc/free 的区别
|
特征 |
new/delete |
malloc/free |
|
操作对象 |
运算符 |
标准库函数 |
|
分配内存的位置 |
自由存储区 |
堆 |
|
内存分配成功的返回值 |
完整类型指针 |
void* |
|
内存分配失败的返回值 |
默认抛出异常 |
返回NULL |
|
分配内存的大小 |
由编译器根据类型计算得出 |
必须显式指定字节数 |
|
处理数组 |
有处理数组的new版本new[] |
需要用户计算数组的大小后进行内存分配 |
|
已分配内存的扩充 |
无法直观地处理 |
使用realloc简单完成 |
|
是否相互调用 |
可以，看具体的operator new/delete实现 |
不可调用new |
|
分配内存时内存不足 |
客户能够指定处理函数或重新制定分配器 |
无法通过用户代码进行处理 |
|
函数重载 |
允许 |
不允许 |
|
构造函数与析构函数 |
调用 |
不调用
|
堆区和自由存储区的区别
从技术上来说，堆（heap）是C语言和操作系统的术语。堆是操作系统所维护的一块特殊内存，它提供了动态分配的功能，当运行程序调用malloc()时就会从中分配，稍后调用free可把内存交还。而自由存储是C++中通过new和delete动态分配和释放对象的抽象概念，通过new来申请的内存区域可称为自由存储区。基本上，所有的C++编译器默认使用堆来实现自由存储，也即是缺省的全局运算符new和delete也许会按照malloc和free的方式来被实现，这时藉由new运算符分配的对象，说它在堆上也对，说它在自由存储区上也正确。但程序员也可以通过重载操作符，改用其他内存来实现自由存储，例如全局变量做的对象池，这时自由存储区就区别于堆了。我们所需要记住的就是：
- 堆是C语言和操作系统的术语、是操作系统维护的一块内存，而自由存储是C++中通过new与delete动态分配和释放对象的抽象概念。堆与自由存储区并不等价。
- new所申请的内存区域在C++中称为自由存储区。藉由堆实现的自由存储，可以说new所申请的内存区域在堆上。
堆和栈的区别
- 生长方式：堆的生长方向是向上的，也就是向着内存地址增加的方向；而对于栈，其的生长放下是向下的，向着内存地址减小的方向生长。
- 管理方式：对于栈来讲，是由编译器自动管理，无需我们手工控制；对于堆来说，释放工作由程序员控制，容易产生memory leak。
- 空间大小：一般来讲在32位系统下，堆内存可以达到4G的空间，从这个角度来看堆内存几乎是没有什么限制的。但是对于栈来讲，一般都是有一定的空间大小的，默认的栈空间大小是1M（VS2017 项目-属性-链接器-系统可以修改）。
- 碎片问题：对于堆来讲，频繁的malloc/free势必会造成内存空间的不连续，从而造成大量的碎片，使程序效率降低。栈是先进后出的队列，以至于永远都不可能有一个内存块从栈中间弹出。
- 分配方式：堆都是动态分配的，没有静态分配的堆。栈有2种分配方式：静态分配和动态分配。静态分配是编译器完成的，比如局部变量的分配。动态分配由alloca函数进行分配，但是栈的动态分配和堆是不同的，他的动态分配是由编译器进行释放，无需我们手工实现。
- 分配效率：栈是机器系统提供的数据结构，计算机会在底层对栈提供支持：分配专门的寄存器存放栈的地址，压栈出栈都有专门的指令执行，这就决定了栈的效率比较高。堆则是C/C++函数库提供的，它的机制是很复杂的，例如为了分配一块内存，库函数会按照一定的算法在堆内存中搜索可用的足够大小的空间，如果没有足够大小的空间（可能是由于内存碎片太多），就有可能调用系统功能去增加程序数据段的内存空间，这样就有机会分到足够大小的内存，然后进行返回。显然，堆的效率比栈要低得多。
内存泄露
总结： 一是在堆里创建了对象占用了内存，但是没有显式地释放对象占用的内存；二是在类的构造函数中动态的分配了内存，但是在析构函数中没有释放内存或者没有正确的释放内存；
a. 在释放对象数组时在delete中没有使用方括号；
b. 对象数组是指：数组中存放的是对象，只需要delete []p，即可调用对象数组中的每个对象的析构函数释放空间；
c. 指向对象的指针数组是指：数组中存放的是指向对象的指针，不仅要释放每个对象的空间，还要释放每个指针的空间，delete []p只是释放了每个指针，但是并没有释放对象的空间，正确的做法，是通过一个循环，将每个对象释放了，然后再把指针释放了；
d. 没有将基类的析构函数定义为虚函数。基类指针指向子类对象时，如果基类的析构函数不是virtual，那么子类的析构函数将不会被调用，子类的资源没有正确是释放，因此造成内存泄露；
内存溢出
内存溢出是指程序在申请内存时没有足够的内存空间供其使用。原因可能如下：
a. 内存中加载的数据过于庞大；
b. 代码中存在死循环；
c. 递归调用太深，导致堆栈溢出等；
d. 内存泄漏最终导致内存溢出；
参考链接
【1】https://blog.csdn.net/caogenwangbaoqiang/article/details/79788368
【2】https://www.cnblogs.com/BEN-LK/p/10720265.html
【3】https://www.cnblogs.com/learning-zjx/p/10645659.html
【4】https://www.jianshu.com/p/19771f5a89ea
