【C++精华铺】7.C++内存管理

news2024/7/6 18:31:37

目录

1. C语言动态内存管理

2. C++内存管理方式

2.1 new/delete和new T[]/delete[]

 2.1.1 操作内置类型

2.1.2 操作自定义类型

2.2 new/delete和new T[]/delete[]的原理

2.2.1 原理

2.2.2 operator new和operator delete        

2.2.3 new T[]的特殊处理(可以不看)

2.3  定位new表达式(了解)

 3. C语言 malloc/free和C++ new/delete的区别(面试常考)

1. C语言动态内存管理

        C++的内存管理方式和C语言的内存管理方式存在千丝万缕的关系,如果对C语言内存管理不熟悉的可以先去看看这篇文章:

动态内存分配—malloc calloc realloc free 和常见动态内存错误_子亦半截诗的博客-CSDN博客https://zi-yi.blog.csdn.net/article/details/127347451?spm=1001.2014.3001.5502

2. C++内存管理方式

        C++继承了C语言的内存管理方式,但是C语言的内存管理方式在C++中显得心有余而力不足,在涉及内存管理的自定义类型的内存释放上就显得无能为力。C++引入了new/delete和new T[]/delete[]的内存管理方式。在正式学习C++的内存管理方式之前先重温一下C/C++的内存分布:

2.1 new/delete和new T[]/delete[]

 2.1.1 操作内置类型

        new/delete和new T[]/delete[]在操作内置类型的时候和malloc申请空间的方式基本相同,但是new/delete和new T[]/delete[]在开辟空间的同时可以进行初始化。C语言中开辟空间用malloc等,释放空间用free,C++中开辟空间用new/new T[],释放空间用delete/delete[]。new/delete用来开辟和释放单个对象的空间,new T[]/delete[]用来开辟和释放多个连续对象的空间。(new和delete,new T[]和delete[]必须配套使用,不能交叉使用)

int main()
{
	//C++98
	//动态申请一个int类型的空间;
	int* p1 = new int;
	delete p1;
	//动态申请一个int类型的空间并且初始化成1;
	int* p2 = new int(1);
	delete p2;
	//动态开辟十个int类型的空间;
	int* p3 = new int[10];
	delete[] p3;
	//动态开辟十个int类型的空间并全部初始化成0(不支持逐个初始化);
	int* p4 = new int[10]();
	delete[] p4;
	
	//C++11 支持了列表初始化
	//动态申请一个int类型的空间并且初始化成0;
	int* p5 = new int{};
	delete p5;
	//动态申请一个int类型的空间并且初始化成1;
	int* p6 = new int{1};
	delete p6;
	//动态开辟十个int类型的空间并全部初始化成0;
	int* p7 = new int[10] {};
	delete[] p7;
	//动态开辟十个int类型的空间,前面三个空间分别初始化成1,2,3,后面7个元素初始化成0;
	int* p8 = new int[10] {1, 2, 3};
	delete[] p8;
}

2.1.2 操作自定义类型

        new/delete和new T[]/delete[]在操作内置类型的时候和malloc几乎没有区别,但是new/delete和new T[]/delete[]在操作自定义类型的时候除了开空间还会调用构造函数和析构函数。如下:

class Date
{
public:
	Date(int year = 2023, int month = 8, int day = 14)
		:_year(year)
		, _month(month)
		, _day(day)
	{
		cout << "Date(int year = 2023, int month = 8, int day = 14)" << endl;
	}
	~Date()
	{
		cout << "~Date()" << endl;
	}
private:
	int _year;
	int _month;
	int _day;
};

int main()
{
	Date *d1 = (Date*)malloc(sizeof(Date)); //开空间
	free(d1);  //释放空间

	cout << "----------------------------------" << endl;

	Date* d2 = new Date(); //开空间后调用构造
	delete d2;   //调用析构后释放空间


	cout << "----------------------------------" << endl;

	Date* d3 = new Date[10];  //开十个Date大小的空间,调用十次构造函数。
	delete[] d3;   //调用十次析构函数,然后释放空间。
}

