【C++指南】内存管理完全手册：new/delete

🌟 各位看官好，我是egoist2023！

🌍 种一棵树最好是十年前，其次是现在！

🚀 今天来学习C++内存管理的相关知识。

👍 如果觉得这篇文章有帮助，欢迎您一键三连，分享给更多人哦

目录

内存分布

内存管理

new和delete实现原理

operator new与operator delete函数

内置类型

自定义类型

定位new

malloc/free和new/delete的区别

内存分布

在上图中，各部分变量分配在 A.栈   B.堆   C.数据段(静态区)    D.代码段(常量区)  哪个区域呢？

1. globalVar是全局变量在数据段；
2. staticGlobalVar是静态全局变量，同样在静态区；
3. staticVar由于static的修饰，是静态局部变量，因此也在静态区；
4. 像非静态局部变量、数组都是存在栈区。因此num1，char2都是在栈区；
5. char2是一个数组，把后面常量串拷贝过来到数组中，数组在栈上，所以*char2是在栈上的；

   

      6.pChar3和ptr1都是指针变量，是存在栈区上的。因为是指针，pChar3是指向字符串的，字符串是在常量区的，因此*pChar3是在常量区的。ptr1指向的是堆区上的一块空间，因此*ptr1得到的是动态申请空间的数据在堆区。

内存管理

new和delete实现原理

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

由于C语言的使用过于麻烦和一些缺陷(只能分配空间，需要手动初始化之类)。在C++中引入了new和delete操作符进行动态内存管理。

new和delete的简单使用

// 动态申请一个int类型的空间
int* ptr4 = new int;
delete ptr4;

// 动态申请一个int类型的空间并初始化为10
int* ptr5 = new int(10);
delete ptr5;

// 动态申请10个int类型的空间
int* ptr6 = new int[10];
delete[] ptr6;

动态申请n个空间时，与delete[]搭配使用。new和delete似乎只是简化了C语言中的malloc和free，并能指定初始化 ，那它们真正的区别在于哪里呢？

来看看如下一段程序。

class A
{
public:
	A(int a = 0)
		: _a(a)
	{
		cout << "A():" << this << endl;
	}
	~A()
	{
		cout << "~A():" << this << endl;
	}
private:
	int _a;
};
int main()
{
	// 内置类型是几乎是一样的
	int* p3 = (int*)malloc(sizeof(int)); // C
	int* p4 = new int;
	free(p3);
	delete p4;

    // 自定义类型
    A* p1 = (A*)malloc(sizeof(A));
	A* p2 = new A(1);
	free(p1);
	delete p2;

	A* p5 = (A*)malloc(sizeof(A) * 10);
	A* p6 = new A[10];
	free(p5);
	delete[] p6;
	return 0;
}

通过调试发现在针对内置类型时，new和malloc都是动态申请了一块内存，几乎是一样的；

但在针对自定义类型时，new先开了一块空间，然后再去调用了构造函数。delete同理在针对自定义类型时也会去调用对应的析构函数。因此new/delete 和 malloc/free最大区别是new/delete除了申请/销毁空间还会调用对应构造/析构函数。

即new = 开空间 + 构造函数 ， delete = 析构函数 + 销毁空间 。

operator new与operator delete函数

new/delete的开/销毁空间与malloc/free有什么区别呢？

实际上new在底层是调用operator new全局函数来申请空间，delete在底层通过 operator delete全局函数来释放空间。

而operator new函数实际是对malloc进行了封装，operator delete函数是对free进行了封装。区别在于若申请空间不足或出错时，采用了抛异常的玩法，不会终止程序(后续章节会讲到)。

内置类型

自定义类型

定位new

定义：为已分配的原始内存空间中调用构造函数初始化一个对象。

使用方式：new(place_address) type或new(place_address) type(initializer-list)

place_address 必须是一个指针， initializer-list 是类型的初始化列表。如：

new (p) A;

 那什么时候会用到定位new呢？一般是与内存池(池化技术)搭配使用，因为内存池的内存并未初始化，需要new来帮助自定义类型对象调用构造函数完成初始化。这里浅浅地了解下内存池。

应用场景：malloc、calloc都是向堆中申请内存，但如果申请频繁的话，就会增大系统内存分配函数的开销，因此需要借助内存池来减少开销。实际上，stl库中很多都用到了内存池的技术，如vector。

malloc/free和new/delete的区别

它们都是从堆上申请空间，不同点如下。