当前位置:首页 » 《随便一记》 » 正文

【与C++的邂逅】--- C/C++内存管理

19 人参与  2024年09月06日 14:44  分类 : 《随便一记》  评论

点击全文阅读


 Welcome to 9ilk's Code World

       

(๑•́ ₃ •̀๑) 个人主页:        9ilk

(๑•́ ₃ •̀๑) 文章专栏:     与C++的邂逅


C++中我们总是提到管理资源,资源可以从内存中申请,前提是我们得知道C++对内存管理的布局,本节我们就来学习这块的内容。


? C/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);}

对于上述代码中的各个变量它们分别在哪些区域呢?

注:对于char2他是在栈上开5个字节,然后复制在常量区的"abcd",所以如果问*char2,这里指的是首元素字符'a‘,他就是在栈上。

说明:

又叫堆栈--非静态局部变量/函数参数/返回值等等,栈是向下增长的。 内存映射段是高效的I/O映射方式,用于装载一个共享的动态内存库。用户可使用系统接口 创建共享共享内存,做进程间通信。 用于程序运行时动态内存分配,堆是可以上增长的。数据段--存储全局数据和静态数据。代码段--可执行的代码/只读常量。

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

malloc
void* malloc(size_t size);

malloc这个函数功能是向内存(堆区)申请一块指定字节大小连续可用的空间,如果开辟成功,返回一个指向开辟好空间的指针;开辟失败,返回一个NULL指针。

free
void free(void* ptr);

free函数专门用来释放动态开辟的内存,如果参数ptr指向空间不是动态开辟,free函数的行为是未定义的;如果参数是NULL指针,则函数什么事也不做。

calloc
void* calloc(size_t num,size_t size);

calloc函数功能也是用来开辟指定大小的内存空间,如果开辟成功,则返回num个大小为size的连续空间的首地址且空间的每个字节都被初始化为0;如果开辟失败,则返回空指针。

realloc
void* realloc(void* ptr,size_t size);//ptr是要调整的内存地址//size是调整好新大小//返回值为调整之后的内存起始地址

realloc函数可以调整动态开辟好的内存的大小,如果开辟成功则返回调整好之后的内存起始地址,反之开辟失败则返回空。

realloc函数调整动态内存大小的时候会有三种情况:

1. 原有空间之后有足够大空间。此时realloc函数直接在原空间后方进行扩展空间,并返回该内存空间首地址。

2.原有空间之后没有足够大空间。此时realloc函数会在堆区重新找一块合适大小的连续空间使用,把原空间数据拷贝到新空间中,并主动将原空间内存释放,返回新内存空间的起始地址。

3.扩容失败。对于第一第二种情况都没有合适空间,此时就是开辟内存失败,返回NULL。

// 1.malloc/calloc/realloc的区别是什么?int* p2 = (int*)calloc(4, sizeof (int));int* p3 = (int*)realloc(p2, sizeof(int)*10);// 这里需要free(p2)吗?free(p3 );

对于p3它可能是异地扩充,也可能是原地扩充;如果是原地扩容p2和p3指向同一块空间,free(p3)就能把这块空间释放;如果是异地扩容,此时原空间也就是p2指向空间已经被主动释放归还给操作系统。因此不需要free(p2)了。

? C++中动态内存管理

? new/delete操作内置类型

int* p1 = new int;//默认不初始化int* p2 = new int(10);//但是可以初始化int *p3 = new int[3];//多个元素也是默认不初始化int* p4 = new int[3]{1,2}; //剩下的一个元素初始化为0delete p1;delete p2;delete[] p3;delete[] p4;

说明:

new + 内置类型是动态申请一个内置类型的空间。申请某个内置类型的空间默认不初始化,但可以手动用括号进行初始化。new + 内置类型[size]是申请连续size个内置类型空间。申请连续空间时默认不初始化,但也是可以对指定元素初始化,指定个数小于数组元素个数则剩下初始化为0.释放单个元素的空间时,要用delete操作符释放空间;释放连续空间时,要用delete【】释放。注意不能混着用!

new操作内置类型时,除了用法方便,其他和malloc没什么区别。new主要是给自定义类型设计的。

? new/delete操作自定义类型

class A{public:A(int a = 1):_a(a){cout << "A()" << endl;}~A(){cout << "~A()" << endl;}private:int _a;};int main(){A* pa = (A*)malloc(sizeof(A));return 0;}

如果用malloc申请一个自定义类型元素的空间,此时它的成员变量是没有进行初始化的。

A* p2 = new A;A* p3 = new A(2);delete p2;delete p3;

用new申请自定义类型空间时,此时会new完成的任务是申请空间分配地址+调用默认构造函数。当然你也可以显示调用其他构造。而delete完成的任务是先调用析构清理资源,再释放内存空间。

A* p4 = new A[10];//调用10次构造delete[] p4; //调用10次析构//自定义类型数组初始化A aa1(1);A aa2(2);A aa3(3);A* p5 = new A[10]{aa1,aa2,aa3};delete[] p5;

