c++动态内存管理

一、c/c++动态内存管理方式对比

1.c语言中动态内存管理

        我们知道，在c语言中，如果想要（在堆中）动态申请一块空间，需要用到这样几个函数：malloc 、calloc、realloc和free

        在c语言中，我们是这样开辟和释放一块空间的（关于calloc和realloc不再赘述）

        但是我们用多了会不会觉得c语言动态申请空间的方式比较繁琐，不仅需要计算开辟空间的大小，还需要判断返回值是否为nullptr？于是乎，c++为了简化我们的使用难度，创造了新的动态内存管理的方式——new和delete操作符（当然c++不是单纯的为了简化c的代码，还有对于自定义类型用c的动态内存管理的方式几乎不太可能，或者说是特别麻烦，这一点我们在后面会说到）

二、c++的内存管理方式

        c语言内存管理方式在c++中仍然可以使用，但是有些地方就无能为力，而且使用起来特别麻烦，因此c++就提出了自己的内存管理方式——new和delete操作符

2.1new和delete操作内置类型

        我们可以看到，使用new操作符后，我们不再需要把指针强转成 int* 类型，因为new操作符会帮我们完成这个动作，所以我们得到就直接是int*类型的返回值了。delete和free的用法类似，都能够释放动态开辟的空间。

        但是到这里，当然会有一个疑惑，那这样不就是把malloc和free换了一个名字吗？new和delete到底有什么意义呢？且看我们自定义类型的动态内存管理

2.2new和delete操作自定义类型

        我们先声明一个类A

接下来我们分别用malloc和new来实例化一个对象

（1）malloc实例化对象

（2）new实例化对象

经过观察可以看出来，当我们用c++的方式开辟空间的时候，如果是自定义类型，编译器会自动调用该类的构造函数，在用delete的时候也会调用其析构函数。

注意：在申请自定义类型的空间时，new会调用构造函数，delete会调用析构函数，而malloc与free不会。

        可能看起来暂时没有什么用，但不知道你是否记得我们在讲解构造函数和析构函数的时候曾经说到：内置类型的构造函数和析构函数并没有什么用，（因为在其声明周期结束后，函数的栈帧被销毁，对应的变量也就被销毁了），但如果在自定义类型中涉及到动态内存开辟的空间（堆中）如果没有构造函数和析构函数以及拷贝构造函数等等，就会造成浅拷贝（值拷贝）或者内存泄漏的问题。

        像这样，我们虽然开辟了一个Stack类型的大小的空间，但是这样开辟的空间只是徒有其表，因为他并没有调用构造函数，也就是说他仅仅只有一个表面的实例化对象，但是内部是空的，内部并没有真正的栈！（而且因为栈里面的数据都是私有的，也不太方便之后初始化，提供成员函数固然可以，但始终不是上策）

       再退一步讲，即使我们真的通过一些方法用malloc创建了一个栈，即我们既要在堆中申请该节点的空间，而该栈本身又要在堆中开辟空间，那么我们就要free两次：一次先释放栈节点存储的指针，一次释放该栈节点的指针。（如果遇到很复杂的类，我们几乎很难手动去管理其内存释放，开辟空间，初始化等问题）

        而如果用new和delete就没有该问题了，因为其会自动调用栈的构造函数和析构函数，我们仅仅需要手动写一次即可，他既能初始化还能自动释放空间，岂不美哉？

2.3new和delete的实现原理

（1）内置类型

        如果申请的是内置类型的空间，new和malloc，delete和free基本类似，但是也有不同的地方：new/delete申请和释放的是单个元素的空间，new[ ]和delete[ ]申请和释放的是连续空间，且new在申请失败的时候会抛异常，而malloc则是返回空指针。

（2）自定义类型

        new的原理：

        1.调用operator new函数申请空间（关于operator new我们在后面进行讲解）

        2.在申请空间的基础上调用构造函数，完成对象的构造

       

        delete的原理：

        1.在空间上执行析构函数，完成对象中资源的清理工作

        2.调用operator函数释放对象的空间（关于operator delete我们在后面进行讲解）

       

        new T[ ]的原理：

        1.调用operator new[ ]函数，而在operator new [ ]中实际调用operator new函数完成N个             对象空间的申请 

        2.在申请的空间上执行N此构造函数

        delete T[ ]的原理：

        1.在要释放空间的对象上执行N次析构函数，完成N个对象中资源的清理

        2.调用operator delete[ ]释放空间，实际在operator delete[ ]中调用operator delete来释             放空间。

2.4operator new和operator delete的本质

new和delete实际上是由两个部分组成：operator new+构造函数，operator delete+析构函数；而operator new和operator delete其实也是由两个部分组成的：malloc+抛异常，free+抛异常。我们来看看operator new和operator delete的汇编代码。

（1）operator new和malloc汇编代码的比较

在看汇编代码前，我们先看看operator new的使用方法，有没有发现他和malloc无论是使用方法还是结果竟然是一样的啊？这正说明了operator new是malloc的封装（包含了malloc和抛异常处理）

