四、C++内存管理

news2025/1/11 18:35:03

1 C/C++内存分布

在学习C++的内存管理方式之前,我们先来看一道有关C/C++内存分布的题目:

阅读下面的代码,回答相关问题:
#include <iostream>
using namespace std;
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";
	const char* pChar3 = "abcd";
	int* ptr1 = (int*)malloc(sizeof(int) * 4);
	int* ptr2 = (int*)calloc(4, sizeof(int));
	int* ptr3 = (int*)realloc(ptr2, sizeof(int) * 4);
	free(ptr1);
	free(ptr3);
	return 0;
}

//1. 选择题:
//   选项: A.栈  B.堆  C.数据段(静态区)  D.代码段(常量区)
//   globalVar在哪里?____   staticGlobalVar在哪里?____
//   staticVar在哪里?____   localVar在哪里?____
//   num1 在哪里?____
//   char2在哪里?____       *char2在哪里?___
//   pChar3在哪里?____      *pChar3在哪里?____
//   ptr1在哪里?____        *ptr1在哪里?____

//2. 填空题:
//   sizeof(num1) = ____ ;
//   sizeof(char2) = ____;      strlen(char2) = ____;
//   sizeof(pChar3) = ____;     strlen(pChar3) = ____;
//   sizeof(ptr1) = ____;

图解:

外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传

从图解中可以知道,C++的内存分布和C语言是一脉相承的,那么在动态内存上C++和C语言有没有不同呢?

2 C++动态内存管理

2.1 new和delete

在C语言阶段,我们使用malloccallocreallocfree进行动态内存管理,而在C++中,还引入了newdelete进行动态内存管理,其语法为:

  1. 申请和释放单个元素的空间时,使用的是newdelete操作符。
  2. 申请和释放连续的空间,使new[]delete[]

例:

int* p1 = new int;//申请1个int,不初始化
int* p2 = new int(10);//申请1个int,初始化为10
int* p3 = new int[10];//申请1个有10个int的数组,不初始化
int* p4 = new	int[10]{ 1,2,3,4 };申请1个有10个int的数组,前4个元素初始化为1、2、3、4

delete p1;
delete p2;
delete[] p3;
delete[] p4;

可以看到,和malloc相比,new可以在开辟空间的同时对其初始化。

free相比,使用delete进行释放时,需要注意以下两个情况:

情况一:

#include <iostream>
using namespace std;
class A
{
public:
	A(int a = 0)
		: _a(a)
	{
		cout << "A():" << this << endl;
	}
	~A()
	{
		cout << "~A():" << this << endl;
	}
private:
	int _a;
};
int main()
{
	A* p9 = new A[10];
	delete p9;
	//free(p9);
	//delete[] p9;
	return 0;
}

使用deletefree的运行结果:

