【C++】内存管理

前言

我们先来看看C/C++内存区域的划分
说明：

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

思考1.内存管理为什么要分这些区域？
答：为了方便管理不同生命周期的变量（全局、局部）
思考2.哪个区是我们需要去关注的呢？
答：堆是我们需要重点关注的，因为我们要从堆上申请空间，用完需要我们自主释放

一个考察内存分布的题目

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

 选择题：
   选项: A.栈  B.堆  C.数据段(静态区)  D.代码段(常量区)
   globalVar在哪里？__1__   staticGlobalVar在哪里？__2__
   staticVar在哪里？__3__   localVar在哪里？__4__
   num1 在哪里？__5__
   
   char2在哪里？__6__   *char2在哪里？_7__
   pChar3在哪里？__8__      *pChar3在哪里？__9__
   ptr1在哪里？_10___        *ptr1在哪里？__11__

要知道他在哪 ，就得先知道每个变量的类型，逐一分析

• globalVar是全局变量➡️静态区
• staticGlobalVar是全局静态变量➡️静态区
• staticvar是局部静态变量➡️静态区
• localvar是局部变量➡️栈
• num1是数组名，代表整个数组。数组名的值是数组首元素地址➡️栈

---

• char2是字符数组➡️栈

• *char2是字符数组首元素➡️栈
  

• pChar3是指针变量➡️栈

• *pChar3解引用取到了pchar3指向的常量字符串，该字符串➡️常量区
  

• ptr1指针变量➡️栈

• *ptr1解引用取到动态开辟空间的首元素地址➡️堆

C语言中动态内存管理方式：malloc/calloc/realloc/free

void Test ()
 {
 int* p1 = (int*) malloc(sizeof(int));
 free(p1);
 // 1.malloc/calloc/realloc的区别是什么？
int* p2 = (int*)calloc(4, sizeof (int));
 int* p3 = (int*)realloc(p2, sizeof(int)*10);
 // 这里需要free(p2)吗？
free(p3 );
 }

面试题

malloc/calloc/realloc的区别？
calloc 在malloc的基础上对动态开辟的空间进行初始化为0的操作。
realloc 用来扩容。

原地扩容：如果后面有足够大的空间➡️原地扩容。
把后面的空间使用权分配改用户。上述代码中，指针p2和p3相等
异地扩容：后面空间不够大的情况➡️异地扩容。
释放指针p2指向的空间，重新开辟空间给p3。所以上述代码中，只用释放p3。

C++内存管理方式

C++通过new和delete操作符进行动态内存管理。

new/delete操作内置类型

void Test()
 {
 // 动态申请一个int类型的空间
int* ptr4 = new int;
 // 动态申请一个int类型的空间 并 初始化为10
 int* ptr5 = new int(10);
 // 动态申请10个int类型的空间
int* ptr6 = new int[10];
//C++11支持，多个对象初始化
int* p4 = new[10]{1 ,2 ,3 ,4 ,5 ,6, 7, 8, 9, 10 };
 delete ptr4;
 delete ptr5;
 delete[] ptr6;
 }

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

对比C和C++构建链表

struct ListNode
{
	ListNode* _next;
	int _val;

	ListNode(int val)
		:_next(nullptr)
		,_val(val)
	{}
};

struct ListNode* CreateListNode(int val)
{
	struct ListNode* newnode = (struct ListNode*)malloc(sizeof(struct ListNode));
	if (newnode == NULL)
	{
		perror("malloc fail");
		return NULL;
	}

	newnode->_next = NULL;
	newnode->_val = val;
	return newnode;
}

c语言构造一个节点并完成初始化的过程，是需要我们提供 CreateListNode()

int main()
{
	ListNode* node1 = CreateListNode(1);
	return 0;
}

C++构造一个节点并完成初始化的过程new除了开空间还会调用构造函数.我们只需要提供构造函数。

int main()
{
	ListNode* node1 = new ListNode(1);
	return 0;
}

我们来构建一个链表：

ListNode* CreateList(int n)
{
	ListNode head(-1);  // 哨兵位
	ListNode* tail = &head;
	int val;
	printf("请依次输入%d个节点的值：>", n);
	for (size_t i = 0; i < n; i++)
	{
		cin >> val;
		tail->_next = new ListNode(val);
		tail = tail->_next;
	}
	return head._next;
}

我们输入五个值，1 2 3 4 5

哨兵节点：ListNode head(-1);这行代码创建了一个局部的哨兵节点,出作用域销毁，实际创建的链表是不带哨兵位的。

C++new开辟空间失败了，会抛异常

我们一次申请400M的空间大小

void func()
{
	int n = 1;
	while (1)
	{
		int* p = new int[1024 * 1024 * 100];
		//int* p = (int*)malloc(1024 * 1024*4);

		cout << n << "->" << p << endl;
		++n;
	}
}

int main()
{
	try
	{
		func();
	}
	catch (const exception& e)
	{
		cout << e.what() << endl;
	}
	return 0;
}

运行代码：C++new开辟空间失败了，会抛异常bad allocation

new和delete操作自定义类型

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