本着求根问底的精神，我们打开了二者的汇编代码

可以发现，operator new和malloc只有一个地方不同，（就是中间一行call那里），当我们进入operator new中，确实能够发现他就是malloc和抛异常的封装

（2）operator delete和free汇编代码的比较

当然delete和free也十分类似（不过因为编译器太过高级，我们不太方便看到真正的底层逻辑）

由此，我们便很清楚了：operator new和operator的本质就是把malloc/free以及抛异常封装到了一起，（至于为什么要这样封装，其实是给new和delete做铺垫）

（3）new和delete的本质（汇编层面）

new的本质

可以看到，在new的内部其实调用了构造函数Stack+operator new！

同理：delete也是调用了析构函数和operator delete！

通过上述两个全局函数的实现知道，operator new 实际也是通过malloc来申请空间，如果
malloc申请空间成功就直接返回，否则执行用户提供的空间不足应对措施，如果用户提供该措施就继续申请，否则就抛异常。operator delete 最终是通过free来释放空间的。

（4）new和delete的本质总结

        new实际上是operator new和构造函数的封装，delete是operator delete和析构函数的封装

        即：new=operator new+构造函数

               delete=operator delete+析构函数

        而   operator new=malloc+抛异常

               operator delete=free+抛异常

malloc/free和new/delete的区别

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

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

到这里，我们就对new和delete有了更加深刻的理解了

三、申请空间和释放空间需要匹配使用

我们在前面说到过：如果申请和释放没有匹配的话，则很有可能会程序崩溃

看，一旦我们这样写，就会让程序崩溃，这是为什么呢？

        其实new[ ]在开辟空间方面不完全等价于malloc，他还会再改空间前面多开辟4个字节用来存放个数，然后返回的是第一个真正存放数据的地址（也就是不包括前面4个字节）

然后由于动态申请的空间只能一次性开辟或者释放（不能从中间的某个节点释放），所以我们刚刚的操作实际上是在free中间地址，但忽略了其前面还应该有4个字节的空间，所以出现了程序崩溃。

    

所以我们在申请空间和释放空间的时候一定要匹配使用，不然哪一天出问题了都不方便查找定位。

四、定位new表达式

定位new表达式，是在已经分配空间的原始内存中调用构造函数初始化一个对象。

使用格式：new (place_address) type或者new (place_address) type(initializer-list)
                  place_address必须是一个指针，initializer-list是类型的初始化列表

使用场景

        定位new表达式一般是配合内存池使用，因为内存池分配的空间并没有进行初始化，所以如果是自定义类型的对象，需要使用new的定位表达式进行调用显示构造函数的初始化

像这样，p1只是开辟了一块A类大小的空间，但是并没有初始化，于是我们用new定位表达式调用显示构造函数，来给p1初始化，让p1真正的成为一个A类的实例化对象

当然关于内存池的知识，我们尚且不了解，所以在这里也仅仅只是提一句定位new表达式，关于其详细的用法，我们会在后期的文章中讲解

五、内存泄漏

（1）什么是内存泄漏

        内存泄漏指因为疏忽或错误造成程序未能释放已经不再使用的内存的情况。内存泄漏并不是指内存在物理上的消失，而是应用程序分配某段内存后，因为设计错误，失去了对该段内存的控制，因而造成了内存的浪费。
        内存泄漏的危害：长期运行的程序出现内存泄漏，影响很大，如操作系统、后台服务等等，出现内存泄漏会导致响应越来越慢，最终卡死。

（2）内存泄漏分类

C/C++程序中一般我们关心两种方面的内存泄漏：
       1. 堆内存泄漏(Heap leak)
        堆内存指的是程序执行中依据须要分配通过malloc / calloc / realloc / new等从堆中分配的一
块内存，用完后必须通过调用相应的 free或者delete 删掉。假设程序的设计错误导致这部分
内存没有被释放，那么以后这部分空间将无法再被使用，就会产生Heap Leak。
        2.系统资源泄漏
        指程序使用系统分配的资源，比方套接字、文件描述符、管道等没有使用对应的函数释放
掉，导致系统资源的浪费，严重可导致系统效能减少，系统执行不稳定。

（3）如何避免内存泄漏

1. 工程前期良好的设计规范，养成良好的编码规范，申请的内存空间记着匹配的去释放。ps：
这个理想状态。但是如果碰上异常时，就算注意释放了，还是可能会出问题。需要下一条智
能指针来管理才有保证。
2. 采用RAII思想或者智能指针来管理资源。
3. 有些公司内部规范使用内部实现的私有内存管理库。这套库自带内存泄漏检测的功能选项。
4. 出问题了使用内存泄漏工具检测。ps：不过很多工具都不够靠谱，或者收费昂贵。

总结一下:
        内存泄漏非常常见，解决方案分为两种：1、事前预防型。如智能指针等。2、事后查错型。如泄漏检测工具。