C++内存管理

C/C++内存的分布方式

C/C++中，我们经常用到的内存就是上面的四个。
栈：也叫堆栈，用来存储非静态局部变量、函数的参数、返回值等等，具有向下增长的特点，也就是存储的地址是由上至下是从低到高。
堆：用于程序运行时的动态分配，用于分配在程序中需要开辟的空间。堆具有向上增长的特特点。
数据段：也可以叫做静态区，用来存储全局变量和静态数据。
代码段：用于存储执行的代码和字面常量。

C语言的动态内存管理方式

在介绍C++的内存管理之前，先来复习一下C语言是怎样进行动态内存管理的。

malloc/calloc/realloc/free

int main()
{
	int* p1 = (int*)malloc(sizeof(int) * 10);
	free(p1);

	int* p2 = (int*)calloc(5, sizeof(int));
	int* p3 = (int*)realloc(p2, sizeof(int) * 10);
	free(p3);
	return 0;
}

对于上面的代码，我们进行一一分析：
p1指向的空间是通过malloc开辟的，malloc并不会对p1指向空间的内容初始化，所以p1中存储的都是随机值。

p2指向的空间是通过calloc开辟的，calloc会对p2指向的内容初始化为0。

p3是通过realloc开辟的，realloc并不是重新开辟空间，而是为已有的空间进行增容(也可以减少容量，但是一般不这样用)。realloc增容的方式有两种：一种是在已有空间后面空间足够的情况下进行原地增容，这种情况下原空间的地址不会改变；另一种是已有空间后面的空间不足以进行增容，就会进行异地增容，也就是会重新找一块空间，开辟新的容量大小空间，释放掉原有空间，这种情况下会改变原空间的地址。因此用realloc增容一般先用一个新指针变量进行增容，再将该指针的地址赋值给原指针。

注意：
(1) realloc会拷贝原空间的值，然后增加容量，增加的空间不会对其初始化
(2) 我们在上面的代码中可以看到，最后只释放了p3，没有释放p2，这里存不存在内存泄漏呢？
答案是不存在内存泄漏。
如果是原地增容，那么p3指针变量的地址和p2指针变量的地址是相同的，那么最后释放p3就是直接释放了这块空间。如果是异地增容，那么realloc首先会释放原有的空间，然后找到一个新的空间进行增容，那么此时p2对应的空间已经被释放了，而p3对应的是新的空间，最后再把p3释放即可。
所以这其中不存在内存泄漏。

在校招中，可能经常会考到一道面试题：
malloc/calloc/realloc的区别：
malloc：在堆上动态开辟空间
calloc：在对上动态开辟空间，并且会把所开辟空间的内容初始化为0
realloc：对已有的空间扩容，分为原地扩容和异地扩容

C++内存管理方式

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

void Test()
{
	//动态申请一个int类型的空间
	int* ptr1 = new int;

	//动态申请一个int类型的空间并初始化为10
	int* ptr2 = new int(10);

	//动态申请10个int类型的空间
	int* ptr3 = new int[3];

	delete ptr1;
	delete ptr2;
	delete[] ptr3;//释放多个空间必须加一堆方括号
}

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

注意：
new和delete对于内置类型和自定义类型是不同的。
(1) 对于申请内置类型对象或者数组，new和delete就是正常的开辟释放空间。
(2) 对于申请自定义类型，new会执行开空间+构造函数初始化，delete会执行析构函数清理+释放空间。

class Test
{
public:
	Test()
		: _data(0)
	{
		cout << "Test():" << this << endl;
	}

	~Test()
	{
		cout << "~Test()" << this << endl;
	}

private:
	int _data;
};

void Test2()
{
	//用malloc申请单个Test类型的空间
	cout << "malloc and free:" << endl;
	Test* p1 = (Test*)malloc(sizeof(Test));
	free(p1);//用free释放p1

	//用new申请单个Test类型的空间
	cout << "new and delete:" << endl;
	Test* p2 = new Test;
	delete p2;//用delete释放p2
}

我们通过运行可以看到：malloc和free是不会调用构造函数和析构函数的，而new和delete则会调用。

总结：
1、如果是申请内置类型对象或者数组，malloc和new没什么区别。
2、如果是自定义类型，区别很大，new和delete是开空间+初始化，析构清理+释放空间
3、建议在C++中无论是内置类型还是自定义类型的申请释放，都尽量使用new和delete。

new和delete的实现原理

内置类型

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

自定义类型

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来释放空间。

在最后说一下面试中常考的一道题：
malloc/free和new/delete的区别：
1、malloc和free是开辟释放空间的函数，而new和delete是操作符。
2、malloc申请的空间不能初始化，直接给的是随机值，而new在申请空间的时候会调用构造函数，可以对空间进行初始化。
3、malloc申请空间时，需要用sizeof运算符或者手动计算空间的大小作为参数传递，而new只需要跟上空间的类型。
4、malloc的返回值是无类型的指针，使用时必须强制类型转换为空间的类型，而new不需要，new的后面跟的就是空间类型。
5、malloc申请空间失败后，会返回空指针NULL，因此在使用之后必须判断一下返回值；new在申请空间失败后，会抛异常。
6、在申请自定义空间时，malloc/free只会单纯的开辟释放空间，而new在申请空间时会调用构造函数，delete在释放空间时会调用析构函数。