C++—内存分区模型学习总结

---

一、内存分区模型

C++在执行时，大致将内存划分为四个区域，其分别为：

• 代码区：存放函数体的二进制代码，由操作系统进行管理。
• 全局区：存放全局变量、静态变量以及常量。
• 栈区：由编译器自动分配释放，存放函数的参数值以及局部变量等。
• 堆区：由程序员进行分配释放，若程序员未释放，则由系统释放。

二、不同阶段各区状态

2.1、程序运行前——代码区、全局区

  在程序编译后，生成了exe可执行文件，在未执行文件前内存将该文件分为了两个区域：

• 代码区：
    存放了将要给CPU运行的机器指令
  • 特点：共享、只读
• 全局区：
   存放了全局变量和静态变量
   该区域的数据在程序运行结束后由操作系统释放。
  • 也包含了常量区，存放字符串常量以及其他常量。

2.1.1代码演示

#include <iostream>
#include <string.h>
#include <cstring>
using namespace std;
//创建全局变量
int g_a = 10;
int g_b = 10;
//创建全局常量
const int c_g_a = 10;
const int c_g_b = 10;
int main(){
    //创建局部变量
    int a = 10;
    int b = 10;
    cout << "局部变量a的地址为: " << &a << endl;
    cout << "局部变量b的地址为: " << &b << endl;
    cout << "全局变量g_a的地址为: " << &g_a << endl;
    cout << "全局变量g_b的地址为: " << &g_b << endl;
    
    //创建静态变量
    static int s_a = 10;
    static int s_b = 10;
    cout << "静态变量s_a的地址为: " << &s_a << endl;
    cout << "静态变量s_b的地址为: " << &s_b << endl;
    
    //常量
    cout << "字符串常量的地址为: " << &("hello") << endl;
    cout << "全局常量c_g_a的地址为: " << &c_g_a << endl;
    cout << "全局常量c_g_b的地址为: " << &c_g_b << endl;
    const int c_l_a = 10;
    const int c_l_b = 10;
    cout << "局部常量c_l_a的地址为: " << &c_l_a << endl;
    cout << "局部常量c_l_b的地址为: " << &c_l_b << endl;
    return 0;
}

2.1.2 结果分析

2.2、程序运行后——栈区

• 栈区：
  • 由编译器自动分配释放，存放函数的形参以及局部变量。
  • 不要返回函数内局部变量的地址，栈区开辟的空间会由系统自动回收。

2.2.1 代码演示

#include <iostream>
using namespace std;

int* f(int b){
    int a = 10;
    //在地址还没有被回收的时候输出其地址
    cout << "形参b的地址为：" <<  &b << endl;
    cout << "局部变量a地址为: " << &a << endl;
    return &a;
}

int main(){
    int *p = f(1);  
    cout << *p << endl;
    //注意，这里会由于系统已经回收了栈区的地址而导致出现Segmentation fault报错
    //有部分编译器不会报错是由于编译器为了防止误操作自动保留了它的值所以使其能够正常输出。
    return 0;
}

2.2.2 结果分析

• 1、由于使用了已经被系统回收的地址而导致报错
  
• 2、在函数内部的输出部分成功的输出了还没有被系统回收的地址
  

2.3、程序运行后——堆区

• 堆区：
  • 由程序员分配释放，若程序员不释放，程序结束时可以由操作系统回收，即使用new开辟的堆区内存，如果程序员不主动释放，会一直存在知道程序结束。
  • 在C++内主要由new在堆区开辟内存

2.3.1 代码演示

#include <iostream>
using namespace std;

int* f(){
    //利用new关键字，可以将数据开辟到堆区
    //开辟一个栈区指针变量p，指向堆区地址
    int *p = new int(10);
    //返回一个栈区的指针p（局部变量）
    return p;
}

int main(){
    int *q = f();
    //开辟了一个栈区的变量q，接收了从函数返回的栈区指针p指向的堆区地址
    cout << *q << endl;
    //返回堆区地址
    return 0;
}