【C/C++】之内存管理(超详细练气篇)

news/2024/7/20 15:50:52 标签: c++, 内存管理

个人主页:平行线也会相交💪
欢迎 点赞👍 收藏✨ 留言✉ 加关注💓本文由 平行线也会相交 原创
收录于专栏【C++之路】💌
本专栏旨在记录C++的学习路线,望对大家有所帮助🙇‍
希望我们一起努力、成长,共同进步。🍓
在这里插入图片描述

目录

  • 一、C/C++内存分布
  • 二、C语言中动态内存管理方式
  • 三、 C++中动态内存管理
    • 3.1new/delete操作内置类型
    • 3.2new和delete操作自定义类型
  • 四、operator new与operator delete函数
    • 4.1 operator new与operator delete函数(重点)
  • 五、new和delete的实现原理
    • 5.1内置类型
    • 5.2自定义类型
  • 六、定位new表达式(placement-new)
  • 七、常见面试题
    • 7.1 malloc/free和new/delete的区别
    • 7.2 内存泄漏
    • 7.3内存泄漏分类
    • 7.4如何检测内存泄漏(了解)
    • 7.5如何避免内存泄漏

一、C/C++内存分布

程序中需要存储一些数据,那关于数据的分类主要有下面这几种:

1.局部数据(通常是函数里面定义的一些局部变量,本质上存在于函数开辟的栈帧里面)
2.静态数据和全局数据(整个程序运行期间都存在的)
3.常量数据(常量数据比如说常量字符串)
4.动态申请数据(比如一些数据结构的内容)

  1. 栈又叫堆栈–非静态局部变量/函数参数/返回值等等,栈是向下增长的,建立栈帧最本质的作用是存储局部数据(即用即销毁)。
  2. 内存映射段是高效的I/O映射方式,用于装载一个共享的动态内存库。用户可使用系统接口
    创建共享共享内存,做进程间通信。(Linux课程如果没学到这块,现在只需要了解一下)
  3. 用于程序运行时动态内存分配,堆是可以上增长的。
  4. 静态区/数据段–存储全局数据和静态数据。
  5. 常量区/代码段–可执行的代码/只读常量。
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);
}

C语言中动态内存管理方式:malloc/calloc/realloc/free
【面试题】
1. malloc/calloc/realloc的区别?
   sizeof(char2) = ____;      strlen(char2) = ____;
   sizeof(pChar3) = ____;     strlen(pChar3) = ____;
   sizeof(ptr1) = ____;
3. sizeof 和 strlen 区别?

在这里插入图片描述

在这里插入图片描述

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

现在来看下面:
在这里插入图片描述

三、 C++中动态内存管理

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

struct ListNode
{
	int _val;
	struct ListNode* _next;

	//开辟空间的同时也会调用构造函数进行初始化
	ListNode(int x)
		:_val(x)
		, _next(NULL)
	{}
};

struct ListNode* BuyListNode(int x)
{
	//只是单纯的开空间
	struct ListNode* newnode = (struct ListNode*)malloc(sizeof(struct ListNode));
	//检查/
	newnode->_next = NULL;
	newnode->_val = x;
	return newnode;
}
int main()
{
	struct ListNode* n1 = BuyListNode(1);
	struct ListNode* n2 = BuyListNode(2);
	struct ListNode* n3 = BuyListNode(3);

	//开空间+调用构造函数初始化
	ListNode* nn1 = new ListNode(1);
	ListNode* nn2 = new ListNode(2);
	ListNode* nn3 = new ListNode(3);
	return 0;
}

在这里插入图片描述

要注意:申请和释放单个元素的空间,使用new和delete,申请和释放连续的空间,使用new和delete[],要注意匹配起来使用。

3.1new/delete操作内置类型

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

3.2new和delete操作自定义类型

new/delete 和 malloc/free最大区别是 new/delete对于【自定义类型】除了开空间
还会调用构造函数和析构函数(即初始化)
,请看:
在这里插入图片描述
如果这里new了多个对象,就会调用多个构造函数,多个析构函数,请看:
在这里插入图片描述
在这里插入图片描述在这里插入图片描述
如果没有默认构造函数的话,我们还可以这样对对象进行初始化,请看:
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

另外编译器还是挺智能的,对这里进行了优化:这里直接进行构造,而不是构造+拷贝构造,故编译器在这里进行了一些优化。

四、operator new与operator delete函数

4.1 operator new与operator delete函数(重点)

new和delete是用户进行动态内存申请和释放的操作符,operator new 和operator delete是
系统提供的全局函数,new在底层调用operator new全局函数来申请空间,delete在底层通过
operator delete全局函数来释放空间。

在这里插入图片描述
在这里插入图片描述

五、new和delete的实现原理

在这里插入图片描述
在这里插入图片描述

5.1内置类型

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

5.2自定义类型

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

六、定位new表达式(placement-new)

首先,我们要明确的是,自定义类型的对象才会自动的调用构造和析构函数,对于内置类型不会自定调用构造和析构函数。
定位new表达式(placement-new)已经不是单纯的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;
};

int main()
{
	//构造函数不能显式调用,我们之前构造函数都是自动调用的,那如果想显式调用该怎么办呢?
	//定位new表达式(placement-new)可以显式调用构造函数

	A* p1 = (A*)malloc(sizeof(A));
	new(p1)A;//注意A类的构造函数有参数时,此处需要传参,这已经不是new的用法了,而是new关键字的其他用法,叫做定位new
	p1->~A();//这里就是显式调用析构函数
	free(p1);
	return 0;
}

