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

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


文章目录

  • 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类型的空间并初始化为11int* 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);__TRYpHead = pHdr(pUserData);_ASSERTE(_BLOCK_TYPE_IS_VALID(pHead->nBlockUse));_free_dbg(pUserData, pHead->nBlockUse);__FINALLY_munlock(_HEAP_LOCK); __END_TRY_FINALLYreturn;
}

看到:其实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.mzph.cn/news/653921.shtml

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

相关文章

C#,数据检索算法之三元搜索(Ternary Search)的源代码

数据检索算法是指从数据集合&#xff08;数组、表、哈希表等&#xff09;中检索指定的数据项。 数据检索算法是所有算法的基础算法之一。 本文发布 三元搜索&#xff08;Ternary Search&#xff09;的源代码。 1 文本格式 using System; namespace Legalsoft.Truffer.Algo…

SpringMvc切换Json转换工具

SpringBoot切换使用goolge的Gson作为SpringMvc的Json转换工具 <!-- gson依赖 --> <dependency><groupId>com.google.code.gson</groupId><artifactId>gson</artifactId> </dependency>Configuration public class JsonWebConfig {B…

Python拼接字符串

在Python编程中&#xff0c;字符串拼接是一项常见的操作&#xff0c;它可以用于将多个字符串连接起来形成一个新的字符串&#xff0c;是处理文本数据和字符串操作的基本技巧之一。 1. 使用""运算符进行字符串拼接 最常见的字符串拼接方法是使用""运算符&…

多维时序 | Matlab实现DBO-GRU蜣螂算法优化门控循环单元多变量时间序列预测

多维时序 | Matlab实现DBO-GRU蜣螂算法优化门控循环单元多变量时间序列预测 目录 多维时序 | Matlab实现DBO-GRU蜣螂算法优化门控循环单元多变量时间序列预测效果一览基本介绍程序设计参考资料 效果一览 基本介绍 1.Matlab实现DBO-GRU蜣螂算法优化门控循环单元多变量时间序列预…

专业130+总分390+第二名中国海洋大学946信号与系统考研经验电子信息通信

今年专业946信号与系统130&#xff0c;总分390&#xff0c;专业排名第2顺利上岸中国海洋大学&#xff0c;总结一下自己的复习经验希望对大家复习有所帮助&#xff0c;每个人的学习习惯不同&#xff0c;大家要对自己有信心&#xff0c;借鉴加上自己整合&#xff0c;属于自己的才…

第十篇【传奇开心果系列】BeeWare开发移动应用示例:优质跨平台解决方案

传奇开心果博文系列 系列博文目录BeeWare开发移动应用示例系列博文目录前言一、Beeware优质跨平台实现方案三、跨平台能力示例代码和说明四、原生用户界面示例代码和说明五、强大生态系统示例代码和说明六、灵活的部署选项示例代码和说明七、归纳总结系列博文目录 BeeWare开发…

备战蓝桥杯---二分(基础)

何为二分&#xff1f;形象的说&#xff0c;就是单调函数求零点。 我们先对二分查找简单的分析一下&#xff08;主要是模板及易错点&#xff09; 1.找>x的第一个位置&#xff1a; 2.找<x的第一个位置&#xff1a; …

勒索病毒如何预防?用什么工具

勒索病毒进入服务器加密文件&#xff0c;让文件变得不能访问&#xff0c;我们经常可以见到这样的新闻&#xff0c;被勒索后没什么好的办法&#xff0c;只能交钱。 碰到言而有信的黑客还好。有时候交钱了&#xff0c;坏人也未必给你解密文件。 有什么工具可以预防这样的勒索病…

工程对接大模型流式和非流式对话底层原理解析

文章目录 前言一、非流式输出设计二、stream流式输出设计三、手撸一个流式输出项目总结 前言 之前对接过OpenAi大模型的官方API&#xff0c;可以看到它有一个Stream参数&#xff0c;设置成true的时候就是流式的对话输出&#xff0c;现象就是一段一段的往外崩。 官方手册的地址…

骑砍战团MOD开发(41)-LOD渲染技术

一.LOD技术 LOD技术&#xff0c;即Level Of Details&#xff0c;是一种在3D图形渲染中常用的技术&#xff0c;主要用于优化渲染性能。 通过在建模时添加LOD模型(低模模型,面数较少),游戏引擎通过计算模型的远近和光照等情况选择性加载原模型(高模)/LOD模型(低模),实现游戏…

html多个好看的背景动态效果(附源码)

文章目录 1.设计来源1.1 图片轮动背景1.2 星空流星背景1.3 动态美女背景1.4 动态屋雨背景1.5 动态街道背景1.6 动态夜幕背景 2.效果和源码2.1 动态效果2.2 透明度配置2.2 源代码 源码下载 作者&#xff1a;xcLeigh 文章地址&#xff1a;https://blog.csdn.net/weixin_43151418/…

交叉编译opencv运行平台rk3588

opencv版本&#xff1a;4.8.0 opencv_contrib版本&#xff1a;4.8.0 在源码目录下建build目录&#xff0c;进入该目录配置编译选项生成makefile cmake 配置参数&#xff1a; cmake -DCMAKE_MAKE_PROGRAM:PATH/usr/bin/make -DCMAKE_INSTALL_PREFIX/home/rog/my_file/other_L…

面经基础版案例(路由,请求渲染,传参,组件缓存)

文章目录 1.案例效果分析2.配置一级路由&#xff08;首页&#xff0c;详情&#xff09;3.配置二级路由4.导航高亮效果5.首页的请求渲染6.传参&#xff08;查询参数 $ 动态路由&#xff09;7.详情页渲染8.组件缓存kepp-alive9.总结 1.案例效果分析 2.配置一级路由&#xff08;首…

2001-2019年全球500米分辨率植被聚集指数CAS-CI数据分享

各位同学们好&#xff0c;今天分享的是2001-2019年全球500米分辨率植被聚集指数CAS-CI数据。如果您需要下载或处理遥感数据等方面的帮助&#xff0c;您可以私信或评论。 一、数据简介 植被聚集指数&#xff08;clumping index, CI&#xff09;是一个重要的冠层结构参数&#…

海思 tcpdump 移植开发详解

目录 前言 一、开发环境 二、tcpdump 源码下载 三、交叉编译 libpcap 四、交叉编译 tcpdump 五、tcpdump 移植到板子运行 前言 本章内容将讲解&#xff0c;如何在海思平台交叉编译、移植&#xff0c;并基于静态库生成的 tcpdump 网络抓包工具。 一、开发环境 SS…

SpringBoot整合Xxl-Job实现异步任务调度中心

目录 一、下载 1、源码 2、项目结构 3、模块说明 二、部署任务调度中心 1、创建数据库xxl-job 2、配置数据库 3、启动admin模块 4、打开任务调度中心 三、SpringBoot整合xxl-job 1、导入依赖 2、配置yml文件 3、配置类 4、启动项目 5、任务配置 6、测试 一、下…

UE5在VisualStudio升级后产生C++无法编译的问题

往期的虚幻引擎项目在VS更新后&#xff0c;编译时会报错&#xff0c;这一般出现在VS升级之后&#xff0c;UE对于VC的编译器定位没有更新导致&#xff1b; 有出现如下问题&#xff1a; 问题1&#xff1a; Running I:/EPCI/Epic Games/UE_5.3/Engine/Build/BatchFiles/Build.ba…

笔记 | mysqldump 时 --net_buffer_length 的作用

--net_buffer_length 是 mysqldump 命令中的一个选项&#xff0c;它设置了缓冲区的初始大小&#xff0c;该缓冲区用于存储SQL语句。在mysqldump操作期间&#xff0c;可能需要传输大量数据。如果单个记录&#xff08;或多个小记录&#xff09;的大小超过了这个缓冲区的大小&…

vue3+threejs+koa可视化项目——实现登录注册(第三步)

文章目录 ⭐前言&#x1f496;往期node系列文章&#x1f496;threejs系列相关文章&#x1f496;vue3threejs系列 ⭐koa后端登录注册逻辑&#xff08;jwt&#xff09;&#x1f496; koa登录注册 ⭐vue3前端登录注册权限控制&#x1f496; 登录页面&#x1f496; 注册页面 ⭐总结…

带Cookies信息操作页面(Selenium)

文章目录 一、Cookie介绍二、使用Selenium获取Cookies信息&#xff08;登入&#xff09;三、带Cookies操作页面&#xff08;Selenium&#xff09;四、带Cookies操做页面&#xff08;session&#xff09;五、自动登入&#xff08;验证处理&#xff09;1、超级鹰&#xff08;图片…