C++必修:探索C++的内存管理

✨✨ 欢迎大家来到贝蒂大讲堂✨✨

🎈🎈养成好习惯,先赞后看哦~🎈🎈

所属专栏:C++学习
贝蒂的主页:Betty’s blog

1. C/C++的内存分布

我们首先来看一段代码及其相关问题

int globalVar = 1;
static int staticGlobalVar = 1;
void Test()
{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);
}

选择题:

选项: A.栈 B.堆 C.数据段(静态区) D.代码段(常量区)

  1. globalVar在哪里?C staticGlobalVar在哪里?C
  • 解析:globalVar为全局变量放在数据段(静态区),staticGlobalVar也是全局变量放在数据段(静态区)。两者之间主要区别在:普通全局变量作用于整个代码,可被其他文件访问或修改。而被static修饰的静态全局变量只作用于当前文件,其他文件不可见。
  1. staticVar在哪里?C localVar在哪里?A
  • 解析:被static修饰的局部变量staticVar放在静态区,普通的局部变量localVar放在栈区。两者之间主要区别在:被static修饰的局部变量的生命周期只会在程序结束后结束,而普通的局部变量的生命周期出了当前作用域就会结束。
  1. num1 在哪里?A
  • 解析:num1也是一个局部变量,放在栈区。
  1. char2在哪里?A *char2在哪里?A
  • 解析:char2也是一个局部变量,放在栈区,常量字符串"abcd"放在代码段(常量区),数组开辟的空间放在栈区。在数组开辟时,常量字符串中字符会被一个一个拷贝进入数组,而数组名是首元素地址,所以*char2得到数组第一个元素,放在栈区。
  1. pChar3在哪里?A *pChar3在哪里?D
  • 解析:char2也是一个局部指针变量,指向一个放在代码段(常量区)的常量字符串"abcd"。所以*pChar3得到常量字符串的第一个字符,放在代码段(常量区)。
  1. ptr1在哪里?A *ptr1在哪里?B
  • 解析:ptr1是一个局部指针变量,放在栈区。而其指向的内存区域是由动态内存开辟的,所以*ptr1放在堆区。

img

  1. 栈区:又叫堆栈,存放非静态局部变量/函数参数/返回值等等,并且栈是向下增长的 。
  2. 堆区:一般由程序员分配释放, 若程序员不释放,会造成内存泄漏,并且堆是向上增长的
  3. **内存映射段:**是高效的I/O映射方式,用于装载一个共享的动态内存库。用户可使用系统接口创建共享共享内存,做进程间通信。
  4. 数据段(静态区):存放全局变量、静态数据。程序结束后由系统释放。
  5. 代码段(常量区):存放函数体(类成员函数和全局函数)的二进制代码与只读常量。
  1. 填空题:
  1. sizeof(num1) = 40;
  • sizeof(数组名)计算的是整个数组的大小,4×10=40
  1. sizeof(char2) = 5; strlen(char2) = 4;
  • sizeof(数组名)计算的是整个数组的大小,包括'\0'。strlen不包括'\0'
  1. sizeof(pChar3) = 4/8; strlen(pChar3) = 4;
  • pChar3是指针变量,在32位平台下是4个字节,在64位平台下为8个字节。
  1. sizeof(ptr1) = 4/8;
  • ptr1是指针变量,在32位平台下是4个字节,在64位平台下为8个字节。

问答题:

  1. 数据结构中的栈与内存管理中的栈有什么联系吗?
  • 两者之间并没有太大联系。在数据结构中栈是一种线性数据结构,它的特点是后进先出(LIFO,Last In First Out)。而在内存管理中,栈是一种用于存储函数调用、局部变量、函数参数以及函数调用上下文等信息的内存区域,但是每次调用函数时,系统都会在栈顶添加一个栈帧,用于记录函数的上下文信息。在递归函数中,向下递推阶段会不断执行“入栈”操作,而向上回溯阶段则会执行“出栈”操作,这一点与数据结构栈的操作非常类似。
  1. 数据结构中的堆与内存管理中的堆有什么联系吗?
  • 尽管它们都被称为“堆”,但数据结构中的堆和内存管理中的堆其实是两个完全不同的概念,它们之间并没有直接的联系。在数据结构中,堆是一种特殊的树形数据结构,通常是一个完全二叉树,其中每个节点的值都大于等于(或小于等于)其子节点的值。计算机系统内存中的堆是动态内存分配的一部分,程序在运行时可以使用它来存储数据。程序员可以请求一定量的堆内存,用于存储如对象和数组等复杂结构。当这些数据不再需要时,程序员需要释放这些内存,以防止内存泄露。

