C++初阶:C/C++内存管理、new与delete详解

news2024/11/17 16:19:13

之前结束了类与对象:今天进行下面部分内容的学习


文章目录

  • 1.C/C++内存分布
  • 2.C语言中动态内存管理方式:malloc/calloc/realloc/free
  • 3.C++动态内存管理方式
    • 3.1new/delete操作内置类型
    • 3.2new和delete操作自定义类型
  • 4.operator new与operator delete函数
  • 5.new和delete的实现原理
    • 5.1内置类型
    • 5.2自定义类型
  • 6.定位new表达式(placement-new)
  • 7.知识点梳理
    • malloc/free和new/delete的区别


1.C/C++内存分布

请添加图片描述

具体说明:

  1. 栈又叫堆栈–非静态局部变量/函数参数/返回值等等,栈是向下增长的。栈上的内存分配和释放是通过编译器生成的代码来管理的,通常是通过在函数退出时进行清理来实现的
  2. 内存映射段是高效的I/O映射方式,用于装载一个共享的动态内存库。用户可使用系统接口创建共享共享内存,做进程间通信
  3. 堆用于程序运行时动态内存分配,堆是可以上增长的。堆上的内存通常需要手动管理,需要显式地分配和释放堆上的内存
  4. 数据段–存储全局数据和静态数据。全局数据和静态数据的销毁通常是在程序结束时由操作系统自动完成,二者的生命周期也是整个程序
  5. 代码段–可执行的代码/只读常量

下面根据具体代码来看:

int globalVar = 1;//全局变量,在静态区
static int staticGlobalVar = 1;//全局静态变量,在静态区

int main()
{
	static int staticVar = 1;//局部静态变量,在静态区。作用域只在这个函数内,但是生命周期是在整个程序
	int localVar = 1;//局部变量,在栈
	int num1[10] = { 1, 2, 3, 4 };//局部变量,在栈

	char char2[] = "abcd"; //局部变量,在栈。
	//其实[]这个符号:是把位于常量区的"abcd",拷贝到栈上,再去指向

	const char* pChar3 = "abcd";//pChar3在栈上,但是是直接指向常量区的"abcd"。所以*pChar3在常量区

	int* ptr1 = (int*)malloc(sizeof(int) * 4);//ptr1这个指针变量还是在栈,但是*ptr1是在堆上
	int* ptr2 = (int*)calloc(4, sizeof(int));
	int* ptr3 = (int*)realloc(ptr2, sizeof(int) * 4);
	free(ptr1);
	free(ptr3);

	return 0;
}

那全局变量和全局静态变量的区别是??

全局变量具有外部链接性,可以被其他文件中的函数访问。
静态全局变量具有内部链接性,只能被声明它的文件内的函数访问(本文件)


2.C语言中动态内存管理方式:malloc/calloc/realloc/free

  1. malloc()函数:
    • 功能:malloc函数用于在堆上动态分配指定大小的内存空间。
    • 语法:void* malloc(size_t size);
    • 返回值:如果分配成功,则返回指向分配内存的指针;如果分配失败,则返回NULL
  2. calloc()函数:
    • 功能:calloc函数用于在堆上动态分配指定数量、指定大小的内存空间,并将分配的内存空间初始化为0。
    • 语法:void* calloc(size_t num, size_t size);
    • 返回值:如果分配成功,则返回指向分配内存的指针;如果分配失败,则返回NULL
  3. realloc()函数:
    • 功能:realloc函数用于更改之前分配的内存块的大小,可以扩大或缩小内存块的大小。
    • 语法:void* realloc(void* ptr, size_t size);
    • 返回值:如果分配成功,则返回指向重新分配内存的指针;如果分配失败,则返回NULL。如果返回的指针与之前的指针不同,意味着内存块的大小或位置可能已经改变了。
  4. free()函数:
    • 功能:free函数用于释放之前动态分配的内存空间,将其返回给系统供其他程序使用。
    • 语法:void free(void* ptr);
    • 返回值:无。

异同点:

  • malloccalloc都用于分配内存,但calloc在分配内存后会将其初始化为0,而malloc不会。
  • realloc用于更改之前分配的内存块的大小,可以扩大或缩小内存块的大小,而malloccalloc只能用于分配新的内存块。
  • free用于释放动态分配的内存,将其返回给系统供其他程序使用

