目录

1、C/C++内存分布

内存区域分布图:

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

1、malloc/calloc/realloc和free

malloc

calloc

realloc

3、C++内存管理方式

1.new/delete操作内置类型

2.new和delete操作自定义类型

3、new和delete的实现原理

内置类型

自定义类型

new的原理

delete的原理

new T[N]的原理

delete[]的原理

4、抛异常

面向过程

面向对象

总结


1、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"; 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.栈 B.堆 C.数据段 D.代码段

globalVar在哪里?__C__ staticGlobalVar在哪里?__C__ staticVar在哪里?__C__ localVar在哪里?__A__ num1 在哪里?__A__ char2在哪里?__A__ *char2在哪里?__A_ pChar3在哪里?__A__ *pChar3在哪里?__D__ ptr1在哪里?__A__ *ptr1在哪里?__B__

2. 填空题:

sizeof(num1) = __40__;

sizeof(char2) = __5__; strlen(char2) = __4__;

sizeof(pChar3) = __4/8__; strlen(pChar3) = __4__;

sizeof(ptr1) = __4/8__;

大部分都比较简单,我在此主要解释一些容易错的:

*char2在哪里?

不难看出char2是数组名,所以我们知道数组名又是数组首元素的地址,那么对地址解引用就是首元素的值,所以肯定存放在栈中。

*pChar3在哪里?

有很多人分不清char2和pChar3。char2只是一个数组名,我们把”abcd”赋值给了char2这个数组,这个数组是可变的。pChar3则是一个指向一块常量字符串的指针,所以*pChar3是常量的。

指针大小

首先,在32位和64位指针占的大小是不一样的,32位指针占4字节,64位指针占8字节。

隐藏\0

char char2[] = “abcd”; //用双引号引起来的字符串默认在字符串后面加一个\0

所以sizeof(char2) = __5__;

内存区域分布图:

【说明】

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

2. 内存映射段是高效的I/O映射方式,用于装载一个共享的动态内存库。用户可使用系统接口创建共享共 享内存,做进程间通信。(Linux课程如果没学到这块,现在只需要了解一下)

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

4. 数据段–存储全局数据和静态数据。 5. 代码段–可执行的代码/只读常量。

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

1、malloc/calloc/realloc和free

malloc

在堆上分配一块连续的内存空间,并返回该内存空间的首地址,不做初始化。

calloc

与malloc相似,不过函数calloc() 会将所分配的内存空间中的每一位都初始化为零。

realloc

给一个已经分配了地址的指针重新分配空间,可以做到对动态开辟内存大小的调整。

3、C++内存管理方式

1.new/delete操作内置类型

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

int main(){//动态申请int和5个int数组int* p1 = (int*)malloc(sizeof(int));int* p2 = (int*)malloc(sizeof(int)*5);int* p3 = new int;    //new一个int类型的空间int* p4 = new int[5];    //new了10个int类型的空间delete p3;delete[] p4;int* p5 = new int(5);    //new一个int类型的空间并初始化为5}

2.new和delete操作自定义类型

class Test{public: Test() : _data(0) { cout<<"Test():"<<this<<endl; } ~Test() { cout<<"~Test():"<<this<<endl; }private: int _data;};void Test1(){ // 申请单个Test类型的空间 Test* p1 = (Test*)malloc(sizeof(Test)); free(p1); // 申请10个Test类型的空间 Test* p2 = (Test*)malloc(sizeof(Test) * 10); free(p2);}void Test2(){ // 申请单个Test类型的对象 Test* p1 = new Test; delete p1; // 申请10个Test类型的对象 Test* p2 = new Test[10]; delete[] p2;}

调用Test1时:

调用Test2时:

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

3、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来释放空间

4、抛异常

面向过程

int main(){char* p1 = (char*)malloc(1024u * 1024u * 1024u * 2u);if (p1 == nullptr){printf("%d\n", errno);perror("malloc fail");exit(-1);}else{printf("%p\n", p1);}return 0;}

面向对象

void BuyMemory(){char* p2 = new char[1024u * 1024u * 1024u * 2u - 1];}int main(){try{BuyMemory();}catch (const exception& e){cout << e.what() << endl;}return 0;}

总结

面向对象的语言,处理错误的方式一般是抛异常,C++中也要求出错抛异常 — try catch

面向过程的语言,处理错误的方式是 ->返回值+错误码解决