「地表最强」C++核心编程（一）内存分区模型

B_White1024

已于 2022-12-31 18:10:44 修改

阅读量285

点赞数 1

分类专栏： C++ 文章标签： c++ 算法开发语言

于 2022-12-15 22:03:34 首次发布

本文链接：https://blog.csdn.net/qq_43143724/article/details/128334140

版权

C++ 专栏收录该内容

11 篇文章 0 订阅

订阅专栏

环境：
编译器：CLion2021.3；操作系统：macOS Ventura 13.0.1

文章目录

一、前言
二、内存分区模型

一、前言

由于C++的基础语法知识与C语言几乎相同，在这给系列中便不再赘述，可以移步「地表最强」C语言系列查看（一）至（十一）即可。
这里只说明一点，C语言中字符串的使用需要借助字符数组实现。而C++中不仅可以这么使用，更可以直接定义一个字符串类型的变量string.

char ch[] = "c style string";//C语言风格的字符串
string str = "c++ style string";//C++风格的字符串

二、内存分区模型

程序运行前	程序运行后
代码区	栈区
全局区	堆区

2.1 代码区

作用：存放代码。
特点：共享，只读。

2.2 全局区

作用：存放全局变量、全局常量、静态变量、字符串常量。

2.3 栈区

作用：存放局部变量和形参。
特点：由编译器分配和回收。
注意事项：在一个函数中定义局部变量，若函数返回该局部变量的地址是违规的。这是因为函数中的局部变量存放在栈区，当此函数调用结束后，该空间就会被释放，此时若还操作这块空间就是非法访问。

2.4 堆区

作用：存放new开辟的内存，该空间可以用delete释放。
特点：由程序员分配和回收。

2.5 验证全局区和栈区

#include <iostream>
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;

    //局部常量
    const int c_l_a = 10;
    const int c_l_b = 10;

    //字符串常量
    "string";

    //静态变量
    static int s_a = 10;
    static int s_b = 10;

    //局部变量和局部常量（const修饰的局部变量）不在全局区中
    //可以看到，这些地址在一个区域
    cout << "局部变量a的地址是：" << &a << endl;//0x16aecb5d8
    cout << "局部变量b的地址是：" << &b << endl;//0x16aecb5d4
    cout << "局部常量c_l_a的地址是：" << &c_l_a << endl;//0x16aecb5d0
    cout << "局部常量c_l_b的地址是：" << &c_l_b << endl;//0x16aecb5cc

    //全局变量、静态变量、字符串常量和全局常量（const修饰的全局变量）在全局区中
    //可以看出，这些数据也在一个区域
    cout << "全局变量g_a的地址是：" << &g_a << endl;//0x104f3c000
    cout << "全局变量g_b的地址是：" << &g_b << endl;//0x104f3c004
    cout << "全局常量c_g_a的地址是：" << &c_g_a << endl;//0x104f37ebc
    cout << "全局常量c_g_b的地址是：" << &c_g_b << endl;//0x104f37ec0
    cout << "字符串常量：" << &"string" << endl;//0x104f37d68
    cout << "静态变量s_a的地址是：" << &s_a << endl;//0x104f3c008
    cout << "静态变量s_b的地址是：" << &s_b << endl;//0x104f3c00c

	return 0;
}

2.6 关于new

new会在堆区申请空间，返回该空间的首地址。

#include <iostream>
using namespace std;

//堆区
int *func() {
    //new关键字可以将数据开辟到堆区
    //指针p仍然是局部变量，放在栈上。但是指针指向的数据在堆区。
    //new返回的是该数据类型的指针
    int *p = new int(10);
    return p;//之前说过，不能返回局部变量的地址。但要注意这里的不是p的地址，p的地址是&p，此处返回的是堆区的地址，因此返回此处没有问题
}

void test01() {
    int *p = func();
    cout << *p << endl;

    delete p;//释放new出来的空间
    cout << *p << endl;//非法，已经释放了就无法再次访问
}

//在堆区开辟数组
void test02() {
    int *p = new int[10];//数组有10个元素，返回数组的首地址

    for (int i = 0; i < 10; i++) {
        p[i] = i;
    }

    for (int i = 0; i < 10; i++) {
        cout << p[i] << endl;
    }

    //释放
    delete[] p;//释放数组加[]，否则只会释放一个数据
}

int main() {
//堆区
    int *p = func();
    cout << *p << endl;
    cout << *p << endl;

//new
    test01();
    test02();
	return 0;
}