更加详细的介绍大家可以移步于我的文章:


3.C++动态内存管理方式

C语言内存管理方式在C++中可以继续使用,但有些地方就无能为力(特别是关于自定义变量),因此C++又提出了自己的内存管理方式:通过new和delete操作符进行动态内存管理

在C++中,newdelete是用于动态内存管理的运算符,它们提供了对malloccallocreallocfree等C语言内存管理函数的更高级的封装和功能。

  1. new运算符:
    • 功能:new运算符用于在堆上动态分配内存,并调用对象的构造函数来初始化这块内存。
    • 语法:new 类型new 类型[大小],例如:new intnew int[10]
    • 返回值:如果分配成功,则返回指向分配内存的指针;如果分配失败,则抛出std::bad_alloc异常。
  2. delete运算符:
    • 功能:delete运算符用于释放由new分配的内存,并调用对象的析构函数来销毁对象。
    • 语法:delete 指针delete[] 指针,例如:delete ptrdelete[] arr
    • 返回值:无。

与C语言中的mallocfree相比,newdelete的优势在于:

  • newdelete运算符,而不是函数,因此它们可以重载,从而实现自定义的内存分配和释放策略。
  • newdelete调用对象的构造函数和析构函数,从而确保对象的正确初始化和清理。
  • newdelete支持运算符重载,可以用于自定义类的动态内存管理,而mallocfree只能用于分配和释放原始内存块

3.1new/delete操作内置类型

直接上代码:

int main()
{
	// 动态申请一个int类型的空间
	int* a = new int;

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

	// 动态申请3个int类型的空间
	int* c = new int[3];

	// 动态申请10个int类型的空间,并进行部分初始化
	int* d = new int[10]{ 1,2,3 };


	delete a;
	delete b;
	delete[] c;
	delete[] d;
	return 0;
}

请添加图片描述

内置类型的对象申请释放,new和malloc除了用法上,没有区别

但是malloc不方便解决动态申请的自定义类型对象的初始化问题,不会调用构造函数

3.2new和delete操作自定义类型

class A
{
public:
	A(int a=0)
		:_a(a)
	{}
	~A()
	{
		cout << "调用了~A()" << endl;
	}
private:
	int _a;
};

int main()
{
	//动态申请一个A类型的空间
	A* pa1 = new A(1);

	//动态申请3个A类型的空间
	A a1;
	A a2;
	A a3;
	A* pa2 = new A[3]{ a1, a2, a3 };
	//可以直接写成以下两种
	A* pa3 = new A[3]{ A(1), A(2), A(3) };//匿名对象
	//再少点
	A* pa4 = new A[3]{ 1,2 ,3 };//隐式类型转换,有单形参的构造函数支持

	delete pa1;
	delete[] pa2;
	delete[] pa3;
	return 0;
}

new的本质:开空间+调用构造函数初始化

delete的本质:析构函数+释放空间


4.operator new与operator delete函数

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

大家注意啊,这两个函数不是重载,只是祖师爷把他们命名为这个,他们是全局函数。

  1. operator new:该函数实际通过malloc来申请空间,当malloc申请空间成功时直接返回;申请空间失败,尝试执行空间不足应对措施,如果改应对措施用户设置了,则继续申请,否则抛异常。
  2. operator delete: 该函数最终是通过free来释放空间的
void* __CRTDECL operator new(size_t size) _THROW1(_STD bad_alloc)
{
	void* p;
	while ((p = malloc(size)) == 0)
		if (_callnewh(size) == 0)
		{

			static const std::bad_alloc nomem;
			_RAISE(nomem);
		}
	return (p);
}
void operator delete(void* pUserData)
{
	_CrtMemBlockHeader* pHead;
	RTCCALLBACK(_RTC_Free_hook, (pUserData, 0));
	if (pUserData == NULL)
		return;
	_mlock(_HEAP_LOCK);
	__TRY
		pHead = pHdr(pUserData);
	_ASSERTE(_BLOCK_TYPE_IS_VALID(pHead->nBlockUse));
	_free_dbg(pUserData, pHead->nBlockUse);
	__FINALLY
		_munlock(_HEAP_LOCK); 
	__END_TRY_FINALLY
		return;
}

看到:其实operator new 实际也是通过malloc来申请空间。operator delete 最终是通过free来释放空间的

