06_程序内存模型

一、内存分区模型

C/C++程序在执行时，将内存大方向划分为4个区域

• 代码区：存放函数体的二进制代码，由操作系统进行管理
• 静态区/全局区：存放全局变量和静态变量以及常量
• 栈区：由编译器自动分配释放，存放形参，局部变量等
• 堆区：需手动分配和释放，若为手动释放，程序结束时由操作系统回收

内存四区意义

不同区域存放的数据，赋予不同的生命周期，灵活编程实现内存管理。

 二、程序运行前

在程序编译后，生成exe可执行程序，未执行该程序前分为两个区域

1. 代码区

存放CPU执行的机器文件（二进制）

代码区是共享的，共享的目的是对于频繁被执行的程序，只需在内存中有一份代码即可。

代码区是只读的，使其只读的原因是防止程序意外修改了它的指令。

2. 静态区

存放全局变量、静态变量和常量（字符串常量和 const修饰的全局变量）

const修饰的变量是只读变量，非常量。全局的const变量放在静态区；局部的const变量放在栈区

 三、程序运行后

1. 栈区（内存小，效率高）

由编译器自动分配释放，存放函数的参数值，代码段内的局部变量等。

不要返回局部变量的地址。

栈模型“先进后出”。从栈顶到栈底，地址变化是从低到高；函数形参入栈规则是从右往左。

// 模拟栈溢出
char array[1024 * 1024] = {0};  // 栈溢出
1024 bytes = 1kb
申请数组大小 1kb * 1024 = 1M 栈溢出

2. 堆区（内存大，效率低）

在C++中主要利用new/delete、malloc/free在堆内开辟内存

模拟内存分配

四、new操作符

利用new操作符在堆区开辟内存，会返回该数据对应类型的指针；利用delete释放内存

int* p = new int; // 定义一个int类型对象，没有赋初值
int* p = new int(); // 定义一个int类型对象，初始值为0
int* p = new int(9); // 定义一个int类型对象，初始值为9
int* p = new int[5]{0}; // 定义一个int类型数组，初始值为0

// new 在堆区创建数组，返回数组元素的首地址
int* arr = new int[10]{3}; 
delete[] arr;  // 加上[]，告诉编译器释放的是数组

五、malloc和free

malloc/free、calloc/free、realloc/free配合使用，实现在堆区内存空间动态分配和释放

// 定义数组时，数组长度必须是常量，不能是变量
int arr = (int*)malloc(sizeof(int) * 10);
free(arr);

char* p = (char*)calloc(10, sizeof(char));
// 分配10个长度为sizeof(char)连续空间
// calloc开辟空间，自动初始化为0

char* p1 = (char*)realloc(p, 20);
// 在原有内存基础上，在堆中增加连续的内存。没有初始化操作
// 注意：如果原有内存没有连续空间可以扩展，会分配新的一个空间，将原有内存拷贝到新空间，原内存释放

char* p2 = (char*)realloc(NULL, 20); // 等价于malloc(20)