输出:

         根据结果就可知new和delete不仅仅开空间和释放空间,并且调用了构造和析构。在new的时候new会先开空间然后调用构造函数,而delete会先调用析构函数然后再释放。

2.1.3 

2.2 new/delete和new T[]/delete[]的原理

2.2.1 原理

        在我们讲解new/delete之前我们要引入另外俩个函数,也就是operator new和operator delete,因为new的底层就会调用这个函数,不说废话直接上结论:

  1. new的原理:调用operator new函数申请空间;然后再申请的空间调用构造函数初始化对象。
  2. delete的原理:在空间上执行析构函数;调用operator delete释放空间。
  3. new T[N]的原理:调用operator new[](实际调用operator new函数完成N个对象空间的申请);然后在申请的空间上执行N次构造函数。
  4. delete[]的原理:在申请的空间上执行N次析构函数;调用operator delete[](实际调用operator delete函数完成N个对象空间的析构)完成析构。

2.2.2 operator new和operator delete        

        我们发现无论是new/new T[]还是delete/delete[]最后都调用了这operator new和operator delete,那operator new和operator delete究竟是何方神圣?其实operator new和operator delete是对malloc和free的封装,这俩个函数分别都有三种不同的重载形式。

  • throwing(1) void* operator new (std::size_t size) throw (std::bad_alloc);
  • nothrow(2) void* operator new (std::size_t size, const std::nothrow_t& nothrow_value) throw();
  • placement(3) void* operator new (std::size_t size, void* ptr) throw();
  • ordinary(1) void operator delete (void* ptr) throw();
  • nothrow(2) void operator delete (void* ptr, const std::nothrow_t& nothrow_constant) throw();
  • placement(3) void operator delete (void* ptr, void* voidptr2) throw();

        对于这几个函数我们没必要做过多的深究(容易走火入魔),性价比不高。所以我们只会带大家了解一下俩个函数的第一种重载形式,其他的我只会一句带过。

        1. throwing(1) void* operator new (std::size_t size) throw (std::bad_alloc);这个函数的底层实际是通过malloc来申请空间,当malloc申请空间成功就会直接返回空间的地址,如果是失败,会尝试执行空间不足的应对措施,如果用户设置了应对措施就会继续申请,否则就会抛bad_alloc异常。(对于异常如果不了解的同学只需记住就可以,以后会学习)

void* __CRTDECL operator new(size_t size) _THROW1(_STD bad_alloc)
{
	// try to allocate size bytes
	void* p;
	while ((p = malloc(size)) == 0)
		if (_callnewh(size) == 0)
		{
			// report no memory
			// 如果申请内存失败了,这里会抛出bad_alloc 类型异常
			static const std::bad_alloc nomem;
			_RAISE(nomem);
		}
	return (p);
}

         throwing(1)nothrow(2)的区别就是nothrow(2)申请空间失败不会抛异常,而是返回空指针。 

        2. ordinary(1) void operator delete (void* ptr) throw();这个函数底层调用的是free来释放空间,使指针位置无效,解除内存分配。

/*
#define   free(p)               _free_dbg(p, _NORMAL_BLOCK)
*/
void operator delete(void* pUserData)
{
	_CrtMemBlockHeader* pHead;
	RTCCALLBACK(_RTC_Free_hook, (pUserData, 0));
	if (pUserData == NULL)
		return;
	_mlock(_HEAP_LOCK);  /* block other threads  阻止其他线程*/
	__TRY
		/* get a pointer to memory block header 获取指向内存块首地址的指针*/
		pHead = pHdr(pUserData);
	/* verify block type 验证块类型 */
	_ASSERTE(_BLOCK_TYPE_IS_VALID(pHead->nBlockUse));
	_free_dbg(pUserData, pHead->nBlockUse);   //调用free
	__FINALLY
		_munlock(_HEAP_LOCK);  /* release other threads 释放其他线程*/
	__END_TRY_FINALLY
		return;
}

        nothrow(2)和ordinary(1)功能完全相同,placement(3)也叫做放置删除,不会做任何处理。

         3. operator new/operator delete的使用:

        operator new/operator delete的使用方式和malloc/free完全相同,不同在于operator new/operator delete申请失败抛异常,malloc/free申请失败返回NULL。

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

	int* p2 = (int*)operator new(sizeof(int));
	operator delete(p2);
}