二者其实就是对malloc和free进行了封装,加上了抛出异常的修饰


5.new和delete的实现原理

5.1内置类型

如果申请的是内置类型的空间,new和malloc,delete和free基本类似,不同的地方是:

new/delete申请和释放的是单个元素的空间,new[]和delete[]申请的是连续空间,而且new在申请空间失败时会抛异常malloc会返回NULL

5.2自定义类型

  • new的原理
  1. 调用operator new(跟malloc效果一样)函数申请空间
  2. 在申请的空间上执行构造函数,完成对象的构造
  • delete的原理
  1. 在空间上执行析构函数,完成对象中资源的清理工作(先调用析构函数,释放成员变量申请的空间,不然会找不到)
  2. 调用operator delete函数释放对象的空间
  • new TYPENAME[N]的原理
  1. 调用operator new[]函数,在operator new[]中实际调用operator new函数完成N个对象空间的申请(一次性申请)
  2. 在申请的空间上执行N次构造函数
  • delete[]的原理
  1. 在释放的对象空间上执行N次析构函数,完成N个对象中资源的清理
  2. 调用operator delete[]释放空间,实际在operator delete[]中调用operator delete来释放空间

但是要注意一件事:

class Stack
{
public:
	Stack(int capacity = 3)
	{
		cout << "调用了构造函数" << endl;
		_a = new int[capacity];
		_top = 0;
		_capacity = capacity;
	}
	~Stack()
	{
		cout << "~Stack()" << endl;
		delete _a;
		_a = nullptr;
		_top = -1;
		_capacity = 0;
	}
private:
	int* _a;
	int _top;
	int _capacity;
};

int main()
{
	Stack* a1 = new Stack[10];
	cout << sizeof(*a1);
	delete[] a1;
	return 0;
}

实际上开了124个字节,大家回想怎么会多4个呢?不是 10 ∗ 12 10*12 1012吗?

那四个字节来储蓄申请了几个对象,这里就是10

请添加图片描述


6.定位new表达式(placement-new)

定位new表达式是在已分配的原始内存空间中调用构造函数初始化一个对象。

使用格式:

new (place_address) type或者new (place_address) type(initializer-list)

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

使用场景:

定位new表达式在实际中一般是配合内存池使用。因为内存池分配出的内存没有初始化,所以如果是自定义类型的对象,需要使用new的定义表达式进行显示调构造函数进行初始化

class Stack
{
public:
	Stack(int capacity = 3)
	{
		cout << "调用了构造函数" << endl;
		_a = new int[capacity];
		_top = 0;
		_capacity = capacity;
	}
	~Stack()
	{
		cout << "~Stack()" << endl;
		delete _a;
		_a = nullptr;
		_top = -1;
		_capacity = 0;
	}
private:
	int* _a;
	int _top;
	int _capacity;
};

int main()
{
	Stack* s1 = (Stack*)operator new(sizeof(Stack));
	//都知道构造函数不能显示调用
	//s1->Stack();

	//但是可以使用定位new显示调用构造函数
	new(s1)Stack(2);

	//但是析构函数可以
	s1->~Stack();
	operator delete (s1);
	return 0;
}

7.知识点梳理

malloc/free和new/delete的区别

malloc/free和new/delete的共同点是:都是从堆上申请空间,并且需要用户手动释放。不同的地

方是:

  1. mallocfree函数newdelete操作符
  2. malloc申请的空间不会初始化,new可以初始化
  3. malloc申请空间时,需要手动计算空间大小并传递,new只需在其后跟上空间的类型即可,如果是多个对象,在[]中指定对象个数即可
  4. malloc返回值为void*, 在使用时必须强转,new不需要,因为new后跟的是空间的类型
  5. malloc申请空间失败时,返回的是NULL,因此使用时必须判空,new不需要,但是new需要捕获异常
  6. 申请自定义类型对象时,malloc/free只会开辟空间,不会调用构造函数与析构函数,而new在申请空间后会调用构造函数完成对象的初始化delete在释放空间前会调用析构函数完成空间中资源的清理

前5条是用法上面的区别

最后一条是原理上的区别


这次内容就到这里啦,下次会带来模版相关的知识,感谢大家支持!!!

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

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

相关文章

安科瑞AAFD系列故障电弧探测器应用以及选型

