【C++】内存管理

个人主页<—请点击
C++专栏<—请点击

一、C/C++内存分布

• 栈又叫堆栈–储存非静态局部变量/函数参数/返回值等等，栈是向下增长的。
• 内存映射段是高效的I/O映射方式，用于装载一个共享的动态内存库。用户可使用系统接口创建共享共享内存，做进程间通信。
• 堆用于储存程序运行时动态内存分配，堆是可以向上增长的。
• 数据段 – 存储全局数据和静态数据。
• 代码段–储存可执行的代码/只读常量。

二、C++内存管理方式

我们知道C语言中的动态内存管理方式是malloc、calloc、realloc、free，这些在讲之前博客中讲C语言时都讲解过，各位如果感兴趣，可以点击查看—》【C语言】动态内存管理，C语言内存管理方式在C++中可以继续使用，但有些地方就无能为力，而且使用起来比较麻烦，因此C++又提出了自己的内存管理方式：通过new和delete操作符进行动态内存管理。

1、new和delete操作内置类型

动态申请一个int类型的空间并且执行销毁操作:

int* p1 = new int;
delete p1;

动态申请一个int类型的空间初始化为10，并且执行销毁操作:

int* p2 = new int(10);
delete p2;

从上图看出的确创建并初始化为10了。

从上图看出，的确销毁了。

动态申请10个int类型的空间，并执行销毁操作:

int* p3 = new int[10];
delete[] p3;

上面两图分别是动态开辟空间和销毁空间。

进行动态内存开辟并初始化传参：

int* p4 = new int[10] {1, 2, 3, 4, 5};
delete[] p4;

注意：申请和释放单个元素的空间，使用new和delete操作符，申请和释放连续的空间，使用new[]和delete[]，要配套使用。

2、new和delete操作自定义类型

new/delete和malloc/free最大区别是new/delete对于自定义类型除了开空间，还会调用构造函数和析构函数。
A类：

class A
{
public:
	A(int a = 2)
		:_a(a)
	{
		cout << "A(int a)" << endl;
	}
	~A()
	{
		cout << "~A()" << endl;
	}
private:
	int _a = 1;
};

这样方面我们观察是否调用了构造和析构函数。

执行的代码段：

A* p5 = new A(10);
delete p5;

上面的一二张图片展示了动态开辟内存和销毁内存，而最下面的图片说明new调用了构造函数，delete调用了析构函数。

执行代码段：

A* p6 = new A[10];
delete[] p6;

执行代码段：

A a1(1);
A a2(2);
A a3(3);
A* p7 = new A[10]{ a1,a2,a3 };
delete[] p7;

当我们想要给动态开辟的内存空间赋值时，可以像上面一样进行拷贝构造赋值，也可以进行下面的匿名对象赋值，也是拷贝构造赋值，这样赋值完毕后，它们的生命周期就结束了。

A* p7 = new A[10]{ A(1),A(2),A(3)};
delete[] p7;

也可以进行下面的隐式类型转换，最喜欢的就是这种赋值方式。

A* p7 = new A[10]{ 1,2,3 };
delete[] p7;

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

三、operator new和operator delete函数

C++是面向对象的一门语言，对于C语言中的malloc失败就返回NULL的形式，在C++中适用性不高，C++希望申请空间失败的时候直接抛出异常终止程序，显示错误信息，所以C++中有了这种抛异常的机制，不需要再像C语言那样检查返回值是否为NULL了。

new和delete是用户进行动态内存申请和释放的操作符，operator new和operator delete是系统提供的全局函数，new在底层调用operator new全局函数来申请空间，delete在底层通过operator delete全局函数来释放空间。

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

new底层调用了operator new来申请空间，delete底层调用了operator delete来释放空间：

四、new和delete的实现原理

1、内置类型

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

2、自定义类型

new的原理：

• 调用operator new函数申请空间
• 在申请的空间上执行构造函数，完成对象的构造

delete的原理:

• 在空间上执行析构函数，完成对象中资源的清理工作
• 调用operator delete函数释放对象的空间

new T[N]的原理:

• 调用operator new[]函数，在operator new[]中实际调用operator new函数完成N个对象空间的申请
• 在申请的空间上执行N次构造函数

delete[]的原理:

• 在释放的对象空间上执行N次析构函数，完成N个对象中资源的清理
• 调用operator delete[]释放空间，实际在operator delete[]中调用operator delete来释放空间

我们既然已经知道了实现原理，那我们再来看看一个奇怪的现象吧，执行的代码段：

A* p9 = new A[10];
delete[] p9;

我们一个类对象占用空间是4字节，因为只有一个整型成员变量；我们动态开辟了10个类对象，应该是40个字节的空间，但在反汇编层面，我们发现编译器多开了一些空间，当下是多开了4个字节的空间，我们从右侧的内存中可以发现，多开的空间中存储的是0x0a000000，也就是10。

这个多开辟的空间中储存的数据其实是给delete[]使用的，是为了知道数组中有多少个对象，从而知道delete[]要调用多少次析构函数。

如果你使用的是delete而不是delete[]，此时编译器就会报错。

并不是因为你不知道要析构多少次而崩溃，而是因为使用delete时不会从数组的地址前多开辟空间的地址处开始释放内存，你从中间(数组开头的地址)释放内存，编译器报错了。

如果我们把析构注释掉，此时A类中只有一个整型变量，编译器会认为没有资源需要释放，此时编译器就不会再调用析构，那么也就不会多开辟前面的空间，因为不用调用析构了，此时使用delete[]和delete都可以，不会报错。

析构注释掉后：

注意：多开辟多少空间视编译器环境而定。以visual Studio 2022为例，X86的编译环境下，编译器多开了4个字节，而X64的编译环境下，编译器多开了8个字节。

五、定位new表达式

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

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

使用：

A* p10 = (A*)malloc(sizeof(A));

我们知道malloc不会调用构造，所以成员变量会是随机值。这里我们就要调用构造函数，但不能这样调用：p10->A();，它会报错的：

注意：析构函数可以这样显示调用:p10->~A();，但构造函数不能显示调用。

应该使用定位new表达式调用：

new(p10)A;

也可以给它初始化值：

new(p10)A(10);

其实它的使用场景不是在这里，我们在这种场景大可以直接使用new开辟，它会直接调用构造。

使用场景：
定位new表达式在实际中一般是配合内存池使用。因为内存池分配出的内存没有初始化，所以如果是自定义类型的对象，需要使用定位new表达式进行显示调构造函数进行初始化。(内存池是一种高效管理内存分配与释放的技术，属于 “池化技术” 的一种，其核心思想是通过预先分配、重复利用内存块来减少系统开销，提升程序性能，适用于高频小块内存场景。)

六、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在释放空间前会调用析构函数完成空间中资源的清理释放

总结：
以上就是本期博客分享的全部内容啦！如果觉得文章还不错的话可以三连支持一下，你的支持就是我前进最大的动力！
技术的探索永无止境! 道阻且长，行则将至！后续我会给大家带来更多优质博客内容，欢迎关注我的CSDN账号，我们一同成长！
(～￣▽￣)～