【C++】-- 内存管理new和delete详解

简介: 【C++】-- 内存管理new和delete详解

一、C/C++ 内存分布

C/C++内存被分为6个区域:

(1)内核空间存放内核代码和环境变量

(2) 栈(也叫堆栈)存放非静态局部变量/函数参数/返回值等等,栈是向下增长的。

(3)内存映射段是高效的I/O映射方式,用于装载一个共享的动态内存库。用户可使用系统接口创建共享内存,做进程间通信。

(4)堆用于程序运行时动态内存分配,堆是向上增长的。

(5)数据段存储全局数据和静态数据。

(6)代码段存放可执行的代码/只读常量。

如下图所示:


二、C语言动态内存管理方式

C语言动态内存管理malloc、calloc、realloc、free的详细介绍请参考文章C语言-动态内存管理详解


三、C++使用new和delete 的原因

new和delete是C++向内存申请空间和释放空间的操作符, C++为什么要使用new和delete?

1.C语言使用malloc、calloc、realloc、free管理的不便之处在于:

(1)手动申请内存需要手动计算字节数的大小

(2)对返回值类型void *要进行强转,否则无法解引用

(3)内存是否申请成功需要对返回值进行判空

(4)需要include头文件<stdlib.h>

2.new和delete的使用对自定义类型会进行处理:

(1)new会调用构造函数对类对象进行初始化

(2)delete会调用析构函数进行资源清理


四、C++动态内存管理方式

 1.new和delete

(1)new/delete和malloc/free对内置类型的操作没有区别:

①申请和释放单个空间,使用new和delete

②申请和释放连续空间,使用new[ ]和delete[ ]

1. #include<stdlib.h>
2. int main()
3. {
4.  //操作内置类型
5. 
6.  //1.申请单个int对象
7.  int* p1 = (int*)malloc(sizeof(int));
8.  free(p1);
9. 
10.   int* p2 = new int;//int* p2 = new int(10); 申请单个int对象并将其初始化为10
11.   delete p2;
12. 
13.   //2.申请10个元素的int数组
14.   int* p3 = (int*)malloc(sizeof(int) * 10);
15.   free(p3);
16. 
17.   int* p4 = new int[10];
18.   delete[] p4;//自定义类型数组delete要带上[],否则不匹配,程序会意外终止
19. 
20.   return 0;
21. }

C++11支持用{}对数组初始化:

1. int* p5 = new int[5]{1,2,3,4,5};
2. delete[] p5;

(2)new/delete和malloc/free对自定义类型的操作有区别:

①malloc/free对自定义类型的操作只会开空间/释放空间

②new操作自定义类型会开空间+初始化,delete操作自定义类型会调用析构函数清理+释放空间

1. #include<iostream>
2. #include<stdlib.h>
3. using namespace std;
4. 
5. struct ListNode
6. {
7.  ListNode* _next;
8.  ListNode* _prev;
9.  int _val;
10. 
11.   ListNode(int val = 0)
12.     : _next(nullptr)
13.     , _prev(nullptr)
14.     , _val(val)
15.   {
16.     cout << "this.val =" << val << endl;
17.   }
18. 
19.   ~ListNode()
20.   {
21.     cout << "~ListNode()" << endl;
22.   }
23. };
24. 
25. int main()
26. {
27.   struct ListNode* n1 = (struct ListNode*)malloc(sizeof(struct ListNode));
28.   struct ListNode* n2 = new ListNode;
29. 
30.   free(n1);
31.   delete n2;
32. 
33.   return 0;
34. }

F10监视,走完28行执行了new操作,发现n1 malloc的3个成员变量是随机值,而n2 new的3个成员变量都被初始化了,所以new不仅会开空间,还会调用自定义类型的构造函数进行初始化:

走完31行,执行了delete操作,发现打印了析构函数的内容,调用了析构函数:

因此,C++不仅开空间还初始化,不仅释放空间还清理资源。

总结:

(1)C++如果为内置类型申请空间,malloc和new没有区别

(2) C++如果为自定义类型申请空间,区别很大:

         ①new和是开空间+初始化,delete是析构清理+释放空间

         ②malloc仅仅是开空间,free仅仅是释放空间

建议:C++中,无论是内置类型,还是自定义类型的申请释放,尽量使用new和delete

如何在堆上申请4GB的空间?在32位机器上执行下面代码,程序会崩溃,因为2^32=1024*1024*1024*4,32位机器一共才4G,根据C++内存分布,内核空间占1G,剩余的5个区域一共占3G,因此32位平台是申请不到4GB内存空间的。

1. void* p1 = malloc(1024 * 1024 * 1024 * 4);
2. cout << p1 << endl;

但是,在VS上将项目-项目属性-配置管理器-选择x64平台:

这时64位机器共2^64,大概160亿GB左右,远远大于4G,顺利申请到了4G空间,但这4G其实也是虚拟的:

2.operator new和operator delete

定义:operator new 和operator delete是系统提供的全局函数,new在底层调用operator new全局函数来申请空间,delete在底层通过operator delete全局函数来释放空间,它们不是new和delete的重载。

与malloc区别:operator new、operator delete的用法和malloc、free的用法是一样的,功能都是在堆上申请释放空间,但是失败了的处理方式不一样,malloc失败返回NULL,operator new失败以后抛异常。

使用new为自定义类型ListNode申请空间并初始化:new会调用operator new函数和构造函数,operator new会调用malloc和失败抛异常机制,因此new和operator new申请失败都会抛异常:

从上图可以看出,new并不直接调用 malloc,而是调用了operator new,因为operator new被封装了,malloc申请失败直接报返回值,但operator new申请失败会抛异常。

delete先析构把资源清理掉,再调用operator delete释放栈空间本身。

在32位系统中申请0x7fffffff字节大小的空间,operator new函数申请空间失败抛异常:

1. void f()
2. {
3.  void* p3 = malloc(0x7fffffff);
4.  if (p3 == NULL)
5.  {
6.    cout << "malloc fail " << endl;
7.  }
8. 
9.  void* p4 = operator new(0x7fffffff);
10.     cout << "申请空间ing" << endl;
11. 
12.     char* p5 = new char('C');
13.   char* p6 = new char[2];
14. 
15.     ListNode* p7 = new ListNode[5]{1,2,3,4,5};
16. }
17. 
18. int main()
19. {
20. 
21.   try
22.   {
23.     f();
24.   }
25.   catch (exception& e)
26.   {
27.     cout << e.what() << endl;
28.   }
29. 
30.   return 0;
31. }

申请空间失败:没有打印申请空间ing,说明抛异常会直接跳到catch的位置,就不会执行cout << "申请空间ing" << endl;

F10-调试-反汇编,对于内置类型,发现new调的是operator new,new 类型[ ] 其实调的就是operator new[ ]:

对于自定义类型,会调operator new 和ListNode构造函数

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


五、内存泄漏

定义:内存泄漏指因为疏忽或错误造成程序未能释放已经不再使用的内存的情况。内存泄漏并不 是指内存在物理上的消失,而是应用程序分配某段内存后,因为设计错误,失去了对该段内存的控制,因而造成了内存的浪费。

危害:长期运行的程序出现内存泄漏,影响很大,如操作系统、后台服务等等,出现内存泄漏会 导致响应越来越慢,最终卡死。

假如申请了堆内存,但是忘记释放,会造成内存泄漏,但只是指针丢失,而不是内存丢失:

1. int main()
2. {
3.  int *p1 = (int *)malloc(sizeof(int));
4. 
5.  return 0;
6. }

为什么内存不会丢?

