C/C++内存管理

文章目录

  • 一:C/C++内存分布
    • 内存分配方式
  • 二:C语言中的动态内存管里方式
    • malloc/calloc/realloc/free
  • 三:C++中的动态内存管理方式
    • new和delete操作内置类型
    • new和delete操作自定义类型
    • operator new 和 operator delete 函数
  • 四:new 和delete 实现原理
    • 内置类型
    • 自定义类型
  • 五:总结
    • malloc/free 和 new/delete 的去区别

一:C/C++内存分布

内存分布对于操作系统来说就像是一个国家的地市级区域的划分 划分这些区域的目的就是为了方便进行管理 在一个程序中 不同类型的变量也存放在不同的区域中

内存分配方式

在C/C++中,内存分成5个区,他们分别是栈、内存映射区 堆 数据段 代码段
在下面这例子中 这些变量和常量分别都存在内存中的什么地方呢?

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

图解:
C/C++内存管理_第1张图片
解释上图:
:又叫做堆栈 存放非静态局部变量/函数参数/返回值等等 (栈是向下增长的)
内存映射段: 是高效的I/O映射方式 用于装载一个共享的动态内存库 用户库可以直接使用系统接口创建共享内存 做进程间通信使用(了解即可)
:用于程序运行时动态内存分配的(malloc/calloc/realloc等) (堆是向上增长的)
数据段: 存放全局数据和静态数据
代码段 :存放可执行代码/只读常量 不允许被修改

  • globaVar 是全局变量 存放在数据段中
  • staticGlobalVar 是静态全局变量 也存放在数据段中
  • staticVar 是静态局部变量 也存放在数据段中
  • localVar 是局部变量 存放在栈区
  • num1和char2 都是一个数组名也是变量 也存放在栈区
  • *char2 可以看作是将abcd从数据段中拷贝了一份到栈区 所以 * char2也在栈区
  • pchar3 是一个指针变量 存放在栈区
  • *pchar3 是对字符串常量"abcd"的解引用 所以 *pchar3在代码段
  • ptr1 ptr2 ptr3都是指针变量 存放在栈区
  • *prt1 *ptr2 *ptr3 都是动态开辟的内存 存放在堆区

了解了这些之后再来看一下栈为什么是向上增下增长的堆为什么是向上增长的

C/C++内存管理_第2张图片
栈区使用栈的数据结构进行存储的 满足先进后出 从高地址到低地址
C/C++内存管理_第3张图片

堆并没有栈一样的结构,也没有栈一样的先进后出。需要人为的对内存进行分配使用
堆是向上增长的 从低地址到高地址 分配的地址并不是连续的

二:C语言中的动态内存管里方式

malloc/calloc/realloc/free

  • malloc calloc realloc 都是c语言提供的库函数 分别和free(也是库函数)成对使用 分别从堆中申请空间和释放空间

  • malloc和calloc的区别只在于calloc会把申请到的空间全部字节初始化为0 而malloc不会
    C/C++内存管理_第4张图片

  • realloc则是在malloc和calloc申请的空间后继续开辟连续的空间也叫原地扩容(如果后面的空间被使用 那么会在栈区找到一个合适的连续空间来使用 也叫异地扩容函数返回新的内存地址)
    C/C++内存管理_第5张图片
    在原地扩容时 p1和p2 是同一块地址空间 不能同时释放p1和p2 释放一个即可
    异地扩容是 p3地址已经还给操作系统了 不能在对p3进行释放 只能释放新地址p4

  • free则是释放在堆区申请的空间将空间还给操作系统

三:C++中的动态内存管理方式

在C++中可以继续使用C语言的内存管理方式 但是在一些地方用起来很麻烦 因此C++提出属于自己的内存管理方式
通过new和delete操作符进行动态内存管理

new和delete操作内置类型

