C++【内存管理】

news2025/7/29 22:55:02

文章目录

  • C++内存管理
  • 一、C/C++内存分布
    • 1.1.C/C++内存区域划分图解：
    • 1.2.根据代码进行内存区域分析
  • 二、C++内存管理方式
    • 2.1.new/delete操作内置类型
    • 2.2.new和delete操作自定义类型
  • 三、operator new与operator delete函数
  • 四、new和delete的实现原理
    • 4.1.内置类型
    • 4.2.自定义类型
    • 4.3.new和free不匹配使用造成的问题
  • 五、定位new表达式
  • 六、malloc/free和new/delete的区别
  • 七、内存泄漏
    • 7.1.内存泄漏概念危害
    • 7.2.内存泄漏分类
    • 7.3.如何检测内存泄漏
    • 7.4.如何避免内存泄漏

C++内存管理

一、C/C++内存分布

1.1.C/C++内存区域划分图解：

在这里插入图片描述

    1. 栈又叫堆栈–非静态局部变量/函数参数/返回值等等，栈是向下增长的。
    1. 内存映射段是高效的I/O映射方式，用于装载一个共享的动态内存库。用户可使用系统接口创建共享共享内存，做进程间通信。
    1. 堆用于程序运行时动态内存分配，堆是可以上增长的。
    1. 数据段–存储全局数据和静态数据。
    1. 代码段–可执行的代码/只读常量

1.2.根据代码进行内存区域分析

如下代码指明下面变量属于哪个内存区域：

int  a= 1;
static int  b= 1;
void Test()
{
static int c = 1;
int d= 1;
int e[]= { 1, 2, 3, 4 };
char f[] = "abcd";
const char* g = "abcd";
int* h = (int*)malloc(sizeof(int) * 4);
free(h);

}

a属于数据段即静态区
b是全局静态变量也在静态区
c是局部静态变量也在静态区
d是一个普通局部变量在栈区
e是数组名也是在栈区
f是和e一样，唯一区别是它是通过初始化确定大小，也在栈区
*f是数组名首元素地址并进行解引用指第一个元素，因为它是在栈上开一个数组，并把常量区的内容拷贝到栈上，所以也是在栈上
g是指针变量，局部变量在栈区
*g，指针并解引用表示指向的内容在常量区
h是一个指针变量，局部变量在栈区
*h，指针并解引用指向的空间的内容，又因为它是在堆上开的，所以在堆区

二、C++内存管理方式

C语言内存管理方式在C++中可以继续使用，但是使用起来比较麻烦，所以C++又提出了自己的内存管理方式：通过new和delete操作符进行动态内存管理。

2.1.new/delete操作内置类型

void Test()
{
 
 int* a= new int;// 动态申请一个int类型的空间
 int* b = new int(10); // 动态申请一个int类型的空间并初始化为10
 int* b= new int[10]; // 动态申请10个int类型的空间
 delete a;
 delete b;
 delete[] c;
}

int 表示类型，10表示初始化，10表示对象个数，new，delete，delete[]，表示操作符。
申请和释放单个元素的空间，使用new和delete操作符，申请和释放连续的空间，使用new[]和delete[]，注意：匹配起来使用。否则结果是不确定的。

2.2.new和delete操作自定义类型

class func
{
public:
     func(int a = 0)
       : _a(a)
     {
         cout << "func():" << this << endl;
     }
      ~func()
    {
       cout << "~func():" << this << endl;
    }
private:
       int _a;
};
int main()
{
    
     func* a= (func*)malloc(sizeof(func));
     func*b = new func(1);
     free(a);
     delete b;
     
     int* c = (int*)malloc(sizeof(int)); 
     int* d = new int;
     free(c);
     delete d;
     
     func* e = (func*)malloc(sizeof(A)*10);
     func* f = new func[10];
     free(e);
     delete[] f;
     eturn 0;
}

new/delete 和 malloc/free最大区别是,在申请自定义类型的空间时，new会调用构造函数，delete会调用析构函数，而malloc与free不会。

三、operator new与operator delete函数

new和delete是用户进行动态内存申请和释放的操作符，operator new 和operator delete是
系统提供的全局函数，new在底层调用operator new全局函数来申请空间，delete在底层通过operator delete全局函数来释放空间。new，delete本质上是malloc，free的封装，保证了C++的机制，符合面向对象编程。
operator new实际通过malloc来申请空间，当malloc申请空间成功时直接返回；申请空间失败，尝试执行空 间不足应对措施，如果改应对措施用户设置了，则继续申请，否则抛异常。operator delete 最终是通过free来释放空间的。