2.2.3 new T[]的特殊处理(可以不看)

        (这里大家可以跳过,因为不同编译器处理方式不同,不是特别需要去了解)在我们使用malloc/free、new/delete、new T[]/delete[] 的时候我们发现有的时候在一些情况下是可以交叉使用的,如果不涉及到调用构造和调用析构不会造成内存泄漏的情况下new和free、malloc和delete是可以交叉使用的(强烈不建议交叉使用,直接从根本上杜绝内存泄漏)像下面这种可以使用而且也不会造成内存泄漏,编译器是支持这样写的,但还是不建议。

int main()
{
	int* p = new int();
	free(p);

	int* p1 = (int*)malloc(sizeof(int));
	delete p1;
}

        对于自定义类型malloc/free、new/delete交叉使用由于free不会调用析构函数会造成内存泄漏,但是编译器也不会报错,也就是说少调用了析构函数造成内存泄漏编译器是不会报错的,无非就是浪费资源了呗。如下:

class Date
{
public:
	Date(int year = 2023, int month = 8, int day = 14)
		:_year(year)
		, _month(month)
		, _day(day)
	{
		cout << "Date(int year = 2023, int month = 8, int day = 14)" << endl;
	}
	~Date()
	{
		cout << "~Date()" << endl;
	}
private:
	int _year;
	int _month;
	int _day;
};


int main()
{
	Date* d1 = new Date();
	free(d1);
}

输出:

         但是当我们将(malloc/free、new/delete)和 new T[]/delete[]交叉使用时,编译器会直接报错,这里难道不只是少调用了析构函数的原因吗?根据上面的案例我们就知道少调用析构造成内存泄漏是不会报错的。那这里报错的原因是什么呢? 

class Date
{
public:
	Date(int year = 2023, int month = 8, int day = 14)
		:_year(year)
		, _month(month)
		, _day(day)
	{
		cout << "Date(int year = 2023, int month = 8, int day = 14)" << endl;
	}
	~Date()
	{
		cout << "~Date()" << endl;
	}
private:
	int _year;
	int _month;
	int _day;
};

int main()
{
	Date* d1 = new Date[10];
	free(d1); //delete d1;  运行错误
}

错误:

        其实告诉大家,这里报错其实是因为free的位置不对,为什么呢,因为这里编译器其实对new T[]做了处理:

        由于不同编译器的策略可能有不同,所以我们在使用的时候一定要配套使用,不要去交叉。 

2.3  定位new表达式(了解)

        定位new表达式区别于new的地方就是定位new不开空间,而是对一块已经存在的空间进行初始化。定位new的使用场景比较少,一般会与内存池一起搭配使用。

使用格式:
new (place_address) type或者new (place_address) type(initializer-list)

place_address必须是一个指针,initializer-list是类型的初始化列表

class Date
{
public:
	Date(int year = 2023, int month = 8, int day = 14)
		:_year(year)
		, _month(month)
		, _day(day)
	{
		cout << "Date(int year = 2023, int month = 8, int day = 14)" << endl;
	}
	void print()
	{
		cout << _year << '-' << _month << '-' << _day << endl;
	}
	~Date()
	{
		cout << "~Date()" << endl;
	}
private:
	int _year;
	int _month;
	int _day;
};
int main()
{
	int* p = (int*)malloc(sizeof(int));
	new(p)int(1);
	cout << *p << endl;

	cout << "-----------------------------" << endl;

	Date* d = (Date*)malloc(sizeof(Date));
	new(d)Date(2023, 8, 15);
	d->print();
}

输出:

 补充:内存池机制

        内存池是从堆中划出来的空间,正常我们向堆中申请空间需要先向操作系统申请,再由操作系统给我们分配,而向内存池申请不需要与操作系统交互,而是直接由内存池分配返回地址,因此内存池效率很高。

 3. C语言 malloc/free和C++ new/delete的区别(面试常考)

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

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/879219.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

