C++动态内存管理

---

一、C/C++内存分布

内存区域	存放数据类型	32位程序下大小	使用方式
内核空间（用户代码不能读写）		1G
栈（向下增长）	函数栈帧、形参、局部变量等	8M	系统自动使用
内存映射段（文件映射、动态库、匿名映射）
堆（向上增长）	很大（2G左右）	用于动态内存分配	手动使用
数据段（静态区）	全局数据、静态数据	不大	自动
代码段（常量区）	可执行代码、只读常量	不大	自动

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

栈区向下增长、堆区向上增长，这也就说明栈区开辟的空间是先开辟在高地址，后开辟的空间在低地址，堆区开辟空间先开辟在低地址，后开辟的空间在高地址。当然也会有先开辟的空间被释放，后开辟的空间占用先开辟的空间，就不符合这种情况了。

二、C++内存管理方式

回忆一下C语言动态内存管理的相关函数：
calloc和malloc区别

• calloc会初始化，相当于，malloc+memset，按字节初始化，空间每个字节都初始化为0

realloc扩容

• 原地扩
• 异地扩

C语言内存管理方式在C++中可以继续使用，但有些地方就无能为力而且使用起来比较麻烦，因此C++又提出了自己的内存管理方式：通过new和delete操作符进行动态内存管理。

2.1 new/delete操作内置类型

申请和释放单个元素的空间，使用new和delete操作符，申请和释放连续的空间，使用new[]和
delete[]

int main()
{
	// 动态申请int和5个int数组
	
	int* p1 = (int*)malloc(sizeof(int));
	int* p2 = (int*)malloc(sizeof(int) * 5);

	int* p3 = new int;//不初始化
	//int* p3 = new int(5);//初始化为5
	
	// C++98不支持初始化new的数组, C++11支持用{}列表初始化
	int* p4 = new int[5];
	//int* p4 = new int[5]{1,2};

	free(p1);
	free(p2);
	delete p3;
	delete[] p4;
	// 总结 
	// malloc/free  和 new/delete 对于内置类型没有本质区别，只有用法上的区别
	return 0;
}

2.1 new/delete操作自定义类型

class A
{
public:
	A(int a = 0)
		: _a(a)
	{
		cout << "A():" << this << endl;
	}

	~A()
	{
		cout << "~A():" << this << endl;
	}
	void Show_a()
	{
		cout << _a << endl;
	}
private:
	int _a;
};


int main()
{
	// 动态申请单个A对象 和 5个A对象数组
	A* p1 = (A*)malloc(sizeof(A));
	A* p2 = (A*)malloc(sizeof(A)*5);

	// new 在堆上申请对象空间+调用构造函数初始化对象
	A* p3 = new A;
	A* p4 = new A[5];

	//A* p3 = new A(10);
	//A* p4 = new A[5]{10,20,30,40,50};

	cout << "malloc:";
	p1->Show_a();
	p2->Show_a();

	cout << "new:";
	p1->Show_a();
	p2->Show_a();

	free(p1);
	free(p2);

	// delete 先调用指针类型析构函数 + 释放空间给堆上
	delete p3;
	delete[] p4;

	// 一定要malloc free 和new /delete  new[] / delete []匹配使用，
	// 否则可能会崩溃，发生错误

	return 0;
}

三、new/delete底层原理

new和delete是用户进行动态内存申请和释放的操作符，operator new 和operator delete是系统提供的全局函数（不是函数重载），new在底层调用operator new全局函数来申请空间，并且调用类的构造函数，delete在底层通过operator delete全局函数来释放空间，并调用类的析构函数。

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

面向对象语言处理错误的方式一般是抛异常，C++也是如此，通过try catch实现。

所以现在我们就可以知道new和delete实现原理，如下图

总结：

1. 对于内置类型申请释放，用法上的区别
2. 对于自定义类型，就不仅仅是用法的区别了

• new动态申请的对象，申请空间+调用构造函数初始化
• delete释放对象时，调用析构函数清理对象中资源，释放空间

四、operator new与operator delete的类专属重载

在某些时候我们需要频繁的增容，这是非常麻烦的，所以我们可以一次申请大量的空间–内存池，在需要的时候直接用就行，不用再申请。

针对链表的节点ListNode通过重载类专属 operator new/ operator delete，实现链表节点使用内存池申请和释放内存，提高效率。

五、定位new表达式

定位new表达式是在已分配的原始内存空间中调用构造函数初始化一个对象。
使用格式：
new (place_address) type或者new (place_address) type(initializer-list)
place_address必须是一个指针，initializer-list是类型的初始化列表
使用场景：
定位new表达式在实际中一般是配合内存池使用。因为内存池是提前开出来的空间，没有初始化，所以如果是自定义类型的对象，需要使用new的定义表达式进行显示调构造函数进行初始化。

class Test
{
public:
	Test(int a=0)
		: _data(a)
	{
		cout << "Test():" << this << endl;
	}
	~Test()
	{
		cout << "~Test():" << this << endl;
	}
private:
	int _data;
};
int main()
{
	// pt现在指向的只不过是与Test对象相同大小的一段空间，还不能算是一个对象，因为构造函数没有执行
	Test* pt = (Test*)malloc(sizeof(Test));//内存池里面的内存也是如此
	new(pt) Test; 
	//new(pt) Test(10);构造函数传参

	return 0;
}

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

七、内存泄漏

7.1 什么是内存泄漏，内存泄漏的危害

什么是内存泄漏：动态申请的内存，不用了，但是没有释放。

内存泄漏并不是指内存在物理上的消失，而是应用程序分配某段内存后，因为设计错误，失去了对该段内存的控制，因而造成了内存的浪费。
内存泄漏的危害：

• 如果出现内存泄漏的进程正常结束（如普通C/C++程序的结束），这是内存会还给系统，不会有太大的危害。
• 长期运行的程序出现内存泄漏，影响很大，如操作系统、后台服务等等，出现内存泄漏会导致响应越来越慢，最终卡死，宕机-----一般是服务器程序。

7.2 如何避免内存泄漏

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

---