四、new和delete的实现原理

4.1.内置类型

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

4.2.自定义类型

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

new/delete 和 malloc/free最大区别是 new/delete对于【自定义类型】除了开空间还会调用构造函数和析构函数

4.3.new和free不匹配使用造成的问题

class A
{
public:
	A(int a = 0)
		: _a(a)
	{
		cout << "A():" << this << endl;
	}

	~A()
	{
		cout << "~A():" << this << endl;
	}
private:
	int _a;
};

	int* p7 = new int[10];
	free(p7);  // 正常释放

不会报错，不会有内存泄漏，对于内置类型没有构造函数，析构函数，如果delete也是调用operator delete，它也是调用free，和直接free没有太大的区别，只是多了一些检查的一些问题。

class A
{
public:
	A(int a = 0)
		: _a(a)
	{
		cout << "A():" << this << endl;
	}

	~A()
	{
		cout << "~A():" << this << endl;
	}
private:
	int _a;
};
A* p8 = new A;
free(p8); 
//delete p8;

不会报错也不会有内存泄漏（假设析构函数没有资源释放），这里没有调用析构函数，会不会出现问题，要看情况，如果析构里面有资源的释放和清理会有，反之则没问题不大，但是如果有资源释放但没有调用，C++也不会告诉我们内存泄漏，也不会显示报错。另外局部变量被销毁，但是指向的空间在堆上需要我们手动释放。

class Stack
{
public:
	Stack()
	{
		cout << "Stack()" << endl;
	_a = new int[4];
		_top = 0;
		_capacity = 4;
	}

	~Stack()
	{
		cout << "~Stack()" << endl;
		delete[] _a;
		_top = _capacity = 0;
	}

private:
	int* _a;
	int _top;
	int _capacity;
};
int main()
{
       stack st；
       stack* ps=new Stack；
       delete pst；
       //free(pst);
}

stack st，st是一个自定义类型，是一个局部变量，不需要手动释放，默认调用构造，出了作用域调用析构函数。
stack* ps=new Stack，ps它是一个指针，是一个内置类型，不会调用那两个函数，这个需要手动释放。
为何要手动释放深层分析：
st是一个对象在栈上，里面的a它指向一块空间在堆上。
pst是一个指针也在栈上，new的时候在堆上开空间，它指向一个对象，12个字节，里面的_a指向的空间也在堆上。
stack st出了作用域调用析构函数，把堆上的带走。
delete pst，两块空间需要释放，第一步先调用析构函数，把第二块_a指向的空间释放掉，把析构里面资源先清理，第二步调用operator delete ，把对象释放掉，如果写成free(pst)也不会报错，但是少调用了一次析构函数，把对象释放掉，_a指向的空间没人用，导致内存泄漏。

class A
{
public:
	A(int a = 0)
		: _a(a)
	{
		cout << "A():" << this << endl;
	}

	~A()
	{
		cout << "~A():" << this << endl;
	}
private:
	int _a;
};

  /	A* p9 = new A[10];
//	//free(p9);会报错
//	//delete p9;也会报错
delete[] p9

调用10次析构函数，怎么知道是10次的，因为开空间的时候会在头前面多开4个字节存放个数，给delete用，申请的时候p9的位置是在这个空间的前面，但是在返回的时候它的位置是在这个空间的后面，如果去free指针的位置不对，而用delete p9也不对，只调用了一次析构，少调了9次，而delete[] p9,会用这个位置的地址往前减4个字节，就知道这个空间是多少个对象，知道调用了多少次析构，释放的时候把这个指针往前偏四个字节。
如果把析构屏蔽，用delete p9就不会崩溃。它就不会多开那四个字节，不会报错。

五、定位new表达式

定位new表达式是在已分配的原始内存空间中调用构造函数初始化一个对象。
使用格式：new (place_address) type或者new (place_address) type(initializer-list)
place_address必须是一个指针，initializer-list是类型的初始化列表。
使用场景：
定位new表达式在实际中一般是配合内存池使用。因为内存池分配出的内存没有初始化，所以如果是自定义类型的对象，需要使用new的定义表达式进行显示调构造函数进行初始化。

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));
         	if (p1 == nullptr)
          {
		       perror("malloc fail");
	      }
         new(p1)A;  // 注意：如果A类的构造函数有参数时，此处需要传参
         new(p1)A(1);//对已有空间初始化
         p1->~A()；//调用析构函数
         free(p1);
        return 0;
}

