本篇主要介绍一下C++的内存管理相关知识。C++的内存管理和C语言保持一致。
1.C/C++内存分布
一个程序的数据存储是需要分区的。常见的内存区域划分如下。
我们学C++主要了解栈,堆,数据段,代码段 。
我们先看下面代码和相关问题。
int globalvar = 1;static int staticglobalvar = 1;void Test(){static int staticvar = 1;int localvar = 1;int num1[10] = { 1,2,3,4 };char char2[] = "abcd";const char* pchar3 = "abcd";int* ptr1 = (int*)malloc(sizeof(int) * 4);int* ptr2 = (int*)calloc(4, sizeof(int));int* ptr3 = (int*)realloc(ptr2, sizeof(int) * 4);free(ptr1);free(ptr3);}
先说答案。
说几个比较容易混淆的,char2和pchar3
2.C语言中动态内存管理方式
C语言中内存管理的方式就是malloc/calloc/realloc/free。详细介绍在【C语言】动态内存管理:malloc、calloc、realloc、free-CSDN博客
3.C++内存管理方式
C语言内存管理方式在C++中可以继续用,但有些地方无能为力,而且用起来比较麻烦 ,因此C++又提出了自己的内存管理方式:通过new和delete操作符进行内存管理。
3.1 new/delete操作内置类型
直接看下面这个代码。
void Test(){//管理对象int* ptr4 = new int;int* ptr5 = new int(3);delete ptr4;delete ptr5;//管理对象数组int* ptr6 = new int[3];delete[] ptr6;}
C++的new和delete简化了C语言中malloc/calloc/realloc的使用,不用强转,不用求类型大小。
不用了就直接delete,有[]的就用delete[]。
C语言那一套不支持初始化,new出来的对象可以直接初始化。
//数组初始化int* ptr6 = new int[10] { 0 };int* ptr7 = new int[10] {1, 2, 3, 4, 5};
3.2 new/delete操作自定义类型
new和delete最主要的是为了让自定义类型用起来方便。拿下面这个A类举例。
class A{public:A(int a = 0) //构造:_i(a) { cout << "A(int a)" << endl; }A(const A& a) //拷贝构造{cout << "A(const A& a)" << endl;}~A() //析构{cout << "~A()" << endl;}private:int _i = 1;};
new一个A类的对象,会直接自动调用它的构造函数,delete时,会直接调用析构函数。
A* p1 = new A;A* p2 = new A(1);delete p1;delete p2;
如果我们想弄一个链表出来,也比在C语言里简单。
struct ListNode //链表的一个节点{int val;ListNode* next;ListNode(int x):val(x),next(nullptr){}};
ListNode* n1 = new ListNode(1); //直接对节点初始化好了ListNode* n2 = new ListNode(1); ListNode* n3 = new ListNode(1);ListNode* n4 = new ListNode(1);n1->next = n2;n2->next = n3;n3->next = n4;
接下来再看看new申请单个对象两个参数的,假如现在有两个参数,如下
class A{public:A(int a1 = 0, int a2 = 0) //构造:_i(a1),_b(a2){cout << "A(int a1 = 0, int a2 = 0)" << endl;}A(const A& a) //拷贝构造{cout << "A(const A& a)" << endl;}~A() //析构{cout << "~A()" << endl;}private:int _i = 1;int _b = 1;};
A* p1 = new A;A* p2 = new A(2, 2);A* p3 = new A[3]; //开数组
数组的话,多大就调用多少次 ,但是这是建立在有默认构造函数的基础上,如果没有默认构造函数,像下面这样。
A(int a1, int a2 = 0) //现在不是默认构造函数:_i(a1),_b(a2){cout << "A(int a1 = 0, int a2 = 0)" << endl;}
在没有默认构造函数的情况下,前面的p1和p3那种写法绝对不可以了。传一个参数和传两个都是可以的,像下面这样。
A* p1 = new A(1);A* p2 = new A(2, 2);
但是数组怎么初始化?
有下面几种方式。
第一种方法用有名对象。
A aa1(1, 1);A aa2(2, 2);A aa3(3, 3);A* p3 = new A[3]{ aa1, aa2, aa3 };
这里严格来说这里调用的就是拷贝构造了,而且这种方法很不方便。
第二种方法就是写匿名对象。
A* p4 = new A[3]{ A(1,1), A(2,2), A(3,3) };
这比有名对象简单一点,而且我们说过,匿名对象的构造加拷贝构造编译器会会优化为一个构造。
第三种写法如下。
A* p5 = new A[3]{ {1,1}, {2,2},{3,3} };
这是什么个写法?记不记得之前我们说过,单参数构造函数支持隐式类型转换,多参数也支持,就是用{}括起来。这里其实走的是类型转换。
多说一句,花括号{}括起来是初始化,如果用圆括号()括起来就是逗号表达式,如下
A* p5 = new A[3]{ (1,1), (2,2),(3,3) }; //逗号表达式A* p5 = new A[3]{ {1,1}, {2,2},{3,3} }; //初始化
逗号表达式的结果调试看一下就知道了。
4.operator new与operator delete函数
new和delete是用户进行动态申请和释放的操作符,operator new和operator delete是系统提供的全局函数,new在底层调用operator new全局函数来申请空间,delete在底层通过operator delete全局函数来释放空间。
全局函数的实现在这里就不展示了,可以自己去搜一下源代码。operator new实际上也是通过malloc来申请空间的,如果malloc申请空间成功就直接返回,否则执行用户提供的空间不足措施,如果用户提供该措施,就继续申请,否则就抛异常。operator delete最终是通过free来释放空间的。
5.new和delete的实现原理
5.1 内置类型
如果申请的是内置类型的空间,new和malloc,delete和free基本类似,不同的地方就是:new/delete申请和释放的是单个元素的空间,new[]和delete[]申请和释放的是连续的空间,而new在申请空间失败时会抛异常,malloc会返回NULL。
5.2 自定义类型
new的原理
1.调用operator new函数申请空间。
2.在申请的空间上执行构造函数,完成对象的构造(初始化)。
//比如这句代码,我们转到反汇编看一下底层A* p1 = new A(1);
可以看到调用的是operator new这个函数,接着调用了构造函数去初始化。
delete的原理
1.在空间上执行析构函数,完成对象中资源的清理工作。
2.调用operator delete函数释放对象的空间。
delete p1;
new T[N]的原理
1.调用operator new[]函数,在operator new[]中实际调用operator new函数完成N个对象空间的申请。
2.在申请的空间上执行N此构造函数。
A* p2 = new A[3];
然后就是调用多次构造函数,在这就不细看了。
delete[]的原理
1.在释放的对象空间上执行N次析构函数,完成N个对象中资源的清理。
2.调用operator delete[]释放空间,实际在operator new[]中调用operator delete来释放空间。
5.3 扩展学习
有析构函数的类,在new一个对象出来时,会在起始位置头部多开辟4个字节,来记录自己后面要开多少字节。没有析构函数的类,编译器会做优化,不在头部多开辟空间。
比如说下面这个B类,没有写析构函数,按照内存对齐规则,大小为8个字节。
class B{private:int _b1 = 1;int _b2 = 2;};
如果要new一个B类的数组出来,如下
B* pb = new B[10]; //数组元素个数为10
在内存中空间开辟如图
如果是有析构函数的类,比如说我们前面提到的A类,按照内存对齐,A类大小也是8个字节,A类开空间时就会多开4个字节。
A* pa = new A[10];
但是pa指向的位置不是从最前面指,而是跳过额外开辟的位置,指向用户所需大小的位置。
但是不是所有编译器都是这样,底层是很复杂的。
如果我们在释放空间的时候,像下面这样,pa就会出错,pb不会
delete pb; //正确写法是delete[] pbdelete pa; //正确写法是delete[] pa
所以要匹配使用,不要乱搞。
6.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在释放空间前会调用析构函数完成空间资源的清理释放。
本篇分享就到这里,拜拜~