C++程序的内存模型——内存四区相关知识点整理

C++程序在执行时，将内存划分为四个区域：

一、代码区

存放程序编译后的二进制代码，是共享的、只读的，不可寻址，由操作系统管理

二、全局区

存放全局变量、静态变量(static修饰的)、常量（包括字符串常量和const修饰的全局变量（又叫全局常量))

三、栈区

存放函数参数（形参）和局部变量，由编译器自动分配释放，因此要注意不能把局部变量的地址作为函数的返回值,因为当函数运行完成之后，编译器会释放局部变量的内存，此时再访问这块内存就会导致非法操作(但第一次访问可能成功，第二次及之后再访问必失败)

四、堆区

由程序员自主分配和释放，若程序员不释放，则在程序运行结束后由操作系统回收

但总体而言，内存可划分为代码区和数据区，数据区由全局/静态存储区、栈区和堆区共同组成

 

程序运行前

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

代码区：

• 存放cpu执行的机器指令
• 代码区是共享的，共享的目的是对于频繁被执行的程序，只需要在内存中有一份代码即可
• 代码区是只读的，使其只读的原因是防止程序意外修改了它的指令

全局区：

• 全局变量和静态变量存放在此
• 还包含常量区，字符串常量和其他常量（const）也存放在此
• 该区域的数据是有程序执行过后又操作系统释放

全局区和非全局区图示：

程序运行后

栈区：

• 由编译器自动分配释放，存放函数的参数、局部变量
• 注意：不要返回局部变量的地址，栈开辟的数据由编译器自动释放

堆区：

• 由程序员分配释放，若程序员不释放，程序结束时有操作系统回收
• 在c++中主要使用new在堆区中开辟内存

补充：new操作符

c++中利用new操作符在堆区开辟数据
堆区开辟的数据，由程序员手动释放，释放时利用delete,否则，在程序执行完之后，由操作系统回收
语法：new 数据类型
利用new创建的数据，会返回该数据在堆区中分配的内存地址

以 int * p = new int(10)为例，内存划分如下

 

new与delete操作堆区的使用示例

#include<iostream>
using namespace std;
//1. new的基本语法
int * func()
{
    //在堆区创建整型数据
    //new返回的是该数据类型的指针
    int * p = new int(10);
    return p;
}

void test01()
{
    int * p = func();
    cout<< *p << endl;
    cout<< *p << endl;
    //堆区的数据 由程序员管理开辟，程序员管理释放
    //如果想释放堆区的数据，利用关键字delete
    delete p;
    //cout<< *p <<endl; //会引发异常，内存已被释放，再次访问就是非法操作
}

//2、 在堆区利用new开辟数组
void test02()
{
    int * arr = new int[10]; //代表数组有10个元素
    for(int i = 0; i < 10; i++)
    {
        arr[i] = i + 100;
    }

    for(int i = 0; i < 10; i++)
    {
        cout<<arr[i]<<endl;
    }
    //释放堆区数组
    delete[] arr; //要加[]
}
int main()
{
    test01();
    test02();
    return 0;
}