如果是为初始化，用malloc，定位new，不如直接new，但是1有一类场景是需要这个的
有时候我们申请的内存直接去new是直接找操作系统要，但有些地方为了提高性能，在这地方从内存池去申请，从操作系统上的堆去申请会慢一些，如果这有一快频繁申请的内存，想要一个快一点的机制，可以找个内存池，申请内存就去找这个内存池，也是来自堆，会让来回的消耗变小。减少了交互。找一个离自己更近，更方便的地方来提高效率。

六、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在释放空间前会调用析构函数完成空间中资源的清理

七、内存泄漏

7.1.内存泄漏概念危害

什么是内存泄漏：内存泄漏指因为疏忽或错误造成程序未能释放已经不再使用的内存的情况。内存泄漏并不是指内存在物理上的消失，而是应用程序分配某段内存后，因为设计错误，失去了对该段内存的控制，因而造成了内存的浪费。
内存泄漏的危害：长期运行的程序出现内存泄漏，影响很大，如操作系统、后台服务等等，出现内存泄漏会导致响应越来越慢，最终卡死。

7.2.内存泄漏分类

C/C++程序中一般关心两种方面的内存泄漏：
堆内存泄漏：
堆内存指的是程序执行中依据须要分配通过malloc / calloc / realloc / new等从堆中分配的一块内存，用完后必须通过调用相应的 free或者delete 删掉。假设程序的设计错误导致这部分内存没有被释放，那么以后这部分空间将无法再被使用，就会产生Heap Leak。
系统资源泄漏：
指程序使用系统分配的资源，比方套接字、文件描述符、管道等没有使用对应的函数释放
掉，导致系统资源的浪费，严重可导致系统效能减少，系统执行不稳定。

7.3.如何检测内存泄漏

在vs下，可以使用windows操作系统提供的_CrtDumpMemoryLeaks() 函数进行简单检测，该函数只报出了大概泄漏了多少个字节，没有其他更准确的位置信息。

int main()
{
int* p = new int[10];
// 将该函数放在main函数之后，每次程序退出的时候就会检测是否存在内存泄漏
_CrtDumpMemoryLeaks();
return 0;
}
// 程序退出后，在输出窗口中可以检测到泄漏了多少字节，但是没有具体的位置

所以写代码时一定要小心，尤其是动态内存操作时，一定要记着释放。但有些情况下总是防不胜防，简单的可以采用上述方式快速定位下。如果工程比较大，内存泄漏位置比较多，不太好查时一般都是借助第三方内存泄漏检测工具处理的。可以在网上搜，在linux下内存泄漏检测工具，在windows下使用第三方工具。

7.4.如何避免内存泄漏

  1. 工程前期良好的设计规范，养成良好的编码规范，申请的内存空间记着匹配的去释放。ps：这个理想状态。但是如果碰上异常时，就算注意释放了，还是可能会出问题。需要下一条智能指针来管理才有保证。
  2. 采用RAII思想或者智能指针来管理资源。
  3. 有些公司内部规范使用内部实现的私有内存管理库。这套库自带内存泄漏检测的功能选项。
  4. 出问题了使用内存泄漏工具检测。
    内存泄漏非常常见，解决方案分为两种：1、事前预防型。如智能指针等。2、事后查错型。如泄漏检测工具。

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

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

相关文章

如何利用有限的数据发表更多的SCI论文？——利用ArcGIS探究环境和生态因子对水体、土壤和大气污染物的影响

如何利用有限的数据发表更多的SCI论文？——利用ArcGIS探究环境和生态因子对水体、土壤和大气污染物的影响

SCI的写作和发表是科研人提升自身实力和实现自己价值的必要途径。“如何利用有限的数据发表更多的SCI论文&#xff1f;”是我们需要解决的关键问题。软件应用只是过程和手段&#xff0c;理解事件之间的内在逻辑和寻找事物之间的内在规律才是目的。如何利用有限的数据发表更多的…
阅读更多...
互联网企业如何进行数字化转型？业务需求迭代频繁的应对之策！

互联网企业如何进行数字化转型？业务需求迭代频繁的应对之策！

