C++内存分区模型

C++内存分区模型

C++程序在执行时，将内存大致划分成4个区域：

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

内存四区的意义：

不同区域存放的数据，赋予不同的生命周期，使我们灵活编程

程序运行前

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

代码区：

​ 存放CPU执行的机器指令

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

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

全局区：

​ 全局变量和静态变量存放在此

​ 全局区还包含了常量区，字符串常量和其他常量也存放在此

​ 该区于的数据在程序结束后由操作系统释放

#include<iostream>
#include<string>
using namespace std;

// 全局变量：定义于函数体外的变量
int g_a = 10;
int g_b = 20;

const int c_g_a = 10;
const int c_g_b = 20;

int main() {
    // 局部变量：定义于函数体内的变量
    int a = 10;
    int b = 20;
    // 相同作用域的变量地址也是相近的，但局部变量并未存于全局区
    cout << "局部变量a的地址：" << (int)&a << endl;
    cout << "局部变量b的地址：" << (int)&b << endl;
    
    // 全局变量地址可以明显看出与局部变量地址不相近
    cout << "全局变量g_a的地址：" << (int)&g_a << endl;
    cout << "全局变量g_b的地址：" << (int)&g_b << endl;
    
    // 静态变量：在普通变量前面加static，属于静态变量
    static int s_a = 10;
    static int s_b = 20;
    // 查看静态变量地址可以看出与全局变量地址相近
    cout << "静态变量s_a的地址：" << (int)&s_a << endl;
    cout << "静态变量s_b的地址：" << (int)&s_b << endl;
    
    // 常量
    // 字符串常量
    cout << "字符串常量的地址：" << (int)&"hello world" << endl;
    // const修饰的变量: const修饰的全局变量和局部变量
    // 全局常量地址与全局变量地址相近
    cout << "全局常量c_g_a地址：" << (int)&c_g_a << endl;
    cout << "全局常量c_g_b地址：" << (int)&c_g_b << endl;
    
    // 局部常量地址与局部变量地址相近
    const int c_l_a = 10;
    const int c_l_b = 20;
    cout << "局部变量c_l_a地址：" << (int)&c_l_a << endl;
    cout << "局部变量c_l_b地址：" << (int)&c_l_b << endl;
    
    system("pause");
    return 0;
}

/*
全局区：全局变量、static修饰的静态变量、字符串常量、const修饰的全局常量
非全局区：局部变量、const修饰的局部常量
*/

程序运行后

栈区：

​ 由编译器自动分配释放，存放函数的参数值、局部变量等

​ 注意事项：函数内部不要返回局部变量的地址，栈区开辟的数据由编译器自动释放

#include<iostream>
#include<string>
using namespace std;

int* func(int b) {    // 形参数据也会放在栈区
    b = 100;
    // 错误示范
    int a = 10;    // 局部变量，存放于栈区，栈区的数据在函数执行完后自动释放
    return &a;     // 返回局部变量的地址
}

int main() {
    int* p = func(1);
    cout << *p << endl;    // 第一次可以正确打印是因为编译器做了保留
    cout << *p << endl;    // 再次打印时这个数据就已经不再保留了
    
    system("pause");
    return 0;
}

堆区：

​ 由程序员分配释放，若程序员不释放，程序结束时由操作系统释放

​ 在C++中主要利用new在堆区开辟内存

#include<iostream>
using namespace std;

int* func() {
    // 指针本质上是存储地址编号的变量，地址编号存放在栈区，地址编号对应的内存空间是放在堆区
    int* p = new int(10);    // 关键字new开辟内存空间，返回的直接是内存地址
    return p;
}

int main() {
    int* p = func();
    // 不论打印几次，数据依然存在
    cout << *p << endl;
    cout << *p << endl;
    cout << *p << endl;
    cout << *p << endl;
    
    system("pause");
    return 0;
}

new操作符

C++中利用new操作符在堆区开辟数据

堆区开辟的数据，由程序员手动开辟，手动释放利用操作符delete

语法：new 数据类型

利用new创建的数据，会返回该数据对应的类型的指针

#include<iostream>
using namespace std;

int* func() {
    // 在堆区创建整型数据,new返回的是该数据类型的指针
    int* p = new int(10);    // 10是存于其中的具体数据
    return p;
}

void test1() {
    int* p = func();
    // 堆区数据由程序员管理开辟和释放，未释放前 程序为结束前一直保留
    cout << *p << endl;
    cout << *p << endl;
    cout << *p << endl;
    cout << *p << endl;
    // 如果想释放，利用关键字delete
    delete p;
    // cout << *P << endl;    // 报错，数据已释放 再访问就是非法操作
}

void test2() {
    // 创建长度为10的整型数组
    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关键字后要加[]
    delete[] arr;
}

int main() {
    test1();
    test2();
    system("pause");
    return 0;
}