![![外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传](https://img-home.csdnimg.cn/images/20230724024159.png?origin_url=C%3A%5CUsers%5CHackerKevin%5CAppData%5CRoaming%5CTypora%5Ctypora-user-images%5Cimage-](https://img-blog.csdnimg.cn/direct/b7d9c9730e1f46f3bc6271db36be74e3.png)
20231011125119753.png&pos_id=img-pyHRnh3X-1705029332062)

使用delete[]的运行结果:

外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传

从运行结果可以看到,当我们使用deletefree进行释放时,程序被终止运行了,这是为什么呢?

实际上,我们在使用new来开辟一块连续的空间时,当编译器发现A这个类中显式设置了析构函数时,它会在刚开辟空间的前面再多开一点空间来存放开辟的个数,当用delete释放空间时,该个数可以帮助编译器判断需要调用多少次析构函数。

但问题就出在,当开辟这块用来存放个数的空间后,new返回的并不是这一整块空间的起始地址,而是真正用来存放数据的空间的地址,就像下面这样:

外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传

而又由于调用delete释放空间时,它是从当前指针指向的位置开始释放的,所以在指针位置不对的情况下,运行到后边自然就会出错了。

delete不同的是,delete[]会先将指针返回这一整块空间的起始地址,而后再进行释放,所以调用delete[]进行释放的时候可以正常运行。

情况二:

#include <iostream>
using namespace std;
class A
{
public:
	A(int a = 0)
		: _a(a)
	{
		cout << "A():" << this << endl;
	}
	/*~A()
	{
		cout << "~A():" << this << endl;
	}*/
private:
	int _a;
};
int main()
{
	A* p9 = new A[10];
	//delete p9;
	//free(p9);
	delete[] p9;
	return 0;
}

使用deletefreedelete[]的运行结果:

外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传

从输出结果可以看到,当我们把刚才那段代码中的析构函数屏蔽后,程序也能够正常运行。原因就在于使用new开辟空间时,编译器没有在A这个类中发现显式设置的析构函数,根据之前的学习我们知道,此时它会调用默认的析构函数,而编译器聪明的地方就在于它评估一下之后发现这里不调用析构函数也可以,既然不调用析构函数,也就自然不需要另开辟一块空间来记录析构函数的次数了,因此在这里使用deletefreedelete[]三个函数进行释放都不会出错。

实际上,关于这一特性,并不是所有的编译器都会这样,具体情况还是要取决于自己使用的编译器。

虽然通过刚才的情况我们发现好像newdelete不匹配使用也没有问题,但这里需要强调的是:newdelete一定要匹配起来使用,不要使用new开辟空间后用free释放,亦或者是使用malloc开辟空间后用delete释放,否则会出现难以预料的情况,关于原因等后续再进行解释。

2.1 new、delete和malloc、free的区别

实际上,对于内置类型,newdeletemallocfree的作用几乎是一样的。

不同的地方是:new在申请空间失败时会抛异常,而malloc则会返回NULL

例:

#include <iostream>
using namespace std;
int main()
{
	int* p1 = (int*)malloc(sizeof(int)); 
	int* p2 = new int;
	*p1 = 1;
	*p2 = 1;
	cout << "p1:" << *p1 << endl;
	cout << "p2:" << *p2 << endl;
	free(p1);
	delete p2;
}

运行结果:

外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传

真正的区别在于,newdelete对于自定义类型,除了会为其开辟空间还会调用它的构造函数和析构函数,而mallocfree则无法实现。

例:

#include <iostream>
using namespace std;
class A
{
public:
	A(int a = 0)
		: _a(a)
	{
		cout << "A():" << this << endl;
	}
	~A()
	{
		cout << "~A():" << this << endl;
	}
private:
	int _a;
};
int main()
{
	cout << "----------" << endl;
	A* p1 = (A*)malloc(sizeof(A));
	cout << "----------" << endl;
	A* p2 = new A(1);
	cout << "----------" << endl;
	free(p1);
	cout << "----------" << endl;
	delete p2;
	cout << "----------" << endl;
	A* p3 = (A*)malloc(sizeof(A) * 10);
	cout << "----------" << endl;
	A* p4 = new A[10];
	cout << "----------" << endl;
	free(p3);
	cout << "----------" << endl;
	delete[] p4;
	return 0;
}

运行结果:

外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传

为了方便观察,我们特地用cout将使用mallocfree的地方隔开,以观察它们在执行时有没有进行其他操作。

从输出结果可以看到,当用mallocfree开辟和释放空间时,它们没有进行别的操作,而用newdelete释放空间时,它们还会调用A类的构造函数和析构函数。

总结:mallocfreenewdelete的区别

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

2.2 new和delete的底层原理

实际上,C++还在系统中提供了operator newoperator delete两个全局函数,new就是通过在底层调用operator new全局函数来申请空间,delete则是通过在底层调用operator delete全局函数来释放空间。

特别注意:operator newoperator delete是两个函数,不是对newdelete的重载!

下面展示了operator newoperator delete在库中的源代码:

//operator new
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);
}

//operator delete
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);
    __FINALLY
        _munlock(_HEAP_LOCK);  /* release other threads */
    __END_TRY_FINALLY
        return;
}

上面的代码目前不需要我们能够看懂,刚才我们说newdelete通过在底层调用operator newoperator delete来申请和释放空间,但是从源代码中我们可以注意到的是,operator new函数实际上是通过malloc来申请空间的,而operator delete函数实际上也是通过free来释放的。

实际上,operator newoperator delete是对mallocfree的封装。对于operator new而言,是将malloc和调用构造函数封装在了一起;而对于operator delete而言,除了将free和调用析构函数封装在一起,还多了一些检查。