互联网行业作为我国数字经济发展“四化”框架中生产力主要组成部分&#xff0c;是国家数字化转型的主要推动者之一。为此&#xff0c;相对于其他传统行业来说&#xff0c;互联网行业企业数字化转型的紧迫程度更高&#xff0c;如果不数字化转型或者转型不成功&#xff0c;会有更…
阅读更多...
ArcGIS制作地形分析

ArcGIS制作地形分析

ArcGIS制作地形分析的方法解析 树谷资料库资源大全&#xff08;2月9日更新&#xff09; 在地形变化较大的建筑、景观、城市设计项目中&#xff0c;高程、坡度、坡向分析是非常重要的&#xff0c;而在这几类分析中&#xff0c;ArcGIS软件可以比较方便的完成相关分析的制作。今…
阅读更多...
OAuth2.0入门

OAuth2.0入门

什么是OAuth2.0 OAuth&#xff08;Open Authorization&#xff09;是一个关于授权&#xff08;authorization&#xff09;的开放网络标准&#xff0c;允许用户授权第三方应用访问他们存储在另外的服务提供者上的信息&#xff0c;而不需要将用户名和密码提供给第三方移动应用或…
阅读更多...
HTML基础（3）

HTML基础（3）

HTML基础单选框、复选框、下拉框文本框< script >标签属性< script >基本使用单选框、复选框、下拉框 文本框 < script >标签属性 type属性定义script元素包含或src引用的脚本语言。属性值是MIME类型&#xff0c;包括text/javascript,text/ecmascript, appl…
阅读更多...
SpringBoot2零基础到项目实战-基础篇

SpringBoot2零基础到项目实战-基础篇

SSM内容01-SpringBoot工程入门案例开发步骤SpringBoot 是 Pivotal 团队提供的全新框架&#xff0c;设计目的是简化 Spring 应用的初始搭建以及开发过程。使用了 Spring 框架后已经简化了我们的开发。而 SpringBoot 又是对 Spring 开发进行简化的&#xff0c;可想而知 SpringBoo…
阅读更多...
使用DQN进行价格管理

使用DQN进行价格管理

文章目录前言一、不同的价格响应二、利用DQN优化定价策略1.定义环境2.DQN算法概述3.Algorithm: Deep Q Network (DQN)总结强化学习-定价、决策前言 供应链和价格管理是企业运营中最早采用数据科学和组合优化方法的领域&#xff0c;并且在使用这些技术方面有着悠久的历史&#…
阅读更多...
RabbitMQ 实现延迟队列

RabbitMQ 实现延迟队列

业务场景&#xff1a;1.生成订单30分钟未支付&#xff0c;则自动取消&#xff0c;我们该怎么实现呢&#xff1f;2.生成订单60秒后,给用户发短信1 安装rabbitMqwindows安装ubuntu中安装2 添加maven依赖<!-- https://mvnrepository.com/artifact/org.springframework.boot/spr…
阅读更多...
内网渗透(五十四)之域控安全和跨域攻击-利用krbtgt哈希值获取目标域控

内网渗透(五十四)之域控安全和跨域攻击-利用krbtgt哈希值获取目标域控

系列文章第一章节之基础知识篇 内网渗透(一)之基础知识-内网渗透介绍和概述 内网渗透(二)之基础知识-工作组介绍 内网渗透(三)之基础知识-域环境的介绍和优点 内网渗透(四)之基础知识-搭建域环境 内网渗透(五)之基础知识-Active Directory活动目录介绍和使用 内网渗透(六)之基…
阅读更多...
sqlmap工具

sqlmap工具

sqlmap Sqlmap是一个开源的渗透测试工具&#xff0c;可以用来自动化的检测&#xff0c;利用SQL注入漏洞&#xff0c;获取数据库服务器的权限。目前支持的数据库有MySQL、Oracle、PostgreSQL、Microsoft SQL Server、Microsoft Access等大多数据库 Sqlmap采用了以下5种独特的SQ…
阅读更多...
2023年，拥有软考证书在这些地区可以领取福利补贴

2023年，拥有软考证书在这些地区可以领取福利补贴

众所周知&#xff0c;软考的含金量很高&#xff0c;比如可以入户、领取技能补贴、抵扣个税、以考代评、招投标加分&#xff0c;入专家库… 今天小编给大家收集了拥有软考证书可以领取软考福利的地区&#xff0c;希望对大家有所帮助&#xff01; 【深圳】 入户 ①核准类入户:…
阅读更多...
C++【模板STL简介】