2. C语言中的内存管理

2.1.1. malloc
  1. 头文件#include <stdlib.h>
  2. 声明:void* malloc (size_t size);
  • size – 内存块的大小,以字节为单位
  • 如果参数 size 为0,malloc的⾏为是标准是未定义的,取决于编译器。
  1. 作用:向内存申请⼀块连续可⽤的空间,并返回指向这块空间的指针
  • 如果开辟成功,则返回⼀个指向开辟好空间的指针。
  • 如果开辟失败,则返回⼀个 NULL 指针,因此malloc的返回值⼀定要做检查。
  1. 返回值:返回值的类型是 void* ,所以malloc函数并不知道开辟空间的类型,具体在使⽤的时候使⽤者⾃⼰来决定。
int* ptr1 = (int*)malloc(sizeof(int));//申请大小为一个整型的空间
if (ptr1 == NULL)//检查是否分配失败
{perror("malloc fail:");return;
}
2.1.2. calloc
  1. 头文件:#include <stdlib.h>
  2. 声明:void *calloc(size_t nitems, size_t size)
  • nitems – 要被分配的元素个数。
  • size – 元素的大小。
  1. 作用: 分配所需的内存空间,并返回一个指向它的指针

  2. 返回值:该函数返回一个指针,指向已分配的内存。如果请求失败,则返回 NULL。

  • malloccalloc 之间的不同点是,malloc 不会设置内存为零,而 calloc会初始化分配的内存为零。
	int* ptr2 = (int*)calloc(10,sizeof(int));//分配10个大小为整型的空间,并初始化为0if (ptr2 == NULL)//检查是否分配失败{perror("calloc fail:");return;}
2.1.3. realloc
  1. 头文件:#include <stdlib.h>
  2. 声明:void *realloc(void *ptr, size_t size)
  • ptr – 指针指向一个要重新分配内存的内存块,该内存块之前是通过调用 malloc、calloc 或 realloc 进行分配内存的。如果为空指针,则会分配一个新的内存块,且函数返回一个指向它的指针。
  • size – 内存块的新的大小,以字节为单位。如果大小为 0,且 ptr 指向一个已存在的内存块,则 ptr 所指向的内存块会被释放,并返回一个空指针。
  1. 作用:尝试重新调整之前调用 malloccalloc 所分配的 ptr 所指向的内存块的大小。

  2. 返回值:该函数返回一个指针 ,指向重新分配大小的内存。如果请求失败,则返回 NULL。

	int* ptr3 = (int*)malloc(sizeof(int));if (ptr3 == NULL)//检查是否分配失败{perror("malloc fail:");return;}int* tmp = (int*)realloc(ptr3, sizeof(int) * 10);//重新分配内存if (tmp == NULL)//检查是否分配失败{perror("realloc fail:");return;}ptr3 = tmp;//重新指向那块空间

3. C++中的内存管理

C语言内存管理方式在C++中可以继续使用,但有些地方就无能为力而且使用起来比较麻烦,因此C++又提出了自己的内存管理方式:通过newdelete操作符进行动态内存管理。

3.1. new与delete操作内置类型

使用new与delete操作内置类型十分简单,我们直接通过代码示例:

void TestNew1()
{//开辟一个整型大小的空间int* ptr1 = new int;//开辟一个整型大小的空间并初始化为1int* ptr2 = new int(1);//开辟一个双精度浮点型大小的空间double* ptr3 = new double;//开辟一个双精度浮点型大小的空间并初始化为0.1double* ptr4 = new double(0.1);//以此内推......//与C语言free功能类似,释放空间防止内存泄漏delete ptr1;delete ptr2;delete ptr3;delete ptr4;
}

除了开辟整型,浮点型这类空间外,我们还能动态开辟数组。

