【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

智能推荐

c# 调用c++ lib静态库_c#调用lib-程序员宅基地

文章浏览阅读2w次,点赞7次,收藏51次。四个步骤1.创建C++ Win32项目动态库dll 2.在Win32项目动态库中添加 外部依赖项 lib头文件和lib库3.导出C接口4.c#调用c++动态库开始你的表演...①创建一个空白的解决方案,在解决方案中添加 Visual C++ , Win32 项目空白解决方案的创建:添加Visual C++ , Win32 项目这......_c#调用lib

deepin/ubuntu安装苹方字体-程序员宅基地

文章浏览阅读4.6k次。苹方字体是苹果系统上的黑体,挺好看的。注重颜值的网站都会使用,例如知乎:font-family: -apple-system, BlinkMacSystemFont, Helvetica Neue, PingFang SC, Microsoft YaHei, Source Han Sans SC, Noto Sans CJK SC, W..._ubuntu pingfang

html表单常见操作汇总_html表单的处理程序有那些-程序员宅基地

文章浏览阅读159次。表单表单概述表单标签表单域按钮控件demo表单标签表单标签基本语法结构<form action="处理数据程序的url地址“ method=”get|post“ name="表单名称”></form><!--action,当提交表单时,向何处发送表单中的数据,地址可以是相对地址也可以是绝对地址--><!--method将表单中的数据传送给服务器处理,get方式直接显示在url地址中,数据可以被缓存,且长度有限制;而post方式数据隐藏传输,_html表单的处理程序有那些

PHP设置谷歌验证器(Google Authenticator)实现操作二步验证_php otp 验证器-程序员宅基地

文章浏览阅读1.2k次。使用说明:开启Google的登陆二步验证(即Google Authenticator服务)后用户登陆时需要输入额外由手机客户端生成的一次性密码。实现Google Authenticator功能需要服务器端和客户端的支持。服务器端负责密钥的生成、验证一次性密码是否正确。客户端记录密钥后生成一次性密码。下载谷歌验证类库文件放到项目合适位置(我这边放在项目Vender下面)https://github.com/PHPGangsta/GoogleAuthenticatorPHP代码示例://引入谷_php otp 验证器

【Python】matplotlib.plot画图横坐标混乱及间隔处理_matplotlib更改横轴间距-程序员宅基地

文章浏览阅读4.3k次,点赞5次,收藏11次。matplotlib.plot画图横坐标混乱及间隔处理_matplotlib更改横轴间距

docker — 容器存储_docker 保存容器-程序员宅基地

文章浏览阅读2.2k次。①Storage driver 处理各镜像层及容器层的处理细节,实现了多层数据的堆叠,为用户 提供了多层数据合并后的统一视图②所有 Storage driver 都使用可堆叠图像层和写时复制(CoW)策略③docker info 命令可查看当系统上的 storage driver主要用于测试目的,不建议用于生成环境。_docker 保存容器

随便推点

网络拓扑结构_网络拓扑csdn-程序员宅基地

文章浏览阅读834次,点赞27次,收藏13次。网络拓扑结构是指计算机网络中各组件(如计算机、服务器、打印机、路由器、交换机等设备)及其连接线路在物理布局或逻辑构型上的排列形式。这种布局不仅描述了设备间的实际物理连接方式,也决定了数据在网络中流动的路径和方式。不同的网络拓扑结构影响着网络的性能、可靠性、可扩展性及管理维护的难易程度。_网络拓扑csdn

JS重写Date函数,兼容IOS系统_date.prototype 将所有 ios-程序员宅基地

文章浏览阅读1.8k次,点赞5次,收藏8次。IOS系统Date的坑要创建一个指定时间的new Date对象时,通常的做法是:new Date("2020-09-21 11:11:00")这行代码在 PC 端和安卓端都是正常的,而在 iOS 端则会提示 Invalid Date 无效日期。在IOS年月日中间的横岗许换成斜杠,也就是new Date("2020/09/21 11:11:00")通常为了兼容IOS的这个坑,需要做一些额外的特殊处理,笔者在开发的时候经常会忘了兼容IOS系统。所以就想试着重写Date函数,一劳永逸,避免每次ne_date.prototype 将所有 ios

如何将EXCEL表导入plsql数据库中-程序员宅基地

文章浏览阅读5.3k次。方法一:用PLSQL Developer工具。 1 在PLSQL Developer的sql window里输入select * from test for update; 2 按F8执行 3 打开锁, 再按一下加号. 鼠标点到第一列的列头,使全列成选中状态,然后粘贴,最后commit提交即可。(前提..._excel导入pl/sql

Git常用命令速查手册-程序员宅基地

文章浏览阅读83次。Git常用命令速查手册1、初始化仓库git init2、将文件添加到仓库git add 文件名 # 将工作区的某个文件添加到暂存区 git add -u # 添加所有被tracked文件中被修改或删除的文件信息到暂存区,不处理untracked的文件git add -A # 添加所有被tracked文件中被修改或删除的文件信息到暂存区,包括untracked的文件...

分享119个ASP.NET源码总有一个是你想要的_千博二手车源码v2023 build 1120-程序员宅基地

文章浏览阅读202次。分享119个ASP.NET源码总有一个是你想要的_千博二手车源码v2023 build 1120

【C++缺省函数】 空类默认产生的6个类成员函数_空类默认产生哪些类成员函数-程序员宅基地

文章浏览阅读1.8k次。版权声明:转载请注明出处 http://blog.csdn.net/irean_lau。目录(?)[+]1、缺省构造函数。2、缺省拷贝构造函数。3、 缺省析构函数。4、缺省赋值运算符。5、缺省取址运算符。6、 缺省取址运算符 const。[cpp] view plain copy_空类默认产生哪些类成员函数

推荐文章

热门文章

相关标签