总结:

  1. new的原理
    1. 调用operator new函数申请空间。
    2. 在申请的空间上执行构造函数,完成对象的构造。
  2. delete的原理
    1. 在空间上执行析构函数,完成对象中资源的清理工作。
    2. 调用operator delete函数释放对象的空间。
  3. new T [N]的原理
    1. 调用operator new[]函数申请空间,实际上是在operator new[]中实际调用operator new函数完成N个对象空间的申请。
    2. 在申请的空间上执行N次构造函数,完成对象的构造。
  4. delete[]的原理
    1. 在释放对象的空间上执行N次析构函数,完成N个对象中资源的清理。
    2. 调用operator delete[]函数释放空间,实际上是在operator delete[]中调用operator delete来释放空间。

2.3 new和delete需匹配使用的原因

知道了newdeletemallocfree的区别,以及newdelete的底层原理,就可以解答newdelete一定要匹配起来使用的原因了。

刚才我们说newdelete如果不匹配起来使用的话,就可能会出现难以预料的情况,之所以说是难以预料,是因为它并不是只要混用就会出错。

情况一:

//会报错吗?
int* p1 = new int[10];
free(p1);

这种情况下,由于是对int这个内置类型开辟空间,并不涉及构造和析构的问题,所以不用delete影响不大,即不会报错。

情况二:

//会报错吗?
#include <iostream>
using namespace std;
class A
{
public:
	A(int a = 0)
		: _a(a)
	{
		cout << "A():" << this << endl;
	}
	~A()
	{
		cout << "~A():" << this << endl;
	}
private:
	int _a;
};
int main()
{
	A* p8 = new A;
	free(p8);
	return 0;
}

运行结果:

外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传

和情况一相比,情况二用newA类开辟了空间,可为什么用free释放程序还是能正常运行呢?

实际上,这是因为这里只是没有调用析构函数,而只有当析构函数里涉及资源释放的时候,不用delete释放才有问题。而正好这个例子中的析构函数并没有涉及到资源释放,所以程序能够正常运行。

情况三:

#include <iostream>
using namespace std;
class Stack
{
public:
	Stack()
	{
		cout << "Stack()" << endl;
		_a = new int[4];
		_top = 0;
		_capacity = 4;
	}
	~Stack()
	{
		cout << "~Stack():" << this << endl;
		delete[] _a;
		_top = _capacity = 0;
	}
private:
	int* _a;
	int _top;
	int _capacity;
};
int main()
{
	Stack* pst = new Stack;
	free(pst);
	return 0;
}

运行结果:

外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传

从输出结果可以看到,使用free释放空间后还是没有调用析构函数。刚才我们说只有当析构函数里涉及资源释放的时候,不用delete释放才有问题,可情况三的析构函数~Stack明明涉及到资源释放了,为什么使用free来释放空间后,程序还是能够正常运行呢?

图解:

外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传

从图解可以知道,情况三出现内存泄漏的问题是无疑的,但是问题就在于编译器并不能帮我们检查出来,也就是说只有当泄漏的空间大到导致程序崩溃之后才会发现,而这种情况如果发生在今后工作中的话后果是不可想象的,所以newdelete一定要匹配起来使用。

2.4 定位new表达式

如果我们想在一块已分配内存空间中调用构造函数来初始化一个对象,这个时候用new就不行了,取而代之的是定位new

其语法为:

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

说明:

  1. place_address必须是一个指针。
  2. initializer-list是类型的初始化列表 。

例:

#include <iostream>
using namespace std;
class A
{
public:
	A(int a = 0)
		: _a(a)
	{
		cout << "A():" << this << endl;
	}
	~A()
	{
		cout << "~A():" << this << endl;
	}
private:
	int _a;
};
// 定位new/replacement new
int main()
{
	//p1现在指向的只是与一个A对象相同大小的空间,由于还没有执行构造函数,因此还不能算一个对象。
	A* p1 = (A*)malloc(sizeof(A));
	new(p1)A;// 注意:如果A类的构造函数有参数时,此处需要传参
	p1->~A();
	free(p1);
	A* p2 = (A*)operator new(sizeof(A));
	new(p2)A(10);
	p2->~A();
	operator delete(p2);
	return 0;
}

运行结果:

外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传

