四、C++内存管理

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、4delete 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 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
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;
}

上面的代码目前不需要我们能够看懂,刚才我们说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.mzph.cn/news/615320.shtml

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

相关文章

【C++进阶06】红黑树图文详解及C++模拟实现红黑树

一、红黑树的概念及性质 1.1 红黑树的概念 AVL树用平衡因子让树达到高度平衡 红黑树可以认为是AVL树的改良 通过给每个节点标记颜色让树接近平衡 以减少树在插入节点的旋转 在每个结点新增一个存储位表示结点颜色 可以是Red或Black 通过对任何一条从根到叶子的路径上 各个结点…

PaddleSeg学习4——paddle模型使用TensorRT推理(c++)

paddle模型使用TensorRT推理 1 模型末端添加softmax和argmax算子2 paddle模型转onnx模型3 onnx模型转TensorRT模型3.1 安装TensorRT-8.5.3.13.2 使用 trtexec 将onnx模型编译优化导出为engine模型 4 TensorRT模型推理测试5 完整代码6 测试结果 1 模型末端添加softmax和argmax算…

谁是linux SIGKILL的凶手---linux审计日志排障的杀手锏

一、背景描述 在我们的技术生涯中&#xff0c;总会碰到那精彩的一瞬间&#xff0c;哪怕是一瞬间&#xff0c;曾经的熟悉php内核的同事和今天碰到的排障瞬间&#xff0c;都是我技术生涯中那精彩的一瞬间&#xff0c;写一篇日志记录一下。 今天碰到一个问题&#xff0c;就是采集…

2022 年全国职业院校技能大赛高职组云计算赛项试卷

【赛程名称】云计算赛项第一场-私有云 某企业拟使用OpenStack 搭建一个企业云平台&#xff0c;以实现资源池化弹性管理、企业应用集中管理、统一安全认证和授权等管理。 系统架构如图 1 所示&#xff0c;IP 地址规划如表 1 所示。 图 1 系统架构图 表 1 IP 地址规划 设备…

docker 利用特权模式逃逸并拿下主机

docker 利用特权模式逃逸并拿下主机 在溯源反制过程中&#xff0c;会经常遇到一些有趣的玩法&#xff0c;这里给大家分享一种docker在特权模式下逃逸&#xff0c;并拿下主机权限的玩法。 前言 在一次溯源反制过程中&#xff0c;发现了一个主机&#xff0c;经过资产收集之后&…

[手写爬虫框架],从回忆Python到爬虫原理解析

手写爬虫框架&#xff0c;又名&#xff1a;手写爬虫框架的第1天 数据存储&#xff08;无数据库版&#xff09; HTML正文抽取多媒体文件抽取Email提醒 实战项目&#xff1a;基础爬虫 基础爬虫架构及运行流程URL管理器HTML下载器HTML解析器数据存储器爬虫调度器 从爬虫底层 —&…

网站开发第一弹---HTML01

&#x1f389;欢迎您来到我的MySQL基础复习专栏 ☆* o(≧▽≦)o *☆哈喽~我是小小恶斯法克&#x1f379; ✨博客主页&#xff1a;小小恶斯法克的博客 &#x1f388;该系列文章专栏&#xff1a;网站开发flask框架 &#x1f379;文章作者技术和水平很有限&#xff0c;如果文中出现…

基于pytorch的循环神经网络情感分析系统

任务目标 基于给定数据集&#xff0c;进行数据预处理&#xff0c;搭建以LSTM为基本单元的模型&#xff0c;以Adam优化器对模型进行训练&#xff0c;使用训练后的模型进行预测并计算预测分类的准确率。 数据简介 IMDB数据集是一个对电影评论标注为正向评论与负向评论的数据集…

Spring Boot Starter介绍和实战

引言 Spring Boot Starter 是 Spring Boot 提供的一种机制&#xff0c;用于简化和集成应用程序的依赖管理。通过创建自定义的 Starter&#xff0c;可以将一组相关的依赖打包成一个简单的、可重用的模块&#xff0c;使应用程序的配置和依赖管理更加方便。在本文中&#xff0c;我…

【AI视野·今日NLP 自然语言处理论文速览 第七十二期】Mon, 8 Jan 2024

