动态内存管理

动态内存管理

1. C/C++内存分布

直接来一段代码看一看

image-20220923234205339

这里容易错的是*char2和 *pchar3,这里的char2是一个数组,存在于栈中,然后把常量区的字符串拷贝到数组内,所以说 *char2也是在栈上的 而 *pchar3确实是在常量区上

image-20230314194150244

image-20220923235101541

  1. 栈又叫堆栈–非静态局部变量/函数参数/返回值等等,栈是向下增长的

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

  3. 堆用于程序运行时动态内存分配,堆是可以上增长的

  4. 数据段–存储全局数据和静态数据

  5. 代码段–可执行的代码/只读常量

2. C++内存管理方式

2.1. new/delete

比如申请一个10 int 的数组

    int* p1 = (int*)malloc(sizeof(int)*10);
	int* p2 = new int[10];

	//释放内存
	free(p1);
	delete[] p2;
	
	//申请单个int对象
	int* p3 = (int*)malloc(sizeof(int));
	int* p4 = new int;

	free(p3);
	delete p4;

new/delete 和malloc/free针对内置类型没有任何差别,只是用法不一样

注意 new/delete new[]/delete[]一定要匹配,否则可能会出错:

struct ListNode {
	ListNode* _next;
	ListNode* _prev;
	int _val;
	ListNode(int val = 0)
		:_next(nullptr)
		, _prev(nullptr)
		, _val(val)
	{}
 };
int main()
{
	struct ListNode* n1 = (struct ListNode*)malloc(sizeof(struct ListNode));
	ListNode* n2 = new ListNode;
	//甚至可以写成ListNode* n2 = new ListNode(4);初始化你想要的值
	
	return 0;
}

malloc只是开空间 free只释放空间
new 针对自定义类型, 开空间+构造函数初始化 delete针对自定义类型
析构函数清理+释放空间
image-20220924161223620

//申请多个节点的时候
	ListNode* arr4 = new ListNode[4];
	delete[] arr4;
	//delete arr4;这时候如果对不上程序就崩溃了,

image-20220924162101403

//初始化的时候,还可以这样c++11支持,98就不支持了
	ListNode* arr5 = new ListNode[4]{1,2,3,4};
	//不建议这样改
	//但是可以这样
	int *p=new int(0);
	int *p2=new int[4]{1,2,3,4};

image-20220924163337182

2.2. operator new与operator delete函数

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

其实operator new 就是封装了malloc 增加了一个抛异常

new就是调用了operator new 申请空间然后再调用构造函数

delete就是先调用析构函数,然后再operator delete释放空间

再比如

A* p2=new A[10]

就是调用operator new[] 它再去调用operator new,申请完空间后,再调用10次构造函数

先来看不会报错的场景,我们这里分为两个类,第一种是普通类(构造函数中不会再去堆上申请资源,命名为A ;另一中会去堆中申请资源,叫B

场景1:

image-20230314210645796

场景2:

image-20230314211118415

场景3:

image-20230314213950500

显而易见要是只free(p3),原本由析构函数释放掉的那块空间不会被释放,就会造成内存泄漏

会报错的场景

image-20230314224402409

但是如果把析构函数去掉,编译器检查A没有实现析构函数,并且编译器自己生成的不调用又没什么区别,此时在上面就不会多开空间来保存个数,也就是不会崩溃了。

2.3 定位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()
{
 A* p1 = (A*)malloc(sizeof(A));
 new(p1)A(1);//构造函数只能通过这种方式调用
 
 p1->~A();//析构函数可以直接显示调用
 free(p1);
}

2.4 malloc/free和new/delete的区别

image-20230314225453149

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值