void TestNew2()
{//开辟大小为10个整型的数组int* ptr1 = new int[10];//开辟大小为10个整型的数组,并初始化int* ptr2 = new int[10] {1, 2, 3, 4};//开辟大小为10个双精度浮点型的数组double* ptr3 = new double[10];//开辟大小为10个双精度浮点型的数组,并初始化double* ptr4 = new double[10] {0.1,0.2,0.3,0.4};//数组释放空间需要使用 delete[]delete[] ptr1;delete[] ptr2;delete[] ptr3;delete[] ptr4;}

注意:

  • new单个类型与new一个数组,释放空间要分别与delete和delete[]配套使用,否则可能出现未知的结果。
  • 在动态内存开辟数组时初始化与C语言数组初始化一样,未注明该初始化某个数值时,默认为0。并且对动态内存开辟数组时初始化是C++11支持的。

img

3.2. new与delete操作自定义类型

new/delete操作内置类型其实与C语言中的malloc/free并没有本质的区别,但是自定义类型就不一样了。请看下面这段代码。

class Betty
{
public:Betty(){cout << "Betty()" << endl;}~Betty(){cout << "~Betty()" << endl;}
private:int _b;
};
void TestNew3()
{Betty* ptr1 = (Betty*)malloc(sizeof(Betty));Betty* ptr2 = new Betty;free(ptr1);delete ptr2;
}

img

  • 从这里我们就知道:new创建自定义类型时会自动调用其构造函数,delete释放其空间时会自动调用其析构函数。

3.3. operator new与operator delete函数

new和delete是用户进行动态内存申请和释放的操作符,而operator new 和operator delete是系统提供的全局函数,并且operator new和operator delete也不是对new和delete的重载,new在底层调用operator new全局函数来申请空间,delete在底层通过operator delete全局函数来释放空间。以下是operator new与operator delete函数的源代码:

void* __CRTDECL operator new(size_t size) _THROW1(_STD bad_alloc)
{// try to allocate size bytesvoid* 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: 该函数最终是通过free来释放空间的
*/
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_FINALLYreturn;
}

通过上述两个全局函数的实现知道,operator new 实际也是通过malloc来申请空间,如果malloc申请空间成功就直接返回,否则执行用户提供的空间不足应对措施,如果用户提供该措施就继续申请,否则就抛异常operator delete 最终是通过free来释放空间的

void TestNew4()
{Betty* ptr1 = (Betty*)malloc(sizeof(Betty));Betty* ptr2 = (Betty*)operator new(sizeof(Betty));free(ptr1);operator delete (ptr2);
}
  • 通过观察我们发现operator new与operator delete函数对于自定义类型一样不会调用其构造函数与析构函数。

3.4. new与delete的实现

通过上述的学习之后,我们就可以来简单探究一下new与delete的实现原理,请看下面这段代码:

void TestNew5()
{int* ptr1 = new int;//内置类型Betty* ptr2 = new Betty;//自定义类型delete ptr1;delete ptr2;
}

我们可以通过查看反汇编来具体观察new与delete是如何运作的:

img

img

通过观察我们总结出以下这些规律:

  1. 对于内置类型

如果申请的是内置类型的空间,new和malloc,delete和free基本类似,不同的地方是:new / delete申请和释放的是单个元素的空间,new[]和delete[]申请的是连续空间,而且new在申请空间失败时会抛异常,malloc会返回NULL。

  1. 对于自定义类型
  1. new的原理
  • 调用operator new函数申请空间
  • 在申请的空间上执行构造函数,完成对象的构造
  1. delete的原理
  • 在空间上执行析构函数,完成对象中资源的清理工作
  • 调用operator delete函数释放对象的空间
  1. new T[N]的原理
  • 调用operator new[]函数,在operator new[]中实际调用operator new函数完成N个对象空间的申请
  • 在申请的空间上执行N次构造函数
  1. delete[]的原理
  • 在释放的对象空间上执行N次析构函数,完成N个对象中资源的清理
  • 调用operator delete[]释放空间,实际在operator delete[]中调用operator delete来释
    放空间

3.5. 定位new表达式

我们知道我们可以在类外直接显示调用析构函数,但是无法直接调用构造函数。如果想在类外调用,则需要使用定位new,定位new简单来说就是**对已分配的原始内存空间中调用构造函数初始化一个对象。**其语法形式如下:

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

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

class A
{
public:A(int a = 0):_a(a){cout << "A(int a = 0):"<<_a << endl;}~A(){cout << "~A()" << endl;}
private:int _a;
};
void TestNew6()
{A* p1 = (A*)malloc(sizeof(A));// 注意:如果A类的构造函数有参数时,此处需要传参new(p1)A; p1->~A();free(p1);A* p2 = (A*)operator new(sizeof(A));new(p2)A(10);p2->~A();operator delete(p2);
}

img

4. malloc/free和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.mzph.cn/diannao/25867.shtml

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

相关文章

微信小程序毕业设计-网吧在线选座系统项目开发实战(附源码+论文)

大家好&#xff01;我是程序猿老A&#xff0c;感谢您阅读本文&#xff0c;欢迎一键三连哦。 &#x1f49e;当前专栏&#xff1a;微信小程序毕业设计 精彩专栏推荐&#x1f447;&#x1f3fb;&#x1f447;&#x1f3fb;&#x1f447;&#x1f3fb; &#x1f380; Python毕业设计…

力扣 T62 不同路径

题目 连接 思路 思路1 &#xff1a; BFS爆搜 class Solution { public:queue<pair<int,int>>q;int uniquePaths(int m, int n) {q.push({1,1}); // 起始位置vector<pair<int, int>> actions;actions.push_back({0, 1}); // 向下actions.push_bac…

【网络编程开发】11.IO模型 12.IO多路复用

11.IO模型 什么是IO: IO 是 Input/Output 的缩写&#xff0c;指的是输入和输出。在计算机当中&#xff0c;IO 操作通常指将数据从一个设备或文件中读取到计算机内存中&#xff0c;或将内存中的数据写入设备或文件中。这些设备可以包括硬盘驱动器、网卡、键盘、屏幕等。 通常用…

selenium自动化测试入门 —— Alert/Confirm/Prompt 弹出窗口处理!

一、Alert/Confirm/Prompt弹出窗口特征说明 Alert弹出窗口&#xff1a; 提示用户信息只有确认按钮&#xff0c;无法通过页面元素定位&#xff0c;不关闭窗口无法在页面上做其他操作。 Confirm 弹出窗口&#xff1a; 有确认和取消按钮&#xff0c;该弹出窗口无法用页面元素定…

06_深度学习历史的里程碑--重读AlexNet

1.1 介绍 AlexNet是深度学习历史上一个非常重要的卷积神经网络&#xff08;Convolutional Neural Network, CNN&#xff09;模型&#xff0c;由Alex Krizhevsky、Ilya Sutskever和Geoffrey Hinton在2012年设计并提出。它因在ImageNet大规模视觉识别挑战赛中的卓越表现而闻名&a…

2024世界技能大赛某省选拔赛“网络安全项目”B模块--数据包分析(jsp流量解密)

2024世界技能大赛某省选拔赛“网络安全项目”B模块--数据包分析② 任务一、网络数据包分析取证解析:任务一、网络数据包分析取证解析: A 集团的网络安全监控系统发现有恶意攻击者对集团官方网站进行攻击,并抓取了部分可疑流量包。请您根据捕捉到的流量包,搜寻出网络攻击线…

冯喜运:6.10周一黄金还会再次拉升吗?日内黄金原油操作策略

【黄金消息面分析】&#xff1a;周一(6月10日)亚市盘中&#xff0c;现货黄金交在上周五暴跌后仍然承压&#xff0c;目前金价位于2294美元/盎司左右。因强劲非农数据刺激美元大涨&#xff0c;现货黄金上周五出现暴跌。此外&#xff0c;上周五数据显示&#xff0c;最大黄金消费国…

在python中关于元组的操作

创建元组 如上图所示&#xff0c;a&#xff08;&#xff09;和b tuple(),,这两种方式都可以创建出元组。 在创建元组的时候&#xff0c;指定初始值 如上图所示&#xff0c;也可以在创建元组的时候&#xff0c;指定初始值。 同列表一样元组中的元素也可以是任意类型的。 同列…

Qt 布局管理

布局基础 1)Qt 布局管理系统使用的类的继承关系如下图: QLayout 和 QLayoutItem 这两个类是抽象类,当设计自定义的布局管理器时才会使用到,通常使用的是由 Qt 实现的 QLayout 的几个子类。 2)Qt 使用布局管理器的步骤如下: 首先创建一个布局管理器类的对象。然后使用该…