AI视野今日CS.NLP 自然语言处理论文速览 Mon, 8 Jan 2024 Totally 17 papers &#x1f449;上期速览✈更多精彩请移步主页 Daily Computation and Language Papers DeepSeek LLM: Scaling Open-Source Language Models with Longtermism Authors DeepSeek AI Xiao Bi, Deli Ch…

深度卷积神经网络

目录 1.AlexNet 2. 代码实现 1.AlexNet (1)特征提取 (2)选择核函数来计算相关性&#xff1a;怎么判断在高维空间里面两个点是如何相关的&#xff0c;如果是线性模型就是做内积。 (3)凸优化问题 (4)漂亮的定理 丢弃法的作用就是因为模型太大了&#xff0c;使用它来对模型做…

python连接sqlite3工具类

简单使用python连接sqlite3工具类&#xff0c;代码可根据场景自行抽象 #!/usr/bin/env python # -*- coding: utf-8 -*-import sqlite3class SQLiteHandler:# 示例用法default_db_path "example.db"def __init__(self, db_fileNone):self.db_file db_file or self…

Spring面试整理-Spring的AOP

Spring的面向切面编程(AOP)是其核心功能之一,它允许开发者在不改变原有代码的情况下,增加额外的行为(如日志记录、事务管理、安全检查等)。AOP 通过定义"切面"(aspects)和"通知"(advice)来实现这一功能。 AOP概念 切面(Aspect):切面是模块化的…

TCP 和 UDP 的区别

TCP&#xff08;Transmission Control Protocol&#xff09;和UDP&#xff08;User Datagram Protocol&#xff09;是两种主要的传输层协议&#xff0c;它们在网络通信中有一些关键的区别&#xff1a; &#xff08;1&#xff09;http1 / http2 基于 tcp 协议&#xff0c;https …

XCODE IOS 静态链接库替换升级

XCODE 版本15.2. 一个很久需求没更新的IOS 应用&#xff0c;近来有新需求要开发。 拉下代码运行&#xff0c;出现了个BAD_ACCESS错误。出错的位置位于一个调用的第三方的.a静态库内部。因为调用代码并没有修改&#xff0c;很容易想到可能XCODE相关升级&#xff0c;导致的问题。…

无监督学习Principal Component Analysis(PCA)精简高维数据

目录 介绍 一、PCA之前 二、PCA之后 介绍 Principal Component Analysis (PCA) 是一种常用的数据降维和特征提取技术。PCA通过线性变换将高维数据映射到低维空间&#xff0c;从而得到数据的主要特征。PCA的目标是找到一个正交基的集合&#xff0c;使得将数据投影到这些基…

Android Studio 分别运行flutter 的debug和release版本

前言 由于在Android Studio 没找到运行release版本的入口,现在通过命令行运行 1.release版本 运行release版本的话直接执行下面命令3 flutter run --release相关命令统计 1.生成apk flutter build apk2.安装apk&#xff1a; flutter install3.运行release版本 flutter …

【期末不挂科-单片机考前速过系列P11】(第十一章:单片机的并行拓展例题)经典例题盘点(带图解析)

前言 大家好吖&#xff0c;欢迎来到 YY 滴单片机系列 &#xff0c;热烈欢迎&#xff01; 本章主要内容面向接触过单片机的老铁 主要内容含&#xff1a; 欢迎订阅 YY滴C专栏&#xff01;更多干货持续更新&#xff01;以下是传送门&#xff01; YY的《C》专栏YY的《C11》专栏YY的…

初探UAF漏洞(3)

构造exp #include <iostream> #include <Windows.h>typedef void(*FunctionPointer) ();typedef struct _FAKE_USE_AFTER_FREE {FunctionPointer countinter;char bufffer[0x54]; }FAKE_USE_AFTER_FREE, * PUSE_AFTER_FREE;void ShellCode() {_asm{noppushadmov e…

github上的python图片转excel,pytesseract安装相关问题

问题1&#xff1a;明明都pip install pytesseract&#xff0c;但是就是安装不上 pytesseract 未安装链接: https://pan.baidu.com/s/1I4HzCgO4mITWTcZFkdil6g?pwdafes 提取码: afes 安装后一路next&#xff0c;然后配置环境变量 C:\Program Files\Tesseract-OCR新建一个系统…