> 文章列表 > 《C++内存管理》

《C++内存管理》

《C++内存管理》

本文主要介绍C++内存管理的知识,主要包括new和delete,其实很简单,类比我们的C语言的内存管理malloc/free,就是在堆上申请内存的

小知识点:
C++构造对象的顺序:先构造全局再构造局部静态对象最后构造普通对象
析构顺序则相反

文章目录

  • C++内存管理练习题
  • 一、C语言中内存管理方式
  • 二、 C++中动态内存管理
    • 1、 概念
    • 2、new/delete操作内置类型
    • 3、new/delete操作自定义类型
  • 三、 operator new与operator delete函数
    • 1、 new的机制
    • 2、 delete的机制
  • 四、malloc/free和new/delete的区别
  • 五、 定位new(主要用来对内存池的空间初始化)
  • 六、内存泄漏
    • 1、概念
    • 2、内存泄漏的分类
      • 第一种:堆内存泄漏(Heap leak)
      • 第二种:系统资源泄漏
      • 如何避免内存泄漏

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); 
}

选项:

  1. A.栈
  2. B.堆
  3. C.数据段(静态区)
  4. D.代码段(常量区

globalVar在哪里?C
staticGlobalVar在哪里?C
staticVar在哪里?C
localVar在哪里?A
num1 在哪里?A
char2在哪里?A
*char2在哪里?A
pChar3在哪里?A
*pChar3在哪里?D
ptr1在哪里?A
*ptr1在哪里?B

解释:

  1. globalVar属于全局变量,所以存放在静态区。
  2. staticGlobalVar,属于静态的全局变量,静态成员存放在静态区
  3. staticVar静态局部变量,静态成员存放在静态区
  4. localVar,是一个局部变量,存放在栈区
  5. num1,是一个数组名,表示首元素的地址,所以也是一个局部变量存放到栈区中
  6. char2,是一个数组名,表示首元素的地址,所以也是一个局部变量存放到栈区中。
  7. *char2,解引用,表示数组首元素的数据我们char2是一个在栈上的数组,将我们的常量字符拷贝的数组上,所以我们*char存放到栈上。(易错)
  8. pChar3,是一个常量指针,在这个函数中,所以属于栈区。
  9. ·*pChar3·,对于这个常数组解引用,表示这个常量字符串,既然是常量,就存放在常量区。(易错)
  10. ptr1 是一个地址,存放在函数上,所以也是一个局部变量存放到栈区中。(易错)
  11. *ptr1我们动态开辟的空间,存放在堆上。(易错)

图解:
《C++内存管理》《C++内存管理》

总结:

  1. 栈又叫堆栈–非静态局部变量/函数参数/返回值等等,栈是向下增长的,地址越来越小
  2. 堆是程序员自己malloc/new出来的,用于程序运行时动态内存分配,堆是可以上增长的。地址越来越大
  3. 内存映射段是高效的I/O映射方式,用于装载一个共享的动态内存库。用户可使用系统接口
    创建共享共享内存,做进程间通信。
  4. 数据段(静态区)–存储全局数据和静态数据。
  5. 代码段–可执行的代码/只读常量(常量字符串)

一、C语言中内存管理方式

我们先回忆一下malloc calloc,realloc
malloc:开辟空间,但是不初始化。
calloc:开辟空间,但是初始化为0.
realloc:扩容,但是分为原地扩容,和异地扩容

这个看一下原地扩容和异地扩容即可:
《C++内存管理》

情况1(原地扩容):当是情况1 的时候,要扩展内存就直接原有内存之后直接追加空间,原来空间的数据不发生变化。
情况2(异地扩容):当前内存后面空间大小不够,重新寻找内存,单独开辟一块全新的空间,空间大小满足调整大小。将原先空间的数据先拷贝到当前空间,再释放掉原先的空间返回新开辟空间的起始地址。

具体代码如下:

#include<stdio.h>
#include<stdlib.h>
int main()
{int* p = (int*)malloc(40); //申请40个字节的空间int i = 0;if (p == NULL){return 1;}//使用int i = 0;for (i = 0; i < 10; i++){*(p + i) = i;}//打印for (i = 0; i < 10; i++){printf("%d ", *(ptr + i));}//增加空间//p = (int*)realloc(p, 1000);//这样不可以,如果扩容失败就GG了int* ptr = (int*)realloc(p, 80);  //增加80个字节if (ptr != NULL){p = ptr;  //如果扩容成功,再将扩容后的返回值赋给pptr = NULL;  //此时ptr没用了,将ptr置为NULL,防止其成为野指针}//使用for (i = 10; i < 20; i++){*(p + i) = i;}//打印for (i = 10; i < 20; i++){printf("%d ", *(p + i));}//释放free(p);p = NULL;
}

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

1、 概念

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

2、new/delete操作内置类型

int main()
{int* p1 = new int;	//这个不会初始化delete p1;int* p2 = new int(10);//这个初始化,申请一个,初始化为10delete p2;int* p3 = new int[10];//创建10个数据的数组delete[]p3;int* p4 = new int[10]{ 1,2,3,4 };//10个数据的数组初始化,将前4个初始化为特定的,其他为0delete[]p4;return 0;
}

对比一下C语言的malloc/free是不是轻松多了

int main()
{//malloc/freeint* p = (int*)malloc(sizeof(int));if (p == nullptr){perror("malloc fail");exit(-1);}free(p);p = nullptr;//new/deleteint* pp = new int;delete pp;pp = nullptr;return 0;
}

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

3、new/delete操作自定义类型

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

class A
{
public:A(int a = 0): _a(a){cout << "A():" << this << endl;}~A(){cout << "~A():" << this << endl;}
private:int _a;
};
int main()
{
//1:自定义类型// new/delete 和 malloc/free最大区别是 new/delete对于【自定义类型】除了开空间还会调用构造函数和析构函数A* p1 = (A*)malloc(sizeof(A));A* p2 = new A(1);free(p1);delete p2;A* p3 = (A*)malloc(sizeof(A)*10);A* p4 = new A[10];free(p5);delete[] p6;//2:内置类型// 内置类型是几乎是一样的int* p5 = (int*)malloc(sizeof(int)); // Cint* p6 = new int;free(p5);delete p6;return 0;
}

注意:在申请自定义类型的空间时,new会调用构造函数,delete会调用析构函数,而malloc与
free不会。


三、 operator new与operator delete函数

注意:

  1. operator new operator delete是系统提供的 全局函数。并不是运算符重载。
  2. new底层调用operator new全局函数来申请空间.
  3. delete底层通过 operator delete 全局函数来释放空间。

operator new参数类型:跟malloc一样

void* operator new (size_t size) throw (bad_alloc);

operator new和malloc的区别:

operator new失败了会抛异常
malloc失败了会返回空指针

int main()
{//失败了抛异常int* p1 = (int*)operator new(sizeof(int));//失败返回空指针int* p2 = (int*)malloc(sizeof(int));if (p2 == nullptr){perror("malloc fail");}}

图示:
《C++内存管理》


1、 new的机制

new的两个作用:

  1. operator new申请空间
  2. 调用构造函数

因为面向对象的语言,失败了都喜欢用抛异常而不是空指针。
所以在申请空间的时候用operator new将malloc封装,然后失败了就会抛异常

2、 delete的机制

delete的两个作用:

  1. 先调用析构函数
  2. 再用 operator delete释放空间

在释放空间的时候用operator new将free封装。

为什们 delete和 free不要混着用?

我们如果用 new开辟空间,用 free释放空间,我们就可能不调用析构函数。直接是释放空间。(因为释放空间的时候用 operator new将 free封装)。

结论:

new/malloc系列,有底层实现机制有关联交叉。
可能有问题,可能没问题,必须匹配使用。


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

特点6:new在申请空间后会调用构造函数完成对象的初始化,delete在释放空间前会调用析构函数完成空间中资源的清理。

我们写一个栈:


class Stack
{
public://构造函数Stack(int capacity = 4):_capacity(capacity){cout << "Stack()" << endl;_a = new int[capacity];_top = 0;}//析构函数~Stack(){cout << "~Stack()" << endl;delete[] _a;_a = nullptr;_top = _capacity = 0;}private:int* _a;int _top;int _capacity;
};int main()
{Stack* pst = new Stack; //new一个栈delete pst;pst = nullptr;return 0;
}

代码剖析:
《C++内存管理》
《C++内存管理》

当我们实用delete释放pst指向的空间前,会先调用析构函数完成空间内部资源的清理
《C++内存管理》

注意:如果我们不用delete,直接使用free就会导致内存泄漏,因为free直接将Stack空间清理了,但是空间内部还有_a数组开辟的空间
《C++内存管理》


五、 定位new(主要用来对内存池的空间初始化)

假设我们先用malloc开辟空间了,但是我们没有初始化。
这时我们去初始化,有没有什么办法呢?
就要用我们的定位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){}
private:int _a;
};
int main()
{A aa;A* p1 = (A*)malloc(sizeof(A));if (p1 == nullptr){perror("malloc fail");}//定义new//p1找到要初始化的位置//A(1)构造函数。初始化内容new(p1)A(1);//释放空间p1->~A();free(p1);
}

使用场景:
定位new表达式在实际中一般是配合内存池使用。因为内存池分配出的内存没有初始化,所以如果是自定义类型的对象,需要使用new的定义表达式进行显示调构造函数进行初始化。


六、内存泄漏

1、概念

什么是内存泄漏,内存泄漏的危害?

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

2、内存泄漏的分类

第一种:堆内存泄漏(Heap leak)

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

第二种:系统资源泄漏

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

如何避免内存泄漏

  1. 工程前期良好的设计规范,养成良好的编码规范,申请的内存空间记着匹配的去释放。注意:这个理想状态。但是如果碰上异常时,就算注意释放了,还是可能会出问题。需要下一条智能指针来管理才有保证。
  2. 采用RAII思想或者智能指针来管理资源。
  3. 有些公司内部规范使用内部实现的私有内存管理库。这套库自带内存泄漏检测的功能选项。
  4. 出问题了使用内存泄漏工具检测。ps:不过很多工具都不够靠谱,或者收费昂贵