Altium DXP原理图转换成Orcad Capture

买了个开发板&#xff0c;原图是Altium DXP的&#xff0c;但是个人熟悉的Orcad&#xff0c;PCB无所谓了&#xff0c;反正都要重画&#xff0c;但是原理图是件大工程&#xff0c;重画还可能出问题&#xff0c;所以想着把DXP转成Capture格式&#xff0c;查阅了相关文档&#xff0…

【Linux命令详解 | ps命令】 ps命令用于显示当前系统中运行的进程列表,帮助监控系统状态。

文章标题 简介一&#xff0c;参数列表二&#xff0c;使用介绍1. 基本用法2. 显示所有进程3. 显示进程详细信息4. 根据CPU使用率排序5. 查找特定进程6. 显示特定用户的进程7. 显示进程内存占用8. 查看进程树9. 实时监控进程10. 查看特定进程的详细信息11. 查看特定用户的进程统计…

RTT(RT-Thread)串口设备(RTT保姆级教程)

目录 UART串口设备 串口概述 访问串口设备接口 数据发送方法 数据接收方法 串口设备使用流程 串口中断接受实例 串口配置及串口发送 串口中断接收 DMA接收 UART串口设备 串口概述 本章主要介绍串口设备在RT-Thread操作系统中应用层如何使用。关于串口设备的使用&am…

解析TCP/IP协议的分层模型

了解ISO模型&#xff1a;构建通信的蓝图 为了促进网络应用的普及&#xff0c;国际标准化组织&#xff08;ISO&#xff09;引入了开放式系统互联&#xff08;Open System Interconnect&#xff0c;OSI&#xff09;模型。这个模型包括了七个层次&#xff0c;从底层的物理连接到顶…

Spring AOP实践:如何通过aop记录日志?

目录 一、依赖 二、自定义注解 三、切面 一、依赖 以SpringBoot工程为例&#xff0c;导入aop的依赖。 <dependency><groupId>org.springframework.boot</groupId><artifactId>spring-boot-starter-aop</artifactId> </dependency> 二…

GCviewer分析java垃圾回收的情况

一&#xff0c;下载并打包 1.在github上下载gcviewer,并解压。 2. 运行maven命令打包。mvn clean package -DskipTests 二&#xff0c;启动GCViewer 进入target目录&#xff0c;运行 java -jar gcviewer-1.37-SNAPSHOT.jar 运行后&#xff0c;会出来界面 三&#xff0c;加参…

轻松学会WiFi模块(ESP8266)—基于STM32,学到就是赚到!

目录 前言 一、ESP8266介绍 二、如何实现WiFi传输&#xff1f;代码详解附上 三、结果实现流程与展示 四、总结 题外话&#xff1a; 前言 哎哎哎&#xff0c;发觉好久没有更新博客了&#xff0c;最近一直事情比较多&#xff0c;也没什么时间注意博客&#xff0c;不过接下…

每天一道leetcode:1129. 颜色交替的最短路径(图论中等广度优先遍历)

今日份题目&#xff1a; 给定一个整数 n&#xff0c;即有向图中的节点数&#xff0c;其中节点标记为 0 到 n - 1。图中的每条边为红色或者蓝色&#xff0c;并且可能存在自环或平行边。 给定两个数组 redEdges 和 blueEdges&#xff0c;其中&#xff1a; redEdges[i] [ai, bi…

opencv实战项目 手势识别-实现尺寸缩放效果

手势识别系列文章目录 手势识别是一种人机交互技术&#xff0c;通过识别人的手势动作&#xff0c;从而实现对计算机、智能手机、智能电视等设备的操作和控制。 1. opencv实现手部追踪&#xff08;定位手部关键点&#xff09; 2.opencv实战项目 实现手势跟踪并返回位置信息&…

【Git】安装以及基本操作

目录 一、初识Git二、 在Linux底下安装Git一&#xff09;centOS二&#xff09;Ubuntu 三、 Git基本操作一&#xff09; 创建本地仓库二&#xff09;配置本地仓库三&#xff09;认识工作区、暂存区、版本库四&#xff09;添加文件五&#xff09;查看.git文件六&#xff09;修改文…