功能&#xff1a; 故障电弧探测器&#xff08;以下简称探测器&#xff09;对接入线路中的故障电弧&#xff08;包括故障并联电弧、故障串联电弧&#xff09;进行有效的检测&#xff0c;当检测到线路中存在引起火灾的故障电弧时&#xff0c;可以进行现场的声光报警&#xff0c;…

MYSQL中group by分组查询的用法详解(where和having的区别)!

文章目录 前言一、数据准备二、使用实例1.如何显示每个部门的平均工资和最高工资2.显示每个部门的每种岗位的平均工资和最低工资3.显示平均工资低于2000的部门和它的平均工资4.having 和 where 的区别5.SQL查询中各个关键字的执行先后顺序 前言 在前面的文章中&#xff0c;我们…

MySQL知识点总结(一)——一条SQL的执行过程、索引底层数据结构、一级索引和二级索引、索引失效、索引覆盖、索引下推

MySQL知识点总结&#xff08;一&#xff09;——一条SQL的执行过程、索引底层数据结构、一级索引和二级索引、索引失效、索引覆盖、索引下推 一条SQL的执行过程索引底层数据结构为什么不使用二叉树&#xff1f;为什么不使用红黑树?为什么不使用hash表&#xff1f;为什么不使用…

elementUI的el-select传递item对象或其他参数的2种方法

方法1 :value“item” 绑定对象 只要:value绑定item对象就可以 value-key"value" 必须是item里的一个属性&#xff0c;绑定值为对象类型时必填 <el-select v-model"value" placeholder"请选择" value-key"value" change"cha…

nginx部署前端(vue)项目及配置修改

目录 一、前端应用打包 二、部署前端应用 1、上传前端文件夹 2、修改nginx配置文件 3、重启nginx 三、查看效果 nginx安装参考&#xff1a;linux安装nginx-CSDN博客 一、前端应用打包 打包命令 npm run build 打包成功如下&#xff0c;会在项目路径下生成dist文件夹 二…

为什么说2023年是AI元年

前言 思考者~ 2023年被称为AI元年&#xff0c;主要是因为在这一年中&#xff0c;人工智能技术在各个领域取得了突破性的进展和应用&#xff0c;这些技术的广泛应用深刻地影响了人们的生活和工作方式&#xff0c;也预示着未来AI技术的更大潜力和发展空间。 首先&#xff0c;…

【数据分析】numpy基础第二天

文章目录 前言数组的形状变换reshape的基本介绍使用reshapereshape([10, 1])运行结果reshape自动判断形状reshape([-1, 1])运行结果 合并数组使用vstack和hstackvstack和hstack的运行结果使用concatenateconcatenate运行结果 分割数组array_split运行结果 数组的条件筛选条件筛…

C++ 数论相关题目 求组合数I

直接按照公式求解会超时。 常用组合数递推式。 因此用递推式先预处理出来&#xff0c;然后查表。 #include <iostream> #include <algorithm>using namespace std;const int N 2010, mod 1e9 7;int c[N][N];void init() {for(int i 0; i < N; i )for(in…

Git 教程 | 将本地修改后的文件推送到 Github 指定远程分支上

Git 是一种分布式版本控制系统&#xff0c;用于敏捷高效地处理任何大小的项目。它是由 Linus Torvalds 为了帮助管理 Linux 内核开发而开发的开源版本控制软件。Git 的本地克隆就是一个完整的版本控制存储库&#xff0c;无论脱机还是远程都能轻松工作。开发人员会在本地提交其工…

AWS 专题学习 P10 (Databases、 Data Analytics)

文章目录 专题总览1. Databases1.1 选择合适的数据库1.2 数据库类型1.3 AWS 数据库服务概述Amazon RDSAmazon AuroraAmazon ElastiCacheAmazon DynamoDBAmazon S3DocumentDBAmazon NeptuneAmazon Keyspaces (for Apache Cassandra)Amazon QLDBAmazon Timestream 2. Data & …

专业做护眼灯的有哪些品牌?专业做护眼灯的品牌

相信很多家长都有过帮助孩子选购台灯的经历&#xff0c;但或许并不清楚市面上存在许多质量不合格的台灯。曾在央视一期节目曝光了许多LED台灯存在严重不合格的问题。尽管现在台灯通常需要执行强制性产品认证&#xff0c;并且进行不定期的抽样检查&#xff0c;但仍有一些没有接受…