封装了一个简单理解的iOS竖直文字轮播

效果图 原理 就是持有两个视图&#xff0c;并且两个视图同时改变origin.y 动画结束之后&#xff0c;判断哪个视图是在上面并且看不到的&#xff0c; 则将该视图移动到底部&#xff0c;并且该视图展示下一跳内容 在开始下一轮动画 代码 - (void)startAnimationWithDuration:(…

【Linux】网络配置(静态/动态/手动/nmcli)

目录 一、手动修改网络配置文件&#xff1a;静态 二、手动修改网络配置文件&#xff1a;动态 三、nmcli工具命令修改网络配置文件&#xff1a;静态 四、nmcli工具命令修改网络配置文件&#xff1a;动态 错误排查分析&#xff1a;编辑虚拟网络编辑器不生效 1、排除VMware启…

攻防世界---misc---gif

1、题目描述 2、下载附件&#xff0c;是一堆黑白图片&#xff0c;看到这里我一头雾水 3、看别人写的wp&#xff0c;说是白色表示0&#xff0c;黑色表示1。按照顺序写出来后得到 4、解码的时候&#xff0c;把逗号去掉。二进制转字符串得到&#xff1a; 5、 flag{FuN_giF}

阿里通义千问 Qwen2 大模型开源发布

阿里通义千问 Qwen2 大模型开源发布 Qwen2 系列模型是 Qwen1.5 系列模型的重大升级。该系列包括了五个不同尺寸的预训练和指令微调模型&#xff1a;Qwen2-0.5B、Qwen2-1.5B、Qwen2-7B、Qwen2-57B-A14B 以及 Qwen2-72B。 在中文和英文的基础上&#xff0c;Qwen2 系列的训练数…