问道管理:旅游酒店板块逆市拉升,桂林旅游、华天酒店涨停

游览酒店板块14日盘中逆市拉升&#xff0c;到发稿&#xff0c;桂林游览、华天酒店涨停&#xff0c;张家界涨超8%&#xff0c;君亭酒店涨超5%&#xff0c;众信游览、云南游览涨逾4%。 音讯面上&#xff0c;8月10日&#xff0c;文旅部办公厅发布康复出境团队游览第三批名单&#…

Flink源码之StreamTask启动流程

每个ExecutionVertex分配Slot后&#xff0c;JobMaster就会向Slot所在的TaskExecutor提交RPC请求执行Task&#xff0c;接口为TaskExecutorGateway::submitTask CompletableFuture<Acknowledge> submitTask(TaskDeploymentDescriptor tdd, JobMasterId jobMasterId, RpcTi…

无涯教程-Perl - select函数

描述 此函数将输出的默认文件句柄设置为FILEHANDLE,如果未指定文件句柄,则设置由print和write等功能使用的文件句柄。如果未指定FILEHANDLE,则它将返回当前默认文件句柄的名称。 select(RBITS,WBITS,EBITS,TIMEOUT)使用指定的位调用系统功能select()。 select函数设置用于处理…

Postgresql 基础使用语法

1.数据类型 1.数字类型 类型 长度 说明 范围 与其他db比较 Smallint 2字节 小范围整数类型 32768到32767 integer 4字节 整数类型 2147483648到2147483647 bigint 8字节 大范围整数类型 -9233203685477808到9223203685477807 decimal 可变 用户指定 精度小…

用友Java后端笔试2023-8-5

计算被直线划分区域 在笛卡尔坐标系&#xff0c;存在区域[A,B],被不同线划分成多块小的区域&#xff0c;简单起见&#xff0c;假设这些不同线都直线并且不存在三条直线相交于一点的情况。 img 那么&#xff0c;如何快速计算某个时刻&#xff0c;在 X 坐标轴上[ A&#xff0c;…

读书笔记 |【项目思维与管理】➾ 项目成为一种生存方式

读书笔记 |【项目思维与管理】➾ 项目成为一种生存方式 一、理解项目固有的挑战二、项目对企业的价值三、知识型企业的经营逻辑四、做项目管理的推进者 &#x1f496;The Begin&#x1f496;点点关注&#xff0c;收藏不迷路&#x1f496; 项目无处不在&#xff0c;项目已经成为…

【佳佳怪文献分享】安全人机交互的学习责任分配与自动驾驶应用

标题&#xff1a;Learning Responsibility Allocations for Safe Human-Robot Interaction with Applications to Autonomous Driving 作者&#xff1a;Ryan K. Cosner, Yuxiao Chen, Karen Leung, and Marco Pavone 来源&#xff1a;2023 IEEE International Conference on …

鸿蒙开发学习笔记2——实现页面之间跳转

鸿蒙开发学习笔记2——实现页面之间跳转 问题背景 上篇文章中&#xff0c;介绍了鸿蒙开发如何新建一个项目跑通hello world&#xff0c;本文将介绍在新建的项目中实现页面跳转的功能。 问题分析 ArkTS工程目录结构&#xff08;FA模型&#xff09; 各目录和路径的介绍如下…

iOS手机无法安装Charles 的ssl证书

问题描述 iOS客户端安装证书时一直卡在下载这一步&#xff0c;无法抓包 1、打开Charles&#xff0c;选择help→SSL Proxying→Install Charles Root Certificate on a Mobile Device or Remote Browser 2、按照步骤1中的提示进行操作&#xff0c;手机连接电脑代理&#xff0c;…

C语言学习笔记---结构体初阶

C语言程序设计笔记---014 C语言结构体初阶1、结构的基础与概念1.1、结构体基础例程1 --- 描述一个学生属性 2、结构体成员的类型2.1、结构体类型例程1 --- 描述一个学生属性 3、结构体的变量定义与初识化3.1、结构体的变量定义与初识化例程13.2、结构体的变量定义与初识化例程2…