【后端面试重点总结】C++篇（三）

Debtor

已于 2024-04-25 10:53:55 修改

阅读量846

点赞数 22

分类专栏： C++ 文章标签： c++

于 2024-04-24 16:12:35 首次发布

本文链接：https://blog.csdn.net/Debtor/article/details/138154711

版权

C++ 专栏收录该内容

3 篇文章 0 订阅

订阅专栏

一、内存泄漏原因、解决方法

①内存泄漏：程序代码中动态申请堆上的内存，在使用后没有被释放，进而造成内存的浪费。

②原因：1）malloc/new申请的内存没有主动释放：使用 malloc 申请的内存要主动调用 free，new 申请的内存要主动调用 delete，否则就会导致内存泄漏。

2）malloc/free以及new/delete必须是各自成对出现，如果混用，就会导致意想不到的情况出现。

3）使用 new 申请的数组，释放的时候要用 delete[] 删除，如果错误地使用 delete 删除，就会造成内存泄漏。

4）基类的析构函数没有定义为虚函数：当基类指针指向子类对象时，如果基类的析构函数不是virtual，那么子类的析构函数将不会被调用，子类的资源没有正确是释放，因此造成内存泄露。

③解决：1）RAII：对象的初始化实现资源获取，通过对象的销毁实现资源的释放

2）智能指针：shared_ptr允许多个指针指向同一个对象，内部通过引用计数知道对象被几个指针引用，当引用为0的时候就是该对象将被释放的时候。unique_ptr 则“独占”所指向的对象，它不能被赋值，通过 std::move() 将引用转移到另一个 unique_ptr。标准库还定义了一种名为weak_ptr的伴随类，它是一种弱引用，作为观察者指向 shared_ptr 所管理的对象，不会改变对象的引用计数。

二、linux下malloc分配内存底层原理

（参考Linux内核malloc()背后的实现原理——内存池-CSDN博客）

在程序运行过程中，堆内存从低地址向高地址连续分配，随着内存的释放，会出现不连续的空闲区域。

带阴影的方框是已被分配的内存，白色方框是空闲内存或已被释放的内存。程序需要内存时，malloc() 首先遍历空闲区域，看是否有大小合适的内存块，如果有，就分配，如果没有，就向操作系统申请（发生系统调用）。为了保证分配给程序的内存的连续性，malloc() 只会在一个空闲区域中分配，而不能将多个空闲区域联合起来。

内存块（包括已分配和空闲的）的结构类似于链表，它们之间通过指针连接在一起。

next 是指针，指向下一个内存块，used 用来表示当前内存块是否已被使用。

这样，整个堆区就会形成如下图所示的链表：

现在假设需要为程序分配100个字节的内存，当搜索到图中第一个空闲区域（大小为200个字节）时，发现满足条件，那么就在这里分配。这时候 malloc() 会把第一个空闲区域拆分成两部分，一部分交给程序使用，剩下的部分任然空闲，如下图所示：

仍然以图3为例，当程序释放掉第三个内存块时，就会形成新的空闲区域，free() 会将第二、三、四个连续的空闲区域合并为一个，如下图所示：

可以看到，malloc() 和 free() 所做的工作主要是对已有内存块的分拆和合并，并没有频繁地向操作系统申请内存，这大大提高了内存分配的效率。另外，由于单向链表只能向一个方向搜索，在合并或拆分内存块时不方便，所以大部分 malloc() 实现都会在内存块中增加一个 pre 指针指向上一个内存块，构成双向链表，如下图所示：