【C++学习分享】——内存管理详解

目录

C/C++内存分布

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

malloc、calloc、realloc、free

C++中动态内存管理方式

new和delete操作内置类型

new和delete操作自定义类型

new和delete的底层机制

operator new和operator delete函数

new和delete实现原理

内置类型

自定义类型

探讨malloc/free和new/delete

内存泄漏

---

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";
	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);
}

请先回答下列问题
选项: A.栈 B.堆 C.数据段(静态区) D.代码段(常量区)

globalVar在哪里？____ staticVar在哪里？____ num1 在哪里？____

staticGlobalVar在哪里？____ localVar在哪里？____

char2在哪里？____ pChar3在哪里？____ ptr1在哪里？____

*char2在哪里？___ *pChar3在哪里？____ *ptr1在哪里？____

【说明】

1. 栈又叫堆栈，用于存储非静态局部变量/函数参数/返回值等等，栈是向下增长的。
2. 内存映射段是高效的I/O映射方式，用于装载一个共享的动态内存库。用户可使用系统接口创建共享内存，做进程间通信。
3. 堆用于存储动态开辟的空间，堆是向上增长的。但是也要注意在堆区开辟空间，后开辟的空间地址不一定比先开辟的空间地址高。因为在堆区，后开辟的空间也有可能位于前面某一被释放的空间位置。
4. 数据段又叫静态区，用于存储全局数据和静态数据。
5. 代码段又叫常量区，用于存放可执行的代码和只读常量。

---

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

malloc、calloc、realloc、free

一、malloc

        malloc函数的功能是开辟指定字节大小的m内存空间，如果开辟成功就返回该空间的首地址，如果开辟失败就返回一个NULL。传参时只需传入需要开辟的字节个数。

二、calloc

        calloc函数的功能也是开辟指定大小的内存空间，如果开辟成功就返回该空间的首地址，如果开辟失败就返回一个NULL。calloc函数传参时需要传入开辟的内存用于存放的元素个数和每个元素的大小。与malloc相比，calloc函数开辟好内存后会将空间内容中的每一个字节都初始化为0。

三、realloc

        realloc函数可以调整已经开辟好的动态内存的大小，第一个参数是需要调整大小的动态内存的首地址，第二个参数是动态内存调整后的新大小。realloc函数与上面两个函数一样，如果开辟成功便返回开辟好的内存的首地址，开辟失败则返回NULL。

四、free

        free函数的作用就是将malloc、calloc以及realloc函数申请的动态内存空间释放，其释放空间的大小取决于之前申请的内存空间的大小。

更多关于C语言动态内存管理的内容可以跳转到之前的文章http://t.csdn.cn/jbu62

---

C++中动态内存管理方式

        C++作为C语言的延伸，上述的四种方式自然也可以在C++中使用，但有些地方C语言存在弊端并且使用比较麻烦，因此C++又提出了自己的内存管理方式：通过new和delete操作符进行动态内存管理。

new和delete操作内置类型

注意：申请和释放单个元素的空间，使用new和delete操作符，申请和释放连续的空间，使用
new[]和delete[]，注意：new和delete一定要匹配起来使用，否则会出现许多问题。

new和delete操作自定义类型

先给出这样一个类

class Test
{
public:
	Test() //构造函数
		:_a(0)
	{
		cout << "构造函数" << endl;
	}
	~Test() //析构函数
	{
		cout << "析构函数" << endl;
	}
private:
	int _a;
};

一、动态申请单个类的空间

C++方式：

	Test* p1 = new Test; //申请
	
	delete p1; //销毁

C语言方式：
 

    Test* p2 = (Test*)malloc(sizeof(Test)); //申请
	
	free(p2); //销毁

二、动态申请多个类的空间

C++方式：

    Test* p3 = new Test[10]; //申请
	
	delete[] p3; //销毁

C语言方式：

	Test* p4 = (Test*)malloc(sizeof(Test)* 10); //申请
	
	free(p4); //销毁

【说明】

1. C++中如果是申请内置类型的对象，用new/delete和malloc/free没有什么区别。
2. 如果是自定义类型，区别很大，new和delete分别是开空间+构造函数、析构函数+释放空间，而malloc和free仅仅是开空间和释放空间。
3. 建议在C++中无论是内置类型还是自定义类型的申请和释放，尽量都使用new和delete。

new和delete的底层机制

operator new和operator delete函数

        new和delete是用户进行动态内存申请和释放的操作符，operator new和operator delete是系统提供的全局函数，new和delete在底层是通过调用全局函数operator new和operator delete来申请和释放空间的。
 operator new和operator delete的用法和malloc和free的用法完全一样，其功能都是在堆上申请和释放空间。

        实际上，operator new的底层是通过调用malloc函数来申请空间的，当malloc申请空间成功时直接返回；若申请空间失败，则尝试执行空间不足的应对措施，如果该应对措施用户设置了，则继续申请，否则抛异常。而operator delete的底层是通过调用free函数来释放空间的。

new和delete实现原理

内置类型

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

自定义类型

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函数完成N个对象空间的释放。

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

---

内存泄漏

内存泄漏

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

内存泄漏的危害

        长期运行的程序出现内存泄漏，影响很大，如操作系统、后台服务等等，出现内存泄漏会导致响应越来越慢，最终卡死。与其他bug相比，内存泄漏更不容易被发现，危害长期存在。因此我们在使用堆区时，一定要防止出现内存泄漏。

可能出现的内存泄漏

1、堆内存泄漏(Heap Leak)

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

2、系统资源泄漏

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

避免内存泄漏的方法

1. 工程前期良好的设计规范，养成良好的编码规范，申请的内存空间记住匹配的去释放。
2. 采用RAII思想或者智能指针来管理资源。
3. 有些公司内部规范使用内部实现的私有内存管理库，该库自带内存泄漏检测的功能选项。
4. 出问题了使用内存泄漏工具检测。

最后，祝福每个人都不会写出内存泄漏，本篇博客到此结束。