深度学习与人工智能

深度学习&#xff0c;是一种特殊的人工智能&#xff0c;他与人工智能及机器学习的关系如下&#xff1a; 近些年来&#xff0c;基于人工神经网络的机器学习算法日益盛行起来&#xff0c;逐渐呈现出取代其他机器学习算法的态势&#xff0c;这主要的原因是因为人工神经网络中有一中…

php高级之框架源码、宏扩展原理与开发

在使用框架的时候我们经常会看到如下代码 类的方法不会显示地声明在代码里面&#xff0c;而是通过扩展的形式后续加进去&#xff0c;这么做的好处是可以降低代码的耦合度、保证源码的完整性、团队开发的时候可以分别写自己的服务去扩展类&#xff0c;减少代码冲突等等。我自己…

C语言之常用字符串函数总结、使用和模拟实现

文章目录 目录 一、strlen 的使用和模拟实现 二、strcpy 的使用及模拟实现 三、strcat 的使用和模拟实现 四、strcmp 的使用和模拟实现 五、strncpy 的使用和模拟实现 六、strncat 的使用和模拟实现 七、strncmp 的使用和模拟实现 八、strstr 的使用和模拟实现 九、st…

使用Python批量处理Excel的内容

正文共&#xff1a;1500 字 10 图&#xff0c;预估阅读时间&#xff1a;1 分钟 在前面的文章中&#xff08;如何使用Python提取Excel中固定单元格的内容&#xff09;&#xff0c;我们介绍了如何安装Python环境和PyCharm工具&#xff0c;还利用搭好的环境简单测试了一下ChatGPT提…

Java 数据类型 -- Java 语言的 8 种基本数据类型、字符串与数组

大家好&#xff0c;我是栗筝i&#xff0c;这篇文章是我的 “栗筝i 的 Java 技术栈” 专栏的第 004 篇文章&#xff0c;在 “栗筝i 的 Java 技术栈” 这个专栏中我会持续为大家更新 Java 技术相关全套技术栈内容。专栏的主要目标是已经有一定 Java 开发经验&#xff0c;并希望进…

如何秒杀系统架构设计

原文路径:https://learn.lianglianglee.com/%e4%b8%93%e6%a0%8f/%e5%a6%82%e4%bd%95%e8%ae%be%e8%ae%a1%e4%b8%80%e4%b8%aa%e7%a7%92%e6%9d%80%e7%b3%bb%e7%bb%9f/00%20%e5%bc%80%e7%af%87%e8%af%8d%20%e7%a7%92%e6%9d%80%e7%b3%bb%e7%bb%9f%e6%9e%b6%e6%9e%84%e8%ae%be%e8%ae%…

纳什均衡:博弈论中的运作方式、示例以及囚徒困境

文章目录 一、说明二、什么是纳什均衡&#xff1f;2.1 基本概念2.2 关键要点 三、理解纳什均衡四、纳什均衡与主导策略五、纳什均衡的例子六、囚徒困境七、如何原理和应用7.1 博弈论中的纳什均衡是什么&#xff1f;7.2 如何找到纳什均衡&#xff1f;7.3 为什么纳什均衡很重要&a…