【C++】C/C+内存管理

【本节内容】

C/C++ 内存分配
C/C++ 内存管理
operator new和operator delete
new和delete实现原理
malloc/free和new/delete的区别和联系

1.C/C++ 内存分配

对什么数据应该存在哪里，我再做一个更详细的分析（地址由高到低）

1. 内核空间：用户代码不能进行读写

在32位机器中，程序的内存一般都是4G。其中0~3G由用户自由操作，3G到4G是由内核进行映射分配的空间。

2. 局部变量和临时变量存在 栈区：用时系统自动分配不用时自动销毁

在任意区域{ }内定义的变量都是局部变量。
函数传递的参数和它的返回值都需要创建临时变量。

3. 需要动态开辟空间的变量存在 堆区：用户需要主动申请开辟并主动销毁

动态开辟空间的方法主要有 malloc,realloc,calloc 和new，对应的销毁方法主要是free和delete。若未对内存进行正确的释放可能造成内存泄漏。

4. 静态变量和全局变量存在 数据段也叫静态区：在整个程序的生命周期内有效

变量前面带有static关键字的称为静态变量数据。
在单个文件中，不存在任一区域{ }内的变量则称为全局变量。
在同一个源文件里静态变量与全局变量的生命周期相同长。 但若程序由多个源文件组成，则全局变量必须定义在全局才能作用于全局；静态变量无论定义在哪都只由当前文件独享，其他文件要调用，需要通过extern引用。

5. 整个程序的代码和数据存在 代码段（常量区）：程序的核心数据

程序的可执行代码和不可更改的只读常量都存在于代码段。

2.C语言中动态内存管理方式：malloc,calloc,realloc和free

void Test2()
{
	int *p1 = (int*)malloc(sizeof(int));   //开辟int型 即4个字节大小的空间
	free(p1);
	int *p2 = (int*)calloc(4, sizeof(int));      //开辟4个字节的空间并初始化为4
	int *p3 = (int*)realloc(p2, sizeof(int*)* 10);   //在p2的基础上扩大成4*10个字节大小的空间
	//free(p2);    // 不用free（p2），因为p3会一起将它free
	free(p3);
}

malloc,calloc,realloc进行动态开辟的区别和联系。

1. 区别：其中malloc用于开辟指定大小字节的空间；calloc用于开辟制动大小 的空间并进行赋默认值的初始化；realloc用于对一个已经开辟的空间进行扩容。
2. 联系：三者都使用free进行空间的释放，并且都需要事先知道需要开辟空间的大小。

3.C++ 内存管理方式：new和delete

C语言中的内存管理方式在C++中仍然可以使用，但对于无法确定大小的空间使用起来就比较麻烦。所以在C++中又提出 new / delete 进行动态内存的管理。

3.1 new /delete 操作内置类型

void Test3()
{
	//动态申请一个int型的空间
	int* p1 = new int;
	//动态申请一个int型的空间并初始化为10
	int* p2 = new int(10);
	//动态申请3个连续int型空间（数组）
	int* p3 = new int[3];
	delete p1;
	delete p2;
	delete[] p3;
}

注意：申请和释放单个元素的空间使用 new /delete，申请和释放连续的空间使用new[] /delete[]。

3.2 new/delete 操作自定义类型

针对自定义类型的内存申请，要么有构造函数要么就初始化
若没有写A的构造函数，则只能出现A* p=new int(10);不能出现A* p=new int;

下面是自定义类型的malloc和new的用法区别：

class Test
{
public:
	Test() :_data(0)    //构造函数
	{
		cout << "Test()" << endl;
	}
	~Test()         //析构函数
	{
		cout << "~Test()" << endl;
	}
private:
	int _data;
};
void Test4()
{
	Test* p1 = (Test*)malloc(sizeof(Test));
	free (p1);
	cout << "下面用new和delete" << endl;
	Test* p2 = new Test;
	delete p2;
	Test* p3 = new Test[4];
	delete[] p3;
}

注意： 根据运行结果可知，在申请自定义类型的空间时，new会自动调用构造函数，delete会自动调用析构函数，而malloc和free不会。故new=malloc+构造函数
另外，在这里需要注意调用顺序，new会先开辟空间再调用构造函数；delete会先调用析构函数再释放空间。

4. operator new和operator delete

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

5. new和delete 实现原理

5.1 内置类型

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

5.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来释放空

6.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. new/delete比malloc和free的效率稍微低点，因为new/delete的底层封装了malloc/free—— 包含关系