【C++】-- 内存管理new和delete详解_c++ new delete-程序员宅基地

技术标签: C++  c++  开发语言  

目录

一、C/C++ 内存分布

二、C语言动态内存管理方式

三、C++使用new和delete 的原因

四、C++动态内存管理方式

         1.new和delete

2.operator new和operator delete

五、内存泄漏


一、C/C++ 内存分布

C/C++内存被分为6个区域:

(1)内核空间存放内核代码和环境变量

(2) 栈(也叫堆栈)存放非静态局部变量/函数参数/返回值等等,栈是向下增长的。

(3)内存映射段是高效的I/O映射方式,用于装载一个共享的动态内存库。用户可使用系统接口创建共享内存,做进程间通信。

(4)堆用于程序运行时动态内存分配,堆是向上增长的。

(5)数据段存储全局数据和静态数据。

(6)代码段存放可执行的代码/只读常量。

如下图所示:

二、C语言动态内存管理方式

C语言动态内存管理malloc、calloc、realloc、free的详细介绍请参考文章C语言-动态内存管理详解

三、C++使用new和delete 的原因

new和delete是C++向内存申请空间和释放空间的操作符, C++为什么要使用new和delete?

1.C语言使用malloc、calloc、realloc、free管理的不便之处在于:

(1)手动申请内存需要手动计算字节数的大小

(2)对返回值类型void *要进行强转,否则无法解引用

(3)内存是否申请成功需要对返回值进行判空

(4)需要include头文件<stdlib.h>

2.new和delete的使用对自定义类型会进行处理:

(1)new会调用构造函数对类对象进行初始化

(2)delete会调用析构函数进行资源清理

四、C++动态内存管理方式

  1.new和delete

 (1)new/delete和malloc/free对内置类型的操作没有区别:

①申请和释放单个空间,使用new和delete

②申请和释放连续空间,使用new[ ]和delete[ ]

#include<stdlib.h>
int main()
{
	//操作内置类型

	//1.申请单个int对象
	int* p1 = (int*)malloc(sizeof(int));
	free(p1);

	int* p2 = new int;//int* p2 = new int(10); 申请单个int对象并将其初始化为10
	delete p2;
	
	//2.申请10个元素的int数组
	int* p3 = (int*)malloc(sizeof(int) * 10);
	free(p3);

	int* p4 = new int[10];
	delete[] p4;//自定义类型数组delete要带上[],否则不匹配,程序会意外终止
	
	return 0;
}

C++11支持用{}对数组初始化:

int* p5 = new int[5]{1,2,3,4,5};
delete[] p5;

 (2)new/delete和malloc/free对自定义类型的操作有区别:

①malloc/free对自定义类型的操作只会开空间/释放空间

②new操作自定义类型会开空间+初始化,delete操作自定义类型会调用析构函数清理+释放空间

#include<iostream>
#include<stdlib.h>
using namespace std;

struct ListNode
{
	ListNode* _next;
	ListNode* _prev;
	int _val;

	ListNode(int val = 0)
		: _next(nullptr)
		, _prev(nullptr)
		, _val(val)
	{
		cout << "this.val =" << val << endl;
	}

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

int main()
{
	struct ListNode* n1 = (struct ListNode*)malloc(sizeof(struct ListNode));
	struct ListNode* n2 = new ListNode;

	free(n1);
	delete n2;

	return 0;
}

F10监视,走完28行执行了new操作,发现n1 malloc的3个成员变量是随机值,而n2 new的3个成员变量都被初始化了,所以new不仅会开空间,还会调用自定义类型的构造函数进行初始化: 

 走完31行,执行了delete操作,发现打印了析构函数的内容,调用了析构函数:

 因此,C++不仅开空间还初始化,不仅释放空间还清理资源。

总结:

(1)C++如果为内置类型申请空间,malloc和new没有区别

(2) C++如果为自定义类型申请空间,区别很大:

          ①new和是开空间+初始化,delete是析构清理+释放空间

          ②malloc仅仅是开空间,free仅仅是释放空间

建议:C++中,无论是内置类型,还是自定义类型的申请释放,尽量使用new和delete

如何在堆上申请4GB的空间?在32位机器上执行下面代码,程序会崩溃,因为2^32=1024*1024*1024*4,32位机器一共才4G,根据C++内存分布,内核空间占1G,剩余的5个区域一共占3G,因此32位平台是申请不到4GB内存空间的。

void* p1 = malloc(1024 * 1024 * 1024 * 4);
cout << p1 << endl;

但是,在VS上将项目-项目属性-配置管理器-选择x64平台:

 这时64位机器共2^64,大概160亿GB左右,远远大于4G,顺利申请到了4G空间,但这4G其实也是虚拟的:

2.operator new和operator delete

定义:operator new 和operator delete是系统提供的全局函数,new在底层调用operator new全局函数来申请空间,delete在底层通过operator delete全局函数来释放空间,它们不是new和delete的重载。

与malloc区别:operator new、operator delete的用法和malloc、free的用法是一样的,功能都是在堆上申请释放空间,但是失败了的处理方式不一样,malloc失败返回NULL,operator new失败以后抛异常。

使用new为自定义类型ListNode申请空间并初始化:new会调用operator new函数和构造函数,operator new会调用malloc和失败抛异常机制,因此new和operator new申请失败都会抛异常:

从上图可以看出,new并不直接调用 malloc,而是调用了operator new,因为operator new被封装了,malloc申请失败直接报返回值,但operator new申请失败会抛异常。

delete先析构把资源清理掉,再调用operator delete释放栈空间本身。

在32位系统中申请0x7fffffff字节大小的空间,operator new函数申请空间失败抛异常:

void f()
{
	void* p3 = malloc(0x7fffffff);
	if (p3 == NULL)
	{
		cout << "malloc fail " << endl;
	}

	void* p4 = operator new(0x7fffffff);
    cout << "申请空间ing" << endl;

    char* p5 = new char('C');
	char* p6 = new char[2];

    ListNode* p7 = new ListNode[5]{1,2,3,4,5};
}

int main()
{
	
	try
	{
		f();
	}
	catch (exception& e)
	{
		cout << e.what() << endl;
	}

	return 0;
}

 申请空间失败:没有打印申请空间ing,说明抛异常会直接跳到catch的位置,就不会执行cout << "申请空间ing" << endl;

F10-调试-反汇编,对于内置类型,发现new调的是operator new,new 类型[ ] 其实调的就是operator new[ ]:

 对于自定义类型,会调operator new 和ListNode构造函数

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

五、内存泄漏

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

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

假如申请了堆内存,但是忘记释放,会造成内存泄漏,但只是指针丢失,而不是内存丢失:

int main()
{
	int *p1 = (int *)malloc(sizeof(int));

	return 0;
}

为什么内存不会丢?

因为在堆上申请了一块空间后,拿到了指向这块空间的指针,现在就可以访问这块空间了。但是访问之后由于疏忽或者程序设计错误,没有了这块指针,或者不用了这块指针,但并不知道指针没释放。而内存始终存在,把空间分配使用者的意思是,这块空间的使用权交给了使用者,free就是把这块内存空间还给了操作系统,现在系统就可以把这块空间再重新分配给别的使用者,因此如果不归还内存,内存会越来越少,直到最后无法正常使用。

普通程序就算内存泄漏,问题也不大,因为程序运行的是进程,每个进程都有自己的运行空间,它们一起映射物理地址,进程只要正常结束,就算有内存泄漏,最后也会被释放掉。

版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/gx714433461/article/details/124393974

智能推荐

分布式光纤传感器的全球与中国市场2022-2028年:技术、参与者、趋势、市场规模及占有率研究报告_预计2026年中国分布式传感器市场规模有多大-程序员宅基地

文章浏览阅读3.2k次。本文研究全球与中国市场分布式光纤传感器的发展现状及未来发展趋势,分别从生产和消费的角度分析分布式光纤传感器的主要生产地区、主要消费地区以及主要的生产商。重点分析全球与中国市场的主要厂商产品特点、产品规格、不同规格产品的价格、产量、产值及全球和中国市场主要生产商的市场份额。主要生产商包括:FISO TechnologiesBrugg KabelSensor HighwayOmnisensAFL GlobalQinetiQ GroupLockheed MartinOSENSA Innovati_预计2026年中国分布式传感器市场规模有多大

07_08 常用组合逻辑电路结构——为IC设计的延时估计铺垫_基4布斯算法代码-程序员宅基地

文章浏览阅读1.1k次,点赞2次,收藏12次。常用组合逻辑电路结构——为IC设计的延时估计铺垫学习目的:估计模块间的delay,确保写的代码的timing 综合能给到多少HZ,以满足需求!_基4布斯算法代码

OpenAI Manager助手(基于SpringBoot和Vue)_chatgpt网页版-程序员宅基地

文章浏览阅读3.3k次,点赞3次,收藏5次。OpenAI Manager助手(基于SpringBoot和Vue)_chatgpt网页版

关于美国计算机奥赛USACO,你想知道的都在这_usaco可以多次提交吗-程序员宅基地

文章浏览阅读2.2k次。USACO自1992年举办,到目前为止已经举办了27届,目的是为了帮助美国信息学国家队选拔IOI的队员,目前逐渐发展为全球热门的线上赛事,成为美国大学申请条件下,含金量相当高的官方竞赛。USACO的比赛成绩可以助力计算机专业留学,越来越多的学生进入了康奈尔,麻省理工,普林斯顿,哈佛和耶鲁等大学,这些同学的共同点是他们都参加了美国计算机科学竞赛(USACO),并且取得过非常好的成绩。适合参赛人群USACO适合国内在读学生有意向申请美国大学的或者想锻炼自己编程能力的同学,高三学生也可以参加12月的第_usaco可以多次提交吗

MySQL存储过程和自定义函数_mysql自定义函数和存储过程-程序员宅基地

文章浏览阅读394次。1.1 存储程序1.2 创建存储过程1.3 创建自定义函数1.3.1 示例1.4 自定义函数和存储过程的区别1.5 变量的使用1.6 定义条件和处理程序1.6.1 定义条件1.6.1.1 示例1.6.2 定义处理程序1.6.2.1 示例1.7 光标的使用1.7.1 声明光标1.7.2 打开光标1.7.3 使用光标1.7.4 关闭光标1.8 流程控制的使用1.8.1 IF语句1.8.2 CASE语句1.8.3 LOOP语句1.8.4 LEAVE语句1.8.5 ITERATE语句1.8.6 REPEAT语句。_mysql自定义函数和存储过程

半导体基础知识与PN结_本征半导体电流为0-程序员宅基地

文章浏览阅读188次。半导体二极管——集成电路最小组成单元。_本征半导体电流为0

随便推点

【Unity3d Shader】水面和岩浆效果_unity 岩浆shader-程序员宅基地

文章浏览阅读2.8k次,点赞3次,收藏18次。游戏水面特效实现方式太多。咱们这边介绍的是一最简单的UV动画(无顶点位移),整个mesh由4个顶点构成。实现了水面效果(左图),不动代码稍微修改下参数和贴图可以实现岩浆效果(右图)。有要思路是1,uv按时间去做正弦波移动2,在1的基础上加个凹凸图混合uv3,在1、2的基础上加个水流方向4,加上对雾效的支持,如没必要请自行删除雾效代码(把包含fog的几行代码删除)S..._unity 岩浆shader

广义线性模型——Logistic回归模型(1)_广义线性回归模型-程序员宅基地

文章浏览阅读5k次。广义线性模型是线性模型的扩展,它通过连接函数建立响应变量的数学期望值与线性组合的预测变量之间的关系。广义线性模型拟合的形式为:其中g(μY)是条件均值的函数(称为连接函数)。另外,你可放松Y为正态分布的假设,改为Y 服从指数分布族中的一种分布即可。设定好连接函数和概率分布后,便可以通过最大似然估计的多次迭代推导出各参数值。在大部分情况下,线性模型就可以通过一系列连续型或类别型预测变量来预测正态分布的响应变量的工作。但是,有时候我们要进行非正态因变量的分析,例如:(1)类别型.._广义线性回归模型

HTML+CSS大作业 环境网页设计与实现(垃圾分类) web前端开发技术 web课程设计 网页规划与设计_垃圾分类网页设计目标怎么写-程序员宅基地

文章浏览阅读69次。环境保护、 保护地球、 校园环保、垃圾分类、绿色家园、等网站的设计与制作。 总结了一些学生网页制作的经验:一般的网页需要融入以下知识点:div+css布局、浮动、定位、高级css、表格、表单及验证、js轮播图、音频 视频 Flash的应用、ul li、下拉导航栏、鼠标划过效果等知识点,网页的风格主题也很全面:如爱好、风景、校园、美食、动漫、游戏、咖啡、音乐、家乡、电影、名人、商城以及个人主页等主题,学生、新手可参考下方页面的布局和设计和HTML源码(有用点赞△) 一套A+的网_垃圾分类网页设计目标怎么写

C# .Net 发布后,把dll全部放在一个文件夹中,让软件目录更整洁_.net dll 全局目录-程序员宅基地

文章浏览阅读614次,点赞7次,收藏11次。之前找到一个修改 exe 中 DLL地址 的方法, 不太好使,虽然能正确启动, 但无法改变 exe 的工作目录,这就影响了.Net 中很多获取 exe 执行目录来拼接的地址 ( 相对路径 ),比如 wwwroot 和 代码中相对目录还有一些复制到目录的普通文件 等等,它们的地址都会指向原来 exe 的目录, 而不是自定义的 “lib” 目录,根本原因就是没有修改 exe 的工作目录这次来搞一个启动程序,把 .net 的所有东西都放在一个文件夹,在文件夹同级的目录制作一个 exe._.net dll 全局目录

BRIEF特征点描述算法_breif description calculation 特征点-程序员宅基地

文章浏览阅读1.5k次。本文为转载,原博客地址:http://blog.csdn.net/hujingshuang/article/details/46910259简介 BRIEF是2010年的一篇名为《BRIEF:Binary Robust Independent Elementary Features》的文章中提出,BRIEF是对已检测到的特征点进行描述,它是一种二进制编码的描述子,摈弃了利用区域灰度..._breif description calculation 特征点

房屋租赁管理系统的设计和实现,SpringBoot计算机毕业设计论文_基于spring boot的房屋租赁系统论文-程序员宅基地

文章浏览阅读4.1k次,点赞21次,收藏79次。本文是《基于SpringBoot的房屋租赁管理系统》的配套原创说明文档,可以给应届毕业生提供格式撰写参考,也可以给开发类似系统的朋友们提供功能业务设计思路。_基于spring boot的房屋租赁系统论文