运行结果如下,请看:
在这里插入图片描述
我们可以看到调试结果,可以看到我们通过显式调用对象的构造函数来对对象进行初始化;当然也可以显式调用析构函数,这里就不进行演示了。
总结一下定位new表达式(placement-new)的用法
malloc开好空间,要显式调用构造函数了(这里就是对已有的空间调用构造函数),如果想给参数的话可以这样,即new(p1)A(520);

七、常见面试题

7.1 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.2 内存泄漏

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

7.3内存泄漏分类

C/C++程序中一般我们关心两种方面的内存泄漏:

堆内存泄漏(Heap leak):
堆内存指的是程序执行中依据须要分配通过malloc / calloc / realloc / new等从堆中分配的一
块内存,用完后必须通过调用相应的 free或者delete 删掉。假设程序的设计错误导致这部分
内存没有被释放,那么以后这部分空间将无法再被使用,就会产生Heap Leak。

系统资源泄漏
指程序使用系统分配的资源,比方套接字、文件描述符、管道等没有使用对应的函数释放
掉,导致系统资源的浪费,严重可导致系统效能减少,系统执行不稳定。

7.4如何检测内存泄漏(了解)

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

7.5如何避免内存泄漏

  1. 工程前期良好的设计规范,养成良好的编码规范,申请的内存空间记着匹配的去释放。ps:
    这个理想状态。但是如果碰上异常时,就算注意释放了,还是可能会出问题。需要下一条智
    能指针来管理才有保证。

  2. 采用RAII思想或者智能指针来管理资源。

  3. 有些公司内部规范使用内部实现的私有内存管理库。这套库自带内存泄漏检测的功能选项。

  4. 出问题了使用内存泄漏工具检测。ps:不过很多工具都不够靠谱,或者收费昂贵。

在这里插入图片描述
在这里插入图片描述
上述代码并没有释放空间,程序结束后会自动对资源空间进行释放,所以我们平时在写程序时其实不用太过于担心内存的问泄露的题。因为程序运行结束后会释放资源空间,危害的话其实并没有太大。
内存泄露影响不大,进程正常结束后会释放资源,长期运行的程序内存泄露危害很大。

总结一下:
内存泄漏非常常见,解决方案分为两种:1、事前预防型。如智能指针等。2、事后查错型。如泄
漏检测工具。

好了,C++内存管理的内容就到这里了,大家加油哦,再见啦各位友友!!!
在这里插入图片描述


http://www.niftyadmin.cn/n/378142.html

相关文章

【明解STM32】中断系统理论基础知识篇之中断寄存器功能原理

目录 一、前言 二、寄存器概述 三、NVIC寄存器组 四、SCB寄存器组 五、中断屏蔽寄存器组 六、总结 一、前言 在之前的STM32的中断系统理论基础知识之基本原理及NVIC中&#xff0c;分别中断的基本原理&#xff0c;中断的管理机制和中断的处理流程进行了较为详细的论述&…

Redis高级篇 - 多级缓存

多级缓存 1.什么是多级缓存 传统的缓存策略一般是请求到达Tomcat后&#xff0c;先查询Redis&#xff0c;如果未命中则查询数据库&#xff0c;如图&#xff1a; 存在下面的问题&#xff1a; 请求要经过Tomcat处理&#xff0c;Tomcat的性能成为整个系统的瓶颈 Redis缓存失效时…

Ceres简介及示例(10)On Derivatives(Automatic Derivatives)

现在我们将讨论自动微分算法。它是一种可以快速计算精确导数的算法&#xff0c;同时用户只要做与数值微分法类似的工作。下面的代码片段实现了对Rat43的CostFunction。 struct Rat43CostFunctor {Rat43CostFunctor(const double x, const double y) : x_(x), y_(y) {}template…

Golang每日一练(leetDay0082) 用队列实现栈、用栈实现队列

目录 225. 用队列实现栈 Implement Stack Using Queues &#x1f31f; 232. 用栈实现队列 Implement Queue Using Stacks &#x1f31f; &#x1f31f; 每日一练刷题专栏 &#x1f31f; Rust每日一练 专栏 Golang每日一练 专栏 Python每日一练 专栏 C/C每日一练 专栏 …

开源SCRM营销平台MarketGo-账号管理

一、概述 企业在经营的过程中&#xff0c;因为业务、税收等各种因素的需要在各地成立分公司&#xff0c;这样针对公司来说管理成本&#xff0c;运营成本&#xff0c;营销成本都会提高&#xff0c;并且沟通的效率也会变低。 在用户营销的场景中&#xff0c;MarketGo在SCRM做了…

Java程序设计入门教程-- switch选择语句

switch选择语句 情形 虽然if…else语句通过嵌套可以处理多分支的情况&#xff0c;但分支不宜太多&#xff0c;在Java语言中&#xff0c;提供了switch语句可以直接、高效地处理多分支选择的情况。 格式 switch &#xff08;表达式&#xff09; { case 常量表达式1&#x…

加一算法(整数)

给定一个由 整数 组成的 非空 数组所表示的非负整数&#xff0c;在该数的基础上加一。 最高位数字存放在数组的首位&#xff0c; 数组中每个元素只存储单个数字。 你可以假设除了整数 0 之外&#xff0c;这个整数不会以零开头。 示例 1&#xff1a; 输入&#xff1a;digits …

chatgpt赋能python:Python中的与非

Python中的与非 在Python编程中&#xff0c;我们经常会用到与非运算符&#xff0c;用来判断条件语句中的真假性。在本文中&#xff0c;我们将介绍Python中的与非运算符&#xff0c;并探讨其用法和实际应用场景。 什么是与非运算符&#xff1f; 与非运算符是一个布尔操作符&a…