int main()
{
	//动态申请一个int类型的空间
	int* p1 = new int(1);

	//动态申请一个char类型空间并初始化为a
	char* p2 = new char('a');
	
	//动态申请10个连续int类型的空间
	int* p3 = new int[10];

	//动态申请10个int类型的空间 并初始化为 0,1,2 ... 9
	int* p4 = new int[10] {0,1,2,3,4,5,6,7,8,9};

	//释放p1 
	delete p1;
	//释放p2
	delete p2;
	//释放p3
	delete[] p3;
	//释放p4
	delete[] p4;
	return 0;
}

申请和释放单个元素的空间 使用new和delete操作符
申请和释放连续的空间 使用new[] 和 delete[]
new、 delete、 new[]、 delete[] 都是c++中的操作符

new和delete操作自定义类型

new/delete 和 malloc/free 最大的区别是 new/delete对于自定义类型而言 不仅开了空间 还会调用构造函数和析构函数

malloc/free
C/C++内存管理_第6张图片
不会去调用构造函数和析构函数 仅仅只为变量开空间和释放空间

new/delete
C/C++内存管理_第7张图片
new 会先开空间 然后调用构造函数
delete会先调用析构函数 然后释放空间
注意:这里的Date(2023) 不是匿名对象 是new 操作符指定的类型(Date)和初始化的值(2023)

operator new 和 operator delete 函数

在前面文章中介绍过operator关键字 他是c++重载操作符的关键字

  • new和delete是用户进行动态内存申请个释放的操作符
  • operator new 和operator delete 是系统提供的全局函数
  • new在底层调用operator new全局函数来申请空间
  • delete在底层调用operator delete全局函数来释放空间
  • 简单来说就是operator new 封装了malloc ,operator delete 封装了free
    下面这三种方式开辟和释放空间效果是一样的
int main()
{
	int* p1 = (int*)malloc(sizeof(int));
	free (p1);

	int* p2 = new int;
	delete p2;

	int* p3 = (int*) operator new(sizeof(int));
	operator delete (p3);
	return 0;
}

对于内置类型来说 甚至可以写成下面这种方式
这种方式语法上没有问题 但是一般没人这样写 反人类的写法 更推荐互相匹配的写法
这种写法也仅仅是针对内置类型而言 对于自定义类型则不可以 因为new和delete会调用构造函数和析构函数 malloc和free不会调用

int main()
{
	int* p1 = (int*)malloc(sizeof(int));
	delete p1;

	int* p2 = new int;
	operator delete (p2);

	int* p3 = (int*) operator new(sizeof(int));
	free(p3);
	return 0;
}

operaotr new 和operator delete 对于内置类型 也不会去调用构造函数和析构函数 仅仅只是去申请空间 和释放空间
与malloc和free的区别在于 处理失败的方式不同 malloc失败返回NULL 而operator new 申请失败会抛异常
C/C++内存管理_第8张图片

四:new 和delete 实现原理

内置类型

对于内置类型 new和malloc,delete和free基本一样 不同的地方在于new/delete申请和释放的是单个元素空间
而new[] 和delete[]申请和释放的是连续的空间
new在申请空间时会抛异常 malloc会返回NULL

自定义类型

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

五:总结

malloc/free 和 new/delete 的去区别

相同点是 :
都是从堆上申请空间 并且需要手动释放

不同点是:

  • malloc/free 是函数 ,new/delete是操作符
  • malloc申请的空间不能初始化 new可以初始化
  • malloc 申请空间时 需要手动计算空间大小并传递 new只需要在后面跟上空间的类型即可 如果是多个对象 []中指定对象个数
  • malloc的返回值是void* 使用时必须强转 new不需要,new后面跟的是空间的类型
  • malloc 申请空间失败时 返回NULL 使用时必须判空 new不需要 new需要捕获异常
  • 申请自定义类型对象时 malloc/free只会开辟和释放空间 不会调用构造函数和析构函数 而new在申请空间后会调用构造函数完成对象的初始化 delete在释放空间前会调用析构函数 完成空间中资源的清理

你可能感兴趣的:(C++,c语言,c++)