在现阶段,定位new的意义好像并不大,实际上,定位new表达式一般是配合内存池使用,因为内存池分配出的内存并没有初始化,所以如果是自定义类型的对象,需要使用new的定位表达式来显式调用构造函数完成初始化。

关于内存池的更多特性,在后续会进行详细地介绍。

在这里插入图片描述

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

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

相关文章

1.6计算机网络的性能指标

1.6计算机网络的性能指标 常用的计算机网络的性能指标有7个&#xff1a;速率、带宽、吞吐量、时延、往返时间、利用率、丢包率 1.6.1速率 计算机发送的信号是以二进制数字形式的。一个二进制数字就是一个比特(bit&#xff0c;binary digit)字节:Byte&#xff0c;1Byte8bit(1…

在海绵城市建设中,低功耗遥测终端有哪些独特的优势?

近年来&#xff0c;随着物联网技术的迅猛发展&#xff0c;数据监测和传输已经成为各行各业不可或缺的环节。在诸多特殊环境中因供电问题、潮湿、不便进入等诸多原因&#xff0c;需要一款功耗低、数据传输稳定&#xff0c;防潮抗锈蚀的低功耗遥测终端。 为满足这一需求&#xf…

太强了!腾讯开源!多模态AppAgent自主操作智能手机应用程序!

AppAgent是一款基于大型语言模型&#xff08;LLMs&#xff09;的新型多模态智能代理框架&#xff0c;专为操作智能手机应用而设计。它结合了GPT-4V的先进视觉理解能力&#xff0c;通过“眼睛”观察手机界面&#xff0c;模仿人类的点击和滑动交互方式来学习操作应用程序。这种方…

小红书种草类型有哪些,小红书营销攻略

我们都知道小红书是个内容平台。用户来这可以看到各种类型的笔记&#xff0c;从笔记中获取自己想要了解的内容。这也就意味着平台上有着许多种不同的笔记类型。今天我们和大家分享下小红书种草类型有哪些&#xff0c;小红书营销攻略&#xff01; 1. 明星带货类 顾名思义&#x…

vivado IP Revision Control

2020.2 只需要git 管理 prj.xpr 和 prj.srcs/ https://china.xilinx.com/video/hardware/ip-revision-control.html https://www.xilinx.com/video/hardware/vivado-design-suite-revision-control.html

网络编程的理论基础

