C/C++内存管理

先上一张图,简洁明了:

C语言在动态内存管理方面,有malloc/calloc来动态申请内存,realloc来进行对所申请内存大小的调整,free进行动态内存的释放。但C++中由于面向对象思想的提出,有构造函数来初始化对象,析构函数来进行对象中资源的清理,以及C++异常机制的提出,使得C语言的动态内存管理的相关机制已经不能满足C++的应用场景了,因此C++给出了new/delete操作符来进行C++的动态内存管理 ,使得C++的内存管理更加灵活。

new/delete

具体使用:

cpp 复制代码
#include<iostream>
#include <string>
class A
{
public:
	A(int num = 0, std::string message = "hello")
		:_num(num),
		_message(message)
	{}
private:
	int _num;
	std::string _message;
};
int main()
{
	int* p1 = new int;
	char* pch = new char;
	A* pa = new A(10, "hello world!");
	int* array = new int[10];

	delete p1;
	delete pch;
	delete pa;
	delete[] array;
	return 0;
}

注意事项:申请和释放单个元素空间时,使用new/delete,申请多个元素的连续空间时,使用new[ ]和delete[ ]。

operator new/operator delete

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

(2)operator new 实际是通过malloc来申请空间,如果malloc申请空间成功就直接返回,否则执行用户提供的空间不足应对措施,如果用户提供该措施就继续申请,否则就抛异常。operator delete 最终是通过free来释放空间的。

new/delete实现原理

内置类型

如果是内置类型,new/delete和malloc/free基本类似,不同的是malloc/free进行单个元素空间的申请,new[ ]/delete[ ]进行连续多个元素空间的申请。并且malloc失败返回NULL,new失败抛异常。

自定义类型

(1)如果是自定义类型,malloc/free只会进行对应大小的空间申请,并不会对资源进行初始化,而new会在调用operator new申请对应的空间后,自动调用该类的构造函数来进行资源的初始化,delete则会在调用operator delete释放资源之前先调用对应类的析构函数来进行资源的清理。

(2)new T[N]先调用operator new[ ]申请N个T的空间,再调用N次T的构造函数来进行资源的初始化,delete[N]则是会先调用N次对应类的析构函数来进行资源的清理,再调用operator delete[ ]释放申请的空间。

定位new

用于对申请的动态内存进行资源初始化。场景:只通过malloc进行了对应空间的申请,却没有调用对应的构造函数来进行资源的初始化,此时就可以用定位new来完成对应资源的初始化。

使用格式: new (place_address) type或者new (place_address) type(initializer-list) place_address必须是一个指针,initializer-list是类型的初始化列表。

具体使用:

cpp 复制代码
#include<iostream>
#include <string>
class A
{
public:
private:
	int _num;
	std::string _message;
};
int main()
{
	A* pa = (A*)malloc(sizeof(A));
	new(pa)A;
	return 0;
}

new/delete与malloc/free的不同

(1)new/delete是操作符,而malloc/free是函数。

(2)malloc在申请空间时,需要计算所要申请空间的字节数,new只需要在其后添加类型,申请多个时,只需要在new[ ]的[ ]中填写要申请的个数即可。

(3)malloc申请空间失败时返回NULL,new申请空间失败时抛异常。

(4)malloc/free只是申请和释放了空间,而new/delete则会在申请对应空间后调用对应的构造函数来进行资源的初始化,也会在释放对应空间前先调用对应的析构函数来进行资源的清理。

(5)malloc在申请成功的情况下的返回值是void*,使用时需要用户进行对应类型的强制类型转换,new则不需要,返回的是对应类型的指针。

相关推荐
艾莉丝努力练剑1 小时前
【LeetCode&数据结构】单链表的应用——反转链表问题、链表的中间节点问题详解
c语言·开发语言·数据结构·学习·算法·leetcode·链表
还债大湿兄3 小时前
《C++内存泄漏8大战场:Qt/MFC实战详解 + 面试高频陷阱破解》
c++·qt·mfc
倔强青铜35 小时前
苦练Python第18天:Python异常处理锦囊
开发语言·python
u_topian6 小时前
【个人笔记】Qt使用的一些易错问题
开发语言·笔记·qt
珊瑚里的鱼6 小时前
LeetCode 692题解 | 前K个高频单词
开发语言·c++·算法·leetcode·职场和发展·学习方法
AI+程序员在路上6 小时前
QTextCodec的功能及其在Qt5及Qt6中的演变
开发语言·c++·qt
xingshanchang6 小时前
Matlab的命令行窗口内容的记录-利用diary记录日志/保存命令窗口输出
开发语言·matlab
Risehuxyc6 小时前
C++卸载了会影响电脑正常使用吗?解析C++运行库的作用与卸载后果
开发语言·c++
AI视觉网奇7 小时前
git 访问 github
运维·开发语言·docker
不知道叫什么呀7 小时前
【C】vector和array的区别
java·c语言·开发语言·aigc