【C++】内存管理

1. C/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);
}

不同变量存储的区域如图所示：

划分这么多区域是因为要满足程序运行时对数据的各种存储需求，达到不同的目的。

简单理解不同区域的特性：

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

2. C语言中动态内存管理方式

本文较为详细地介绍了C语言的动态内存管理

3. C++中动态内存管理

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

注意new和delete在C++中是以关键字的形式给出，而非函数

3.1 new/delete操作内置类型

C和C++开辟一个整形大小的空间：

//C语言
int* a = (int*)malloc(sizeof(int));
free(a);

//C++
int* a = new int;
delete a;

可以发现C++这种写法更加方便，无需进行强制类型转换，也不用算出类型的大小。

开辟多个整形大小的空间：

//C语言
int* a = (int*)malloc(sizeof(int) * 10);
free(a);

//C++
int* a = new int[10];
delete[] a;

注意区别，C++申请多个对象的空间时要加[]，释放时也需要加[]，申请单个对象空间时则不需要，一定要配对使用，不能混着来。

不配对不一定会出错，但配对了一定不会出错

同样也可以在申请的时候对其初始化：

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

这里不要与上面申请多个对象时的语法弄混，这里是小括号()，表示的是申请单个对象的同时用括号里的值初始化，而中括号[]是指连续开辟多个对象的空间。

如何在申请多个对象时把它们也初始化？

第一种做法：

int* a = new int[10]();
delete[] a;

后面带个小括号，但是小括号里不能写入任何值，否则报错，这种写法能把对象全初始化为0，但也只能初始化为0；若不带小括号则为随机值。

第二种做法：

int* a = new int[10]{1, 2, 3};
delete[] a;

后面使用大括号来初始化，与C语言定义一个数组然后把数组里的元素初始化的做法非常类似，没有初始化到的全部默认初始化为0。

最后再次声明：

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

3.2 new和delete操作自定义类型

new和malloc除了写法上区别较大，对于内置类型的处理区别不是很大，其实真正体现new和delete的价值的地方在于自定义类型。

对于以下类：

class A
{
public:
	A(int a = 0):_a(a) {
		cout << "A(int a)" << endl;
	}
	~A() {
		cout << "~A():" << this << endl;
	}
private:
	int _a;
};
int main()
{
	A* p1 = (A*)malloc(sizeof(A));
	free(p1);
	cout << "-------------------" << endl;
	A* p2 = new A(1);
	delete p2;
	return 0;
}

输出结果：

可以发现的是，malloc和free只是单纯地开辟和释放空间，而new和delete不仅会开辟和释放空间，并且还会自动去调用该类的(默认)构造和析构函数，这是malloc和free无法比拟的地方，因此在C++中更喜欢使用new和delete，不仅编写方便，功能更加完善。

需要注意的是，new是先开辟空间，接着调用构造，而delete是先调用析构，再释放空间，delete若先释放对象空间，并且对象中的成员还有动态开辟的空间，这样就会导致野指针问题进而引起内存泄漏。

对于同时申请多个对象的空间的做法也是如此：

int main()
{
	A* p1 = (A*)malloc(sizeof(A) * 10);
	free(p1);
	cout << "-------------------" << endl;
	A* p2 = new A[10];
	delete[] p2;
	return 0;
}

输出：

若是只有带参的构造则需要显式地传递参数：

或者全缺省构造但不想使用缺省值时

A* p2 = new A[3]{ 1,2,3 };
//或者这种写法：
//A* p2 = new A[3]{ A(1), A(2), A(3) };
delete[] p2;

正常的步骤是先构造一个临时或者匿名对象，再这个对象拷贝构造动态申请的对象，但是编译器会进行优化，直接拿参数来构造。

若为多个参数:

A* p2 = new A[3]{ {1,1}, {2,2},{3,3} };
//或者这种写法：
//A* p2 = new A[3]{ A(1,1), A(2,2), A(3,3) };
delete[] p2;

也会触发编译器的优化。

4. operator new与operator delete函数

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

operator new函数的实现：

operator delete函数的实现：

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

这两个函数是可以直接使用的：

int main()
{
	//malloc
	A* p1 = (A*)operator new(sizeof(A));
	//free
	operator delete(p1);
	return 0;
}

不难发现，new是如何开辟空间的？其实底层就是通过malloc来开辟的，但是如果直接使用malloc就要考虑申请失败的问题，由于C++这类面向对象的语言在处理错误时不想用返回值，而更喜欢用抛异常的方式，因此便将malloc进行封装，进而有了operator new，处理失败使用抛异常的形式，因此new底层的调用顺序为：

同样的对于delete也是类似的方式：

这两个函数是专门给new和delete用的，本质是将malloc和free封装了一层。

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. 定位new表达式(placement-new)

定位new表达式是在已分配的内存空间中调用构造函数初始化一个对象。
使用格式：new (place_address) type或者new (place_address) type(initializer-list)
place_address必须是一个指针，initializer-list是类型的初始化列表，代码如下：

int main()
{
	//p1现在指向的只不过是与A对象相同大小的一段空间
	//还不能算是一个对象，因为构造函数没有执行
	A* p1 = (A*)malloc(sizeof(A));
	//显式调用构造
	new(p1)A;  
	///如果A类的构造函数有参数时，此处需要传参
	//比如:
	//new(p1)A(1);
	p1->~A();
	free(p1);
	return 0;
}

最后也需要显式地去调用它的析构函数，然后再free，因为p1是对象指针，不是对象，所以它不会自动调用构造和析构，需要手动调用。

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

8. 内存泄漏（简单了解）

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

什么是内存泄漏：内存泄漏指因为疏忽或错误造成程序未能释放已经不再使用的内存的情况。
内存泄漏并不是指内存在物理上的消失，而是应用程序分配某段内存后，因为设计错误，失去了对该段内存的控制，因而造成了内存的浪费。

内存泄漏的危害：长期运行的程序出现内存泄漏，影响很大，如操作系统、后台服务等等，出现内存泄漏会导致响应越来越慢，最终卡死。

8.2 内存泄漏分类

C/C++程序中一般我们关心两种方面的内存泄漏：

• 堆内存泄漏(Heap leak)

堆内存指的是程序执行中依据须要分配通过malloc / calloc / realloc / new等从堆中分配的一块内存，用完后必须通过调用相应的 free或者delete 删掉。
假设程序的设计错误导致这部分内存没有被释放，那么以后这部分空间将无法再被使用，就会产生Heap Leak。

• 系统资源泄漏

指程序使用系统分配的资源，比方套接字、文件描述符、管道等没有使用对应的函数释放掉，导致系统资源的浪费，严重可导致系统效能减少，系统执行不稳定。

8.3 如何检测内存泄漏

在linux下内存泄漏检测：Linux下几款内存泄漏检测工具
在windows下使用第三方工具：VLD工具说明

8.4如何避免内存泄漏

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

总结一下:
内存泄漏非常常见，解决方案分为两种：
1、事前预防型。如智能指针等。2、事后查错型。如泄漏检测工具。