【C++】内存管理

目录

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

二、C++内存管理方式：new/delete

2.1 new/delete操作符

2.2 new和delete操作自定义类型

2.3 operator new 和operator delete函数

2.4 new和delete的实现原理

2.4.1 内置类型

2.4.2 自定义类型

三、malloc/free和new/delete的区别

3.1 共同点：

3.2 区别：

---

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

先来复习以下C语言的知识：

• malloc 函数用于动态分配指定大小(size)的内存块
  void* malloc(size_t size);
• calloc 函数用于动态分配指定数量(num)的指定大小(size)的内存块，并将所分配的内存置零。
  void* calloc(size_t num, size_t size);
• realloc 函数用于重新分配之前分配的内存块的大小，可以扩大或缩小内存块。
  void* realloc(void* ptr, size_t size);
• free 函数用于释放之前分配的动态内存。
  void free(void* ptr);

在C语言中，动态内存管理函数 malloc、calloc、realloc 和 free 提供了在运行时灵活管理内存的能力，对于需要根据具体需求动态分配和释放内存的场景非常有用。

void Test1()
{
	int* p1 = (int*)malloc(sizeof(int));
	free(p1);
	
	int* p2 = (int*)calloc(4, sizeof(int));//开辟4个大小为sizeof(int)的空间

	int* p3 = (int*)realloc(p2, sizeof(int) * 10);
	
	free(p3);
}

提问：上面函数中需要free(p2)吗？

答：没有必要， 如果原地扩容，p3和p2相同。如果异地扩容，p2指向的内容拷贝到新空间，原本p2的空间被释放。如果free(p2)，则多次释放空间。

---

二、C++内存管理方式：new/delete

尽管C语言提供了一些灵活多变的内存管理方式，但是在有些情况下也无能为力，而且使用下来也特别麻烦，为此，C++引入了new和delete操作符进行动态内存管理。

2.1 new/delete操作符

在C++中，new和delete操作符用于在运行时动态地分配和释放内存。

new操作符：在堆区动态地分配内存，返回指向该内存的指针。

delete操作符：用于释放动态分配的内存。

语法如下：

new T; // 申请一个数据类型T大小的内存空间

new T[N]; // 申请一个数组或连续的动态内存块，方括号中包含N个数据类型T的元素。

delete ptr; // 释放指针ptr指向单个变量的内存

delete[] ptr; // 释放指针ptr指向的动态数组的内存

void Test2()
{
	// 申请一个int类型的动态内存
	int* p = new int;
	*p = 10;
	delete p;

	// 申请一个包含5个int类型元素的数组
	int* arr = new int[5];
	arr[0] = 1;
	arr[1] = 2;
	arr[2] = 3;
	arr[3] = 4;
	arr[4] = 5;
	delete[] arr;
    
    //动态申请10个int类型的空间并初始化
    int* ptr = new int[10]{1,2,3,4,5,6,7,8,9,10};
    delete[] ptr;
}

注：

• 使用 new 分配的内存一定要用 delete 释放，否则会造成内存泄漏。在释放内存之前需要确保该内存空间不再被使用，否则会造成程序运行时错误。
• 申请和释放单个元素的空间，使用new和delete操作符，
  申请和释放连续的空间，使用 new[]和delete[]，
  必须匹配使用！
• 动态申请空间并初始化需要在后面加上{}

2.2 new和delete操作自定义类型

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

new : 自定义类型，开空间+调用构造函数初始化

delete : 自定义类型，调用析构函数+释放空间

class A
{
public:
	A(int a = 0)
		:_a(a)
	{
		cout << "A(int a = 0)" << endl;
	}

	~A()
	{
		cout << "~A()" << endl;
	}

private:
	int _a;
};

void Test3()
{
	A* p1 = (A*)malloc(sizeof(A));
	A* p2 = new A(1);
	free(p1);
	delete p2;

	cout << "----------------------" << endl;
	int* p3 = (int*)malloc(sizeof(int));
	int* p4 = new int;
	free(p3);
	delete p4;

	cout << "----------------------" << endl;
	A* p5 = (A*)malloc(sizeof(A) * 10);
	A* p6 = new A[10];
	free(p5);
	delete[] p6;
}

int main()
{
	Test3();
	return 0;
}

可以看到，上面的malloc函数没有使用构造函数，new使用一次构造函数，delete使用1次析构函数，new A[10]使用10次构造函数，delete[ ]相应地使用了10次析构函数。

---

2.3 operator new 和operator delete函数

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

operator new：

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

        请，否则抛异常。

operator delete：该函数最终是通过free来释放空间的。

2.4 new和delete的实现原理

2.4.1 内置类型

如果申请的是内置类型的空间，new和malloc，delete和free基本类似。

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

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

注： 当自定义类型中存在指针成员变量时，在对象释放前需要手动释放这些指针指向的内存空间，并在析构函数中进行相应的释放操作，以避免内存泄漏。

---

三、malloc/free和new/delete的区别

3.1 共同点：

1. 内存分配：malloc 和 new都是从堆上动态地申请内存空间。
2. 内存释放：free 和 delete都是释放之前分配的内存空间。

3.2 区别：

1. 使用方式：
   malloc和free是函数，需要使用指针来接收分配到内存地址，不会自动调用构造函数和析构函数。new和delete是关键字和操作符，可以直接创建对象，并会自动调用构造函数和析构函数。
2. 内存大小：
   malloc申请空间时，需要手动计算空间大小并传递，new根据类型自动计算所需的内存空间大小，只需在其后跟上空间的类型即可， 如果是多个对象，[ ]中指定对象个数即可
3. 类型安全：
   malloc的返回值为void*, 在使用时必须强转，new不需要，因为new后跟的是空间的类型，new 操作符是类型安全的，malloc容易出错。
4. 异常处理：
   malloc申请空间失败时，返回的是NULL，因此使用时必须判空，new不需要，但是new需要捕获异常
5. 构造函数和析构函数的调用：
   申请自定义类型对象时，malloc/free只会开辟空间，不会调用构造函数与析构函数，而new 在申请空间后会调用构造函数完成对象的初始化，delete在释放空间前会调用析构函数完成 空间中资源的清理

总结：虽然 malloc/free 和 new/delete 都可以用于内存的分配和释放，但在C++中，推荐使用 new/delete 来管理动态分配的内存，因为它们提供了更好的类型安全性和自动调用构造函数和析构函数的功能。