文章目录 1 重点知识2 应用层3 再谈 "协议"4 HTTP协议4.1 认识URL4.2 urlencode和urldecode4.3 HTTP协议格式4.4 HTTP的方法4.5 HTTP的状态码4.6 HTTP常见Header4.7 最简单的HTTP服务器 3 传输层4 再谈端口号4.1 端口号范围划分4.2 认识知名端口号(Well-Know Port Nu…

EOCR电机保护器485通讯协议概念

Modbus是由Modicon&#xff08;现为施耐德电气公司的一个品牌&#xff09;在1979年发明的&#xff0c;是全球第一个真正用于工业现场的总线协议。为更好地普及和推动Modbus在基于以太网上的分布式应用&#xff0c;目前施耐德公司已将Modbus协议的所有权移交给IDA&#xff08;In…

IMS中如何区分initial INVITE和re-INVITE?

这里就要先看下Dialog的定义。 dialog是两个UA之间持续一段时间的点对点 SIP关系。dialog通过SIP消息建立&#xff0c;例如对 INVITE request的 2xx response。dialog由Call-ID、local tag和remote tag来区分&#xff0c;也就是Call-ID 、from-tag和to-tag就可以确定一个dialog…

2024年阿里云服务器怎么买便宜?

2024年阿里云服务器租用费用&#xff0c;云服务器ECS经济型e实例2核2G、3M固定带宽99元一年、轻量应用服务器2核2G3M带宽轻量服务器一年61元&#xff0c;2核4G4M带宽轻量服务器一年165元12个月&#xff0c;ECS云服务器e系列2核2G配置99元一年、2核4G服务器30元3个月、2核4G配置…

FineBI实战项目一(17):热门商品Top10分析开发

点击新建组件&#xff0c;创建热门商品Top10组件。 选择柱状图&#xff0c;拖拽cnt&#xff08;总数&#xff09;到横轴&#xff0c;拖拽goodName到纵轴。 选择排序规则。 修改横轴和纵轴的标签名称 切换到仪表板&#xff0c;拖拽组件到仪表板 效果如下&#xff1a;

记录汇川:H5U与Fctory IO测试9

主程序&#xff1a; 子程序&#xff1a; IO映射 子程序&#xff1a; 出料程序 子程序&#xff1a; 自动程序 Fctory IO配置&#xff1a; 实际动作如下&#xff1a; Fctory IO测试9

为什么选择CRM系统时,在线演示很重要?

想要知道一款CRM管理系统是否满足企业的需求&#xff0c;操作是否简单&#xff0c;运行是否流畅&#xff0c;最直观的方式就是远程演示。否则&#xff0c;光凭厂商的销售人员介绍一下产品&#xff0c;企业就盲目下单&#xff0c;最后发现功能不匹配&#xff0c;还要赔钱赔时间重…

Sublime Text 3配置 Python 开发环境

Sublime Text 3配置 Python 开发环境 一、引言二、主要内容1. 初识 Sublime Text 32. 初识 Python2. 接入 Python2.1 下载2.2 安装和使用 python2.2 环境变量配置 3. 配置 Python 开发环境4. 编写 Python 代码5. 运行 Python 代码 三、总结 一、引言 Python 是一种简洁但功能强…

2024年主题教育专题民主生活会党员干部个人对照检查六个方面发言材料

每当我们写民主生活会个人发言材料2023六个方面的时候&#xff0c;大部分人脑袋里都是一团乱麻&#xff0c;2023民主生活会个人版的不知道应该写哪些方面的内容&#xff0c;生活会个人发言材料不知道该从哪里开始写&#xff0c;其实遇到这样的情况是很正常的&#xff0c;大家不…

提升测试效率,轻松并行运行测试——探秘Pytest插件pytest-xdist

在软件开发中&#xff0c;测试是确保代码质量的重要一环。然而&#xff0c;随着项目规模的增大&#xff0c;测试用例的数量也随之增多&#xff0c;测试的执行时间可能成为一个瓶颈。为了解决这个问题&#xff0c;Pytest提供了丰富的插件生态系统&#xff0c;其中 pytest-xdist …

用Gradio做一个ai-chat应用

背景 上半年国内的大模型还没遍地开花的时候&#xff0c;笔者花巨资购了两台云服务器及给OpenAI充了20$&#xff0c;给身边的亲友给做了一个可使用的ai-chat。 代码实现 起先笔者 基于openai的api接口文档 API Reference - OpenAI API &#xff0c;自己编写web后台&#xff0…

低维度向量的 Householder 反射变换 matlab 图示

1, 算法原理 设th 是一个弧度值&#xff0c; 令 Q | cos(th) sin(th) | | sin(th) -cos(th) | S span{ | cos(th/2.0) | } | sin(th/2.0) | x (x1, x2) 是一个平面上的二维向量 计算 y Qx Qx 则&#xff0c;y 是 x 通过有 S 定…

发起人自选-钉钉审批

场景描述 配置一个审批流程&#xff0c;在某些审批节点&#xff0c;不能确定谁具体来审批&#xff0c;所以需要手工选择一个人或者多个人保证流程能得以顺利通过。有些审批流程的做法是&#xff0c;上一个节点来选择指定的人&#xff0c;而钉钉的做法是发起人来指定。 钉钉设…

Find My资讯|AirTag 2或推迟上市,Find My功能十分强大

苹果于 2021 年4月推出了初代 AirTag。苹果已将第二代 AirTag 的推出推迟到 2025 年&#xff0c;目前苹果官方并不急于推出AirTag 2的原因还有AirTag所搭载的搜寻定位功能非常的强大&#xff0c;在市场上几乎没有任何竞争对手可言。 AirTag使用蓝牙和苹果设备的“查找我的”网…

汽车中的ECU、VCU、MCU、HCU

一、ECU是汽车电脑&#xff0c;刷汽车电脑可以提高动力&#xff0c;也可以减低动力&#xff0c;看需求。 简单原理如下。 1.汽车发动机运转由汽车电脑&#xff08;即ECU&#xff09;控制。 2.ECU控制发动机的进气量&#xff0c;喷油量&#xff0c;点火时间等&#xff0c;从而…