【JaveWeb教程】(36)SpringBootWeb案例之《智能学习辅助系统》的详细实现步骤与代码示例(9)登录问题分析与会话控制技术讲解

目录 SpringBootWeb案例092. 登录校验2.1 问题分析2.2 会话技术2.2.1 会话技术介绍2.2.2 会话跟踪方案2.2.2.1 方案一 - Cookie2.2.2.2 方案二 - Session2.2.2.3 方案三 - 令牌技术 SpringBootWeb案例09 2. 登录校验 2.1 问题分析 我们已经完成了基础登录功能的开发与测试&a…

2024年搭建幻兽帕鲁服务器价格多少?如何自建Palworld?

自建幻兽帕鲁服务器租用价格表&#xff0c;2024阿里云推出专属幻兽帕鲁Palworld游戏优惠服务器&#xff0c;配置分为4核16G和4核32G服务器&#xff0c;4核16G配置32.25元/1个月、3M带宽96.75元/1个月、8核32G配置10M带宽90.60元/1个月&#xff0c;8核32G配置3个月271.80元。ECS…

【C++】引用、内联函数、auto关键字等

前言&#xff1a;在前面我们讲解了C入门基础的一些学习例如命名空间、缺省参数、函数重载等。今天我们将进一步的学习&#xff0c;跟着博主的脚步再次往前迈一步吧。 &#x1f496; 博主CSDN主页:卫卫卫的个人主页 &#x1f49e; &#x1f449; 专栏分类:高质量&#xff23;学习…

高分文献解读|乳酸通过与可溶性腺苷酸环化酶结合调控铁代谢

乳酸(LA)的过量产生可能发生在运动期间或者许多疾病中&#xff0c;例如癌症中。个人伴有高乳酸血症的患者常表现为贫血、血清铁减少以及一种铁代谢关键调控因子—铁调素&#xff08;hepcidin&#xff09;升高。然而&#xff0c;目前尚不清楚乳酸是否以及如何调节铁调素的表达。…

Android Clear架构最强官方指南Kotlin版

Android Clear架构最强官方指南Kotlin版 在这篇文章中&#xff0c;我将介绍关于Android应用程序架构的一些内容。尽管自从早期更稳健的Android架构方法在移动开发中变得流行以来已经说了很多话&#xff0c;但改进和演进的空间总是存在的。 基于上述文章中的清晰架构示例&…

证券公司怎么选择?福州开股票账户佣金最低是多少?怎么开低佣金账户?

股票交易佣金是指投资者在进行股票交易时&#xff0c;需要向券商支付的手续费。具体的佣金费用根据券商的政策而有所不同&#xff0c;一般分为固定佣金和按比例佣金两种方式。 固定佣金是指交易每一笔固定收取一定金额的佣金&#xff0c;通常适用于较小交易量的投资者&#xf…

EasyExcel重复多次写入,合并单元格功能详细实现

❤ 作者主页&#xff1a;李奕赫揍小邰的博客 ❀ 个人介绍&#xff1a;大家好&#xff0c;我是李奕赫&#xff01;(&#xffe3;▽&#xffe3;)~* &#x1f34a; 记得点赞、收藏、评论⭐️⭐️⭐️ &#x1f4e3; 认真学习!!!&#x1f389;&#x1f389; 文章目录 EasyExcel如何…

TensorFlow Lite中文本分类在Android上的实践

#1 Tensorflow Lite TensorFlow Lite(后续简称TFL) 是 Google 开发的一个用于移动设备和嵌入式设备的开源库,旨在为移动终端设备提供机器学习推断。它是 TensorFlow 框架的轻量级版本,专门优化了模型的大小和性能,以适应资源受限的移动设备和嵌入式系统。 TFL 提供了一种在移…

力扣hot100 每日温度 单调递减栈

Problem: 739. 每日温度 文章目录 思路复杂度&#x1f49d; 单调栈 思路 &#x1f469;‍&#x1f3eb; 参考题解 复杂度 ⏰ 时间复杂度: O ( n ) O(n) O(n) &#x1f30e; 空间复杂度: O ( n ) O(n) O(n) &#x1f49d; 单调栈 class Solution {public int[] dailyTem…