＜C++核心＞学习：程序的内存四区以及new操作符

前言

时不可以苟遇，道不可以虚行。

---

C++ 是一个面向对象编程的语言，其在程序的进行时，将内存大致划分为四个区域，不同的区域存放着不同的数据，同时并赋予其不同的生命周期，用以提高 C++ 语言编程的灵活性。

---

一、内存分区模型

• 代码区：存放函数的 二进制代码 ，由操作系统（OS）进行管理

我们所写的代码进行编译转化成二进制文件后，才可被计算机识别。

• 全局区：存放全局变量和静态变量以及常量

中文	英文
全局	global
静态	static
常量	const
局部	local

• 栈区： 由 编译器 自动分配释放，存放函数的参数值，局部变量等

• 堆区： 由 程序员 分配和释放，若程序员不释放，程序结束时由操作系统回收

注：

栈区和堆区的区别：

• 栈区的数据由 编译器 管理开辟和释放，栈区数据注意事项：不要返回局部变量的地址，栈区的数据在函数执行完成后自动释放；
• 堆区的数据由 程序员 分配释放，若程序员不释放，程序结束时由操作系统回收，在C++中主要利用 new 在堆区开辟内存

---

二、内存四区

2-1、程序运行前

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

• 代码区：

1. 存放 CPU 执行的机器指令（也就是我们知道的二进制文件）；
2. 代码区是 共享 的，共享的目的是：对于频繁被执行的程序，只需要在内存中有一份代码即可；
3. 代码区是 只读 的，让其只读的原因是：防止程序意外地修改了它的指令；

• 全局区：

4. 全局变量和静态变量存放在此；
5. 全局区还包含了常量、字符串常量和其他常量也存放在此；
6. 该区域的数据在程序结束之后由操作系统释放

#include<iostream>
using namespace std;

//全局变量
int g_a = 10;
int g_b = 10;

//const 修饰的全局变量，叫做全局常量
const int c_g_a = 10;
const int c_g_b = 10;

int main()
{
    //全局区
    //全局变量、静态常量、常量
    //创建普通局部变量
    int a = 10;
    int b = 10;

    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 = 10;

    cout << "静态变量s_a的地址为：" << (int)&s_a << endl;
    cout << "静态变量s_b的地址为：" << (int)&s_b << endl;

    //常量：字符串常量、const修饰的变量
    cout << "字符串常量的地址为：" << (int)&"hello world" << endl;

    cout << "全局常量 c_g_a 的地址为：" << (int)&c_g_a << endl;
    cout << "全局常量 c_g_b 的地址为：" << (int)&c_g_b << endl;

    const int c_l_a = 10;   // c - const   g - global   l - local 
    const int c_l_b = 10;

    cout << "全局常量 c_l_a 的地址为：" << (int)&c_l_a << endl;
    cout << "全局常量 c_l_b 的地址为：" << (int)&c_l_b << endl;

    system("pause");
    return 0;
}

总结：

• C++中在程序运行前分为全局区和代码区
• 代码区特点是：共享和只读
• 全局变量中存放全局变量、静态变量、常量
• 常量区中存放 const 修饰的全局变量和字符串常量

---

2-2、程序运行后

栈区：

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

#include<iostream>
using namespace std;

//栈区数据注意事项 --- 不要返回局部变量的地址
//栈区的数据由编译器管理开辟和释放

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

int main()
{
    //接受func函数的返回值
    int * p = func();

    cout << *p <<endl;  //第一次可以打印正确的数字，是因为编译器做了保留
    cout << *p <<endl;  //第二次这个数据就不再保留了

    system("pause");

    return 0;
}

堆区：

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

#include<iostream>
using namespace std;

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

int * func()
{
    //利用new关键字，可以将数据开辟到堆区
    //指针本质也是局部变量，放在栈上，指针保存的数据是放在堆区
    // int a = 10;
    int * p = new int(10);  
    /**
     * @brief 1、使用new关键字创建一个堆区的数据；
     * 2、这个堆区数据创建好之后，并不是把数据本身返回给你，而是把堆区创建的数据的地址返回给你，需要使用指针来接收这个地址
     * @brief 总结：堆区数据由程序员管理开辟和释放，堆区数据利用new关键字进行开辟内存
     */
    return p;
}

int main()
{
    //在堆区开辟数据
    int * p = func();

    cout << *p << endl;

    system("pause");
    return 0;
}

三、new 操作符

在 C++ 中，利用 new 操作符在堆区中开辟数据，堆区开辟的数据，由程序员手动开辟，手动释放，释放可利用操作符：delete 。

• 语法：利用 new 创建的数据，会返回该数据对应的类型的指针；

定义：
new 数据类型;

返回值：
该数据对应的类型的指针（地址）

代码展示：

#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;
    cout << *p << endl;
    //堆区的数据 由程序员管理开辟，程序员管理释放
    //如果想释放堆区的数据，利用关键字 delete
    delete p;

    //cout << *p << endl; //数据已经被释放，再次访问就是非法操作，会报错
}

//2、在堆区利用 new 开辟数组
void test02()
{
    //创建10整形数据的数组，在堆区
    int * arr = new int[10];    //10代表数组有10个元素

    for (int i = 0; i < 10; i++)    //赋值
    {
        /* code */
        arr[i] = i + 100;   //给10个元素赋值：100~109
    }

    for (int i = 0; i < 10; i++)    //打印
    {
        /* code */
        cout << arr[i] << endl;
    }
    
    //释放堆区的数组
    //释放数组的时候，要加一个[]才可以
    delete[] arr;
}

int main()
{
    test01();
    test02();

    system("pause");
    return 0;
}

1、用 new 的基本语法

新建一个整形元素10，利用 new 创建的数据，会返回该数据对应的类型的指针；

    int * p = new int(10);

2、在堆区利用 new 开辟数组

   int * arr = new int[10];    //10代表数组有10个元素

• 释放堆区的数组
• 释放数组的时候，要加一个[]才可以

    //释放堆区的数组
    //释放数组的时候，要加一个[]才可以
    delete[] arr;