因为在堆上申请了一块空间后,拿到了指向这块空间的指针,现在就可以访问这块空间了。但是访问之后由于疏忽或者程序设计错误,没有了这块指针,或者不用了这块指针,但并不知道指针没释放。而内存始终存在,把空间分配使用者的意思是,这块空间的使用权交给了使用者,free就是把这块内存空间还给了操作系统,现在系统就可以把这块空间再重新分配给别的使用者,因此如果不归还内存,内存会越来越少,直到最后无法正常使用。

普通程序就算内存泄漏,问题也不大,因为程序运行的是进程,每个进程都有自己的运行空间,它们一起映射物理地址,进程只要正常结束,就算有内存泄漏,最后也会被释放掉。

相关文章
|
7天前
|
存储 编译器 Linux
【c++】类和对象(上)(类的定义格式、访问限定符、类域、类的实例化、对象的内存大小、this指针)
本文介绍了C++中的类和对象,包括类的概念、定义格式、访问限定符、类域、对象的创建及内存大小、以及this指针。通过示例代码详细解释了类的定义、成员函数和成员变量的作用,以及如何使用访问限定符控制成员的访问权限。此外,还讨论了对象的内存分配规则和this指针的使用场景,帮助读者深入理解面向对象编程的核心概念。
26 4
|
27天前
|
程序员 C++ 容器
在 C++中,realloc 函数返回 NULL 时,需要手动释放原来的内存吗?
在 C++ 中,当 realloc 函数返回 NULL 时,表示内存重新分配失败,但原内存块仍然有效,因此需要手动释放原来的内存,以避免内存泄漏。
|
30天前
|
存储 C语言 C++
【C++打怪之路Lv6】-- 内存管理
【C++打怪之路Lv6】-- 内存管理
37 0
【C++打怪之路Lv6】-- 内存管理
|
1月前
|
C++
C/C++内存管理(下)
C/C++内存管理(下)
46 0
|
3月前
|
存储 编译器 C语言
【C语言篇】数据在内存中的存储(超详细)
浮点数就采⽤下⾯的规则表⽰,即指数E的真实值加上127(或1023),再将有效数字M去掉整数部分的1。
366 0
|
21天前
|
存储 C语言
数据在内存中的存储方式
本文介绍了计算机中整数和浮点数的存储方式,包括整数的原码、反码、补码,以及浮点数的IEEE754标准存储格式。同时,探讨了大小端字节序的概念及其判断方法,通过实例代码展示了这些概念的实际应用。
44 1
|
26天前
|
存储
共用体在内存中如何存储数据
共用体(Union)在内存中为所有成员分配同一段内存空间,大小等于最大成员所需的空间。这意味着所有成员共享同一块内存,但同一时间只能存储其中一个成员的数据,无法同时保存多个成员的值。
|
30天前
|
存储 弹性计算 算法
前端大模型应用笔记(四):如何在资源受限例如1核和1G内存的端侧或ECS上运行一个合适的向量存储库及如何优化
本文探讨了在资源受限的嵌入式设备(如1核处理器和1GB内存)上实现高效向量存储和检索的方法,旨在支持端侧大模型应用。文章分析了Annoy、HNSWLib、NMSLib、FLANN、VP-Trees和Lshbox等向量存储库的特点与适用场景,推荐Annoy作为多数情况下的首选方案,并提出了数据预处理、索引优化、查询优化等策略以提升性能。通过这些方法,即使在资源受限的环境中也能实现高效的向量检索。
|
1月前
|
存储 编译器
数据在内存中的存储
数据在内存中的存储
41 4
|
1月前
|
存储 Java
JVM知识体系学习四:排序规范(happens-before原则)、对象创建过程、对象的内存中存储布局、对象的大小、对象头内容、对象如何定位、对象如何分配
这篇文章详细地介绍了Java对象的创建过程、内存布局、对象头的MarkWord、对象的定位方式以及对象的分配策略,并深入探讨了happens-before原则以确保多线程环境下的正确同步。
53 0
JVM知识体系学习四:排序规范(happens-before原则)、对象创建过程、对象的内存中存储布局、对象的大小、对象头内容、对象如何定位、对象如何分配