用new申请自定义类型的一块连续空间时,用法与内置类型一样,不同的是,申请完空间后,会对申请每个对象调用构造;同样的,释放空间需要delete[ ],此时会先调用对象个数次的析构再释放空间。如果对一部分指定初始化,剩下的会调用默认构造。

当然我们可以使用隐式类型转换使初始化变得方便

A* p6 = new A[10]{1,2,3,{6,7}};//注前面1,2,3是单参数隐式类型转换 {6,7}是多参数隐式类型转换

总结:

1.C++中如果想申请内置类型的对象或数组,用new/delete和malloc/free没什么区别,只不过new/delete更方便些。

2.如果想申请自定义类型的对象或数组,new/delete分别是开空间+构造函数,析构函数+释放空间;malloc和free仅仅是申请空间和释放空间。

3.综上所述,C++中我们建议无论是内置类型还是自定义类型的申请和释放,尽量使用new和delete。

? operator new和operator delete

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

operator new/operator delete的用法和malloc/free完全一样,都是用来申请和释放空间。

int* p1 = (int*)operator new(sizeof(int)* 10); //申请operator delete(p1); //销毁//上面等价于int* p2 = (int*)malloc(sizeof(int)*10);free(p2);

实际上operator new也是通过malloc来申请空间operator delete最终也是通过free来释放空间的。

将malloc封装成operator new主要是为了失败抛异常的机制,如果malloc申请空间成功直接返回,否则执行用户提供的空间不足应对措施;如果用户提供该措施就继续申请,否则抛异常。而operator delete是为了一致性才封装free.

ListNode* n1  = new ListNode(1);ListNode* n2  = new ListNode(2);ListNode* n3  = new ListNode(3);n1->_next = n2;n2->_next = n3;

在C语言实现链表这个数据结构申请节点时,我们需要判断申请是否成功,需要写if判断malloc返回值,有了new之后,如果失败了它会抛异常,不需要我们检查返回值。

辨析

1.operator new是给对象申请空间的,而构造函数是给对象中成员及其某些指向其他资源的成员初始化的。

2.operator delete是用来释放对象空间的,而析构函数是用来清理某些成员指向的空间资源。

? new和delete实现原理

内置类型

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

? 自定义类型

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出来的,用free释放会发生什么呢?

class A{public:A(int a = 1):_a(a){cout << "A()" << endl;}~A(){cout << "~A()" << endl;}A(const A& aa):_a(aa._a){cout << "A(const A & aa) " << endl;}private:int _a;};int main(){int* p3 = new int[10];free(p3);A* p2 = new A[10];free(p2);return 0;}

对于p3,申请内置类型由于new实际是用malloc申请空间,所以用free释放不会有什么问题;但对于p2则会报错。

我们打开监视窗口查看,我们new出来A对象个数应该是10个,为什么申请的是44个字节呢?

其实这多出来的个数是存的对象个数,由于你显示写了析构,编译器会认为你这个析构是需要调用的,因此开头多开空间存了创建对象个数,导致实际空间起始地址发生偏移,而delete和free只会释放原来的起始地址导致报错,delete[ ]则会偏移到正确释放位置.

总结: 不要错配使用,一定要匹配使用,否则结果不确定.

? 定位new表达式

定位new表达式是在已分配的原始内存空间中调用构造函数初始化一个对象。 使用格式 new (place_address) type或者new (place_address) type(initializer-list) place_address必须是一个指针,initializer-list是类型的初始化列表. 析构函数是能够显示调用的而构造不行,如果我们想模仿new的行为,此时我们可以使用定位new.
//模拟newA* p1 = (A*)operator new(sizeof(A));new(p1)A(10); //对已有空间显示调用构造//模拟deletep1->~A();operator delete(p1);//模拟new[]A* p2 = (A*)operator new[](sizeof(A)*10);for(int i = 0 ; i < 10;++i){  new(p2+i)A(i); //用循环更好控制}//模拟delete[]for(int i = 0 ; i < 10;i++){   (p2+i)->~A();}operator delete[](p2);
使用场景

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

注:在未使用定位new表达式进行显示调用构造函数进行初始化之前,malloc申请的空间还不能算是一个对象,它只不过是与A对象大小相同的一块空间,因为构造函数还没有执行.

? 常见面试题

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

本节我们认识C++中动态内存管理方式new/delete以及new[ ]/delete[ ],以及他们的实现原理,我们建议在C++中使用他们来申请和释放内存.


点击全文阅读


本文链接:http://zhangshiyu.com/post/156239.html

<< 上一篇 下一篇 >>

  • 评论(0)
  • 赞助本站

◎欢迎参与讨论,请在这里发表您的看法、交流您的观点。

关于我们 | 我要投稿 | 免责申明

Copyright © 2020-2022 ZhangShiYu.com Rights Reserved.豫ICP备2022013469号-1