只要曾经年少, 每个人都会在心底深处为逝去的青春留一点柔软.
目录
编程语言 | C++ | 第4章 | 内存管理 && 智能指针
4.1 C/C++内存分布
4.1.1 内核空间(高地址)
- 用户代码不能读写。
4.1.2 栈区(向下增长)
- 1.在执行函数时,函数内局部变量的存储单元都可以在栈上创建,函数执行结束这些存储单元自动被释放;
- 2.在Windows下,由编译器决定栈的大小(一般1M/2M),如果申请的空间超过栈的剩余空间时,将提示overflow,因此能从栈获得的空间较小,但其速率比堆快;
- 3.栈内存分配运算内置于处理器的指令集中,效率很高,但是分配的内存容量有限;
- 4.栈区主要存放运行函数而分配的局部变量,函数参数,返回数据,返回地址等。
4.1.3 内存映射段
- 文件映射,动态库,匿名映射;是高效的I/O映射方式,用于装载一个共享的动态内存库,用户可使用系统接口创建共享共享内存,做进程间通信。
4.1.4 堆区(向上增长)
- 1.动态开辟内存,malloc,calloc,realloc,free;
- 2.堆的大小受限于计算机系统中有效的虚拟内存,堆获得的内存空间比较灵活,也比较大;一般由程序员分配释放,若程序员不释放,程序结束时可能由OS回收,分配方式类似于链表。
4.1.5 全局区(数据段,静态区)
- 存放全局变量,静态数据,程序结束后由系统释放。
4.1.6 程序代码区(代码段)
- 存放函数体(类成员函数和全局函数)的二进制代码;可执行的代码/只读常量。
4.2 C 语言中动态内存管理方式
4.2.1 malloc/calloc/realloc/free
4.3 C++ 动态内存管理方式
- 在C语言中是利用库函数malloc和free来分配和撤销内存空间的,C++提供了较简便而功能较强的运算符new和delete来取代malloc和free函数。
4.3.1 new/delete 操作内置类型
代码示意
void Test()
{
// 动态申请一个int类型的空间
int* ptr4 = new int;
// 动态申请一个int类型的空间并初始化为10
int* ptr5 = new int(10);
// 动态申请10个int类型的空间
int* ptr6 = new int[10];
delete ptr4;
delete ptr5;
delete[] ptr6;
}
- 注意:申请和释放单个元素的空间,使用 new 和 delete 操作符,申请和释放连续的空间使用 new[] 和 delete[]。
4.3.2 new/delete 操作自定义类型
代码示意
class Date
{
public:
Date(int year = 1900, int month = 1, int day = 1)
:_year(year)
, _month(month)
, _day(day)
{
cout << "Date(int,int,int)" << endl;
}
Date(const Date& d)
:_year(d._year)
, _month(d._month)
, _day(d._day)
{
cout << "Date(const Date&)" << endl;
}
~Date()
{
cout << "~Date()" << endl;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
// 在C++中使用malloc申请内置类型空间
Date* p_d1 = (Date*)malloc(sizeof(Date));
free(p_d1);
// new类型
Date* p_d2 = new Date; // call Date(int,int,int)
delete p_d2; // call ~Date()
int a[10];
Date* p_d3 = new Date[10]; // call Date(int,int,int) 10次
delete[] p_d3; // call ~Date() 10次
int* p1 = new int;
// 动态申请一个int类型的空间并初始化为10
int* p2 = new int(10);
// 动态申请10个int类型的空间
int* p3 = new int[10]; //call operatpr new[]
//call operatpr new[]
int* p4 = new int[10]{0, 1, 2, 3, 4, 5, 6, 7, 8, 9};
delete p1;
delete p2;
delete[] p3; // call operator delete[]
delete[] p4; // call operator delete[]
system("pause");
return 0;
}
- 注意:在申请自定义类型的空间时,new 会调用构造函数,delete 会调用析构函数,而 malloc 和 free 不会。
4.3.3 operator new 与 operator delete 函数
- new和delete是用户进行动态内存申请和释放的操作符,operator new 和operator delete是系统提供的全局函数,new在底层调用operator new全局函数来申请空间,delete在底层通过operator delete全局函数来释放空间。
- operator new 实际也是通过malloc函数来申请空间,如果malloc申请空间成功就直接返回,否则执行用户提供的空间不足应对措施,如果用户提供该措施就继续请,否则就抛异常。operator delete 最终是通过 free 函数来释放空间。
4.4 new 和 delete 的实现原理
4.4.1 内置类型
- 如果申请的是内置类型的空间,new和malloc,delete和free基本类似,不同的地方在于:new/delete申请和释放的是单个元素的空间,new[]和delete[]申请的是连续空间,而且new在申请空间失败时抛异常,malloc会返回NULL。
- 注意:申请和释放单个元素的空间,使用new和delete操作符,申请和释放连续的空间,使用new[]和delete[]。
4.4.2 自定义类型
new的原理
- 1.调用operator new函数申请空间
- 2.在申请的空间上执行构造函数,完成对象的构造。
delete的原理
- 1.在空间上执行析构函数,完成对象中资源的清理工作;
- 2.调用operator delete函数释放对象的空间。
new T[N]的原理
- 1.调用operator new函数,在operator new[]中实际调用operator new函数完成N个对象空间的申请;
- 2.在申请的空间上执行N次构造函数。
delete[]的原理
- 1.在释放的对象空间上执行N次析构函数,完成N个对象中资源的清理;
- 2.调用operator delete[]释放空间,实际在operator delete[]中调用operator delete来释放空间。
注意:在申请自定义类型的空间时,new会调用构造函数,delete会调用析构函数,而malloc与free不会。
4.5 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在释放空间前会调用析构函数完成空间中资源的清理。
4.6 定位new表达式(placement-new)
4.6.1 定义
- 定位new表达式是在已分配的原始内存空间中调用构造函数初始化一个对象。
4.6.2 使用格式
- new(place_address)type或者new(place_address)type(initializer-list),place_address必须是一个指针,initializer是类型的初始化列表。
4.6.3 使用场景
- 定位new表达式在实际中一般是配合内存池使用,因为内存池分配出的内存没有初始化,所以如果是自定义类型的对象,需要使用new的定义表达式进行显示调构造函数进行初始化。
4.7 内存泄漏
4.7.1 定义
- 内存泄漏指因为疏忽或错误造成程序未能释放已经不再使用的内存的情况。内存泄漏并不是指内存在物理上 的消失,而是应用程序分配某段内存后,因为设计错误,失去了对该段内存的控制,因而造成了内存的浪费。
4.7.2 内存泄漏危害
- 长期运行的程序出现内存泄漏,影响很大,如操作系统,后台服务等等,出现内存泄漏会导致反应越来越慢,最终卡死。
4.7.3 内存泄漏分类
堆内存泄漏(Heap leak)
- 堆内存指的是程序执行中依据须要分配通过malloc / calloc / realloc / new等从堆中分配的一块内存, 用完后必须通过调用相应的 free或者delete 删掉。假设程序的设计错误导致这部分内存没有被释放,那 么以后这部分空间将无法再被使用,就会产生Heap Leak。
系统资源泄漏
- 指程序使用系统分配的资源,比方套接字、文件描述符、管道等没有使用对应的函数释放掉,导致系统 资源的浪费,严重可导致系统效能减少,系统执行不稳定。
4.7.4 如何检测
linux下内存泄漏检测
(1)valgrind
- 一个强大开源的程序检测工具
(2)mtrace
- GNU扩展, 用来跟踪malloc, mtrace为内存分配函数(malloc, realloc, memalign, free)安装hook函数
(3)dmalloc
- 用于检查C/C++内存泄露(leak)的工具,即检查是否存在直到程序运行结束还没有释放的内存,以一个运行库的方式发布
(4)Linux内核的Kmemleak
windows下使用第三方工具
(1)VS编程内存泄漏:VLD(Visual LeakDetector)内存泄露库
4.7.5 如何避免
(1)事前预防型,如智能指针等等;
-
- 工程前期良好的设计规范,养成良好的编码规范,申请的内存空间记着匹配的去释放。ps:这个理想状态。但是如果碰上异常时,就算注意释放了,还是可能会出问题。需要下一条智能指针来管理才有保证。
-
- 采用RAII思想或者智能指针来管理资源。
-
- 有些公司内部规范使用内部实现的私有内存管理库。这套库自带内存泄漏检测的功能选项。
-
- 出问题了使用内存泄漏工具检测。ps:不过很多工具都不够靠谱,或者收费昂贵。
4.7.6 解决方案
- 事前预防型,如智能指针等等;
- 事后查错型,如泄漏检测工具。
4.8 智能指针
4.8.1 智能指针的定义
- 在 C++ 中,动态内存的管理是通过一对运算符来完成的:new,在动态内存中为对象分配空间并返回一个指向该对象的指针,我们可以选择对对象进行初始化;delete,接受一个动态对象的指针,销毁该对象,并释放与之关联的内存。
- 所谓的智能指针本质上是一个类模板,它可以创建任意类型的指针对象,当智能指针对象使用完全后,对象就会自动调用析构函数去释放该指针所指向的空间。