new/delete 和 malloc/free最大区别是 new/delete对于【自定义类型】除了开空间,还会调用构造函数和析构函数

再来看看反汇编代码：

可以看到底层调用了 operater new的函数，我们接下来就将关于这部分内容

operator new与operator delete函数

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

void* __CRTDECL operator new(size_t size) _THROW1(_STD bad_alloc)
{
	void* p;
	while ((p = malloc(size)) == 0)
		if (_callnewh(size) == 0)
		{
			// 如果申请内存失败了，这里会抛出bad_alloc 类型异常
			static const std::bad_alloc nomem;
			_RAISE(nomem);
		}
	return (p);
}

operator new：该函数实际通过malloc来申请空间。当malloc申请空间成功时直接返回；申请空间失败，尝试执行空间不足应对措施，如果改应对措施用户设置了，则继续申请，否则抛异常。

 static const std::bad_alloc nomem;

申请失败则会抛异常

void operator delete(void* pUserData)
{
	_CrtMemBlockHeader* pHead;
	RTCCALLBACK(_RTC_Free_hook, (pUserData, 0));
	if (pUserData == NULL)
		return;
	_mlock(_HEAP_LOCK);  /* block other threads */
	__TRY
		        /* get a pointer to memory block header */
		pHead = pHdr(pUserData);
	         /* verify block type */
	_ASSERTE(_BLOCK_TYPE_IS_VALID(pHead->nBlockUse));
	_free_dbg(pUserData, pHead->nBlockUse);
	__FINALLY
		_munlock(_HEAP_LOCK);  /* release other threads */
	__END_TRY_FINALLY
		return;
}

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

new和delete的实现原理

内置类型

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

自定义类型

new的原理

1. 调用operator new函数申请空间
2. 在申请的空间上执行构造函数，完成对象的构造

delete的原理：先析构后释放

1. 在空间上执行析构函数，完成对象中资源的清理工作
2. 调用operator delete函数释放对象的空间

class Stack
{
public:
	Stack()
	{
		_a = (int*)malloc(sizeof(int) * 4);
		_top = 0;
		_capacity = 4;
	}

	~Stack()
	{
		free(_a);
		_top = _capacity = 0;
	}
private:
	int* _a;
	int _top;
	int _capacity;
};
int main()
{
	Stack* pst = new Stack;
	delete pst;
	return 0;
}

提问：这里delete pst;时，是先调用析构函数，还是先调用operator delete

通过反汇编来看

new T[N]的原理

1. 调用operator new[]函数，在operator new[]中实际调用operator new函数申请N个对象空间
2. 在申请的空间上执行N次构造函数

class A
{
public:
	A(int a = 0)
		: _a(a)
	{
		cout << "A():" << this << endl;
	}
	~A()
	{
		cout << "~A():" << this << endl;
	}
private:
	int _a;
};
int main()
{
	A* p1 = new A;
	A* p2 = new A[10];
	delete p1;
	delete[]p2;
	return 0;
}

提问：为什么创建十个对象，开辟了48字节的空间？不应该是40个字节就够了吗？

答：因为编译器通常会分配额外的空间来存储 有关数组本身的信息，比如这多出来的空间会用来记录数组的大小。存储这类信息的用处，例如在执行 delete[] p2; 时，系统需要知道要调用多少次析构函数

通过调试，我们也可以观察，多开辟的8个字节的空间里存储的信息

从p2指向的地址往上数2个字节存储的是00 00 00 0a，转换成十进制是10。说明确实存储的是对象个数10个。

注意：对于内置类型，不需要调用析构函数，就不会多开辟空间，存储数组的信息

int* p3=new int[10];

这里可以看到，它只开辟了40个字节的空间，没有多开辟。

delete[]的原理

1. 在释放的对象空间上执行N次析构函数，完成N个对象中资源的清理
2. 调用operator delete[]释放空间，实际在operator delete[]中调用operator delete来释 放空间

A::vector deleting destructor'里面，我们看到delete[]调用operator delete[]

简单了解定位new表达式(placement-new)

一般情况，我们无法显示调用构造函数。定位new表达式可以显示调用构造函数对一块已经有的空间初始化。
new (place_address) type或者new (place_address) type(initializer-list)
place_address必须是一个指针，initializer-list是类型的初始化列表

class A
{
public:
	A(int a = 0)
		: _a(a)
	{
		cout << "A():" << this << endl;
	}
	~A()
	{
		cout << "~A():" << this << endl;
	}
private:
	int _a;
};
int main()
{
	int* p1 = new int[10];
	return 0;
}

A* p1 = (A*)malloc(sizeof(A));

p1现在指向的只不过是与A对象相同大小的一段空间，还不能算是一个对象，因为构造函数没有执行

new(p1)A;

显示调用构造函数对一块已经有的空间的初始化

使用场景：内存池

常见面试题

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

内存泄漏

什么是内存泄漏

一块已经不再使用的空间，没有释放

内存泄漏的危害

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

本节内容到此结束，求求啦，三连一下吧🥹🐞🥹🥹🥹🥹🥹🥹🥹🥹🥹🥹🥹🥹🥹🥹🥹🥹🥹🥹🥹