C++【模板STL简介】

文章目录C模板&&STL初阶一、泛型编程二、函数模板2.1.函数模板概念2.2.函数模板格式2.3.函数模板的实例化2.4.模板参数的匹配原则三、 类模板3.1.模板的定义格式3.2.类模板的实例化STL简介一、STL的概念、组成及缺陷二、STL的版本C模板&&STL初阶 一、泛型编程…
阅读更多...
AcWing蓝桥杯辅导课：第一讲递推与递归

AcWing蓝桥杯辅导课：第一讲递推与递归

AcWing 92. 递归实现指数型枚举 思路&#xff1a; 方法一&#xff1a; 暴力枚举 用二进制加位运算枚举每一个状态&#xff0c;输出即可&#xff0c;时间复杂度为 O(N2N)O(N2^N)O(N2N) 代码&#xff1a; import java.util.Scanner;/*** Description* Author: PrinceHan* Cre…
阅读更多...
如何让WinForms应用程序拥有Windows 11设计主题？

如何让WinForms应用程序拥有Windows 11设计主题？

Telerik UI for WinForms拥有适用Windows Forms的110多个令人惊叹的UI控件。所有的UI for WinForms控件都具有完整的主题支持&#xff0c;可以轻松地帮助开发人员在桌面和平板电脑应用程序提供一致美观的下一代用户体验。Windows 11主题的时代已经到来了&#xff0c;可以为WinF…
阅读更多...
Vue+Spring Boot前后端开发手册，开源获赞68K

Vue+Spring Boot前后端开发手册，开源获赞68K

企业技能要求 现在企业通常要求程序员既要有实战技能&#xff0c;也要内功扎实&#xff0c;对于新项目可以快速上手&#xff0c;熟悉底层原理后还应后劲十足&#xff0c;因此在笔试和面试时结合底层知识、实战应用、设计思维三方面进行考查。针对这3个方面的需求&#xff0c;阿…
阅读更多...
【Java】用记事本实现“HelloWorld”输出

【Java】用记事本实现“HelloWorld”输出

【在进行以下操作前需要下载好JDK并配置好对应的环境变量】 一、在任意文件夹中创建一个新的文本文档文件并写入以下代码 public class Hello{public static void main (String[] args){System.out.print("Hello,World!");} } 二、修改文件名称及文件类型为 Hello.j…
阅读更多...
Python3，为了无损压缩gif动图，我不得不写了一个压缩神器，真香。

Python3，为了无损压缩gif动图，我不得不写了一个压缩神器，真香。

gif动图无损压缩1、引言2、代码实战2.1 模块介绍2.2 安装2.3 代码示例3、总结1、引言 小屌丝&#xff1a;鱼哥&#xff0c; 求助~ 求助~ 求助~ 小鱼&#xff1a;你这是告诉我&#xff0c;重要的事情 说三遍吗&#xff1f; 小屌丝&#xff1a;你可以这么理解。 小鱼&#xff1a…
阅读更多...
程序员35岁以后就没有出路了吗？听听京东10年测开的分析

程序员35岁以后就没有出路了吗？听听京东10年测开的分析

国内的互联网行业发展较快&#xff0c;所以造成了技术研发类员工工作强度比较大&#xff0c;同时技术的快速更新又需要员工不断的学习新的技术。因此淘汰率也比较高&#xff0c;超过35岁的基层研发类员工&#xff0c;往往因为家庭原因、身体原因&#xff0c;比较难以跟得上工作…
阅读更多...
RocketMQ 延迟队列

RocketMQ 延迟队列

什么是延迟队列指消息发送到某个队列后&#xff0c;在指定多长时间之后才能被消费。应用场景RocketMQ 延迟队列定时消息&#xff08;延迟队列&#xff09;是指消息发送到broker后&#xff0c;不会立即被消费&#xff0c;等待特定时间投递给真正的topic。broker有配置项messageD…
阅读更多...
自学黑客2年都没入门，从零入门渗透有那么难吗？附入门教程。

自学黑客2年都没入门，从零入门渗透有那么难吗？附入门教程。

最近年底了&#xff0c;不少朋友都是在总结一年的学习成果。最后不少人发现完成情况与自己最初定下的目标相去甚远。 我认识不少人自学大半年了&#xff1a;b站&#xff0c;网盘&#xff0c;各种各样的资源数不胜数&#xff0c;总之只要是跟安全相关的不管学不学&#xff0c;先…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023