C++ 代码区、全局区、栈区、堆区

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

程序运行前

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

代码区

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

全局区

• 全局变量和静态变量存放在此。
• 全局区还包含了常量区,字符串常量和其他常量也存放在此。
• 该区域的数据在程序结束后由操作系统释放。

#include <iostream>
#include <stdlib.h>
#include <string>

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;

    // const修饰的变量：const修饰的全局变量、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;
    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");
}

可以看到：局部变量和局部常量是不在全局区的，而全局变量、静态变量、字符串常量和全局常量都是存储在全局区的。

程序运行后

栈区

• 由编译器自动分配释放，存放函数的参数值，局部变量等。
• 不要返回局部变量的地址。

#include <iostream>
#include <stdlib.h>
#include <string>

using namespace std;

int* func() {
    int a = 10;  // 局部变量
    return &a;  // 返回局部变量的地址
}

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

    system("pause");
}

原因是：函数内定义的变量属于局部变量，在函数执行完成时会自动释放。编译器只会为你保留一次。

堆区

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

#include <iostream>
#include <stdlib.h>
#include <string>

using namespace std;

int* func() {
    int *a = new int(10);  // 利用new将数据开辟到堆区
    return a;
}

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

    system("pause");
}

怎么理解：其实指针也是一个局部变量，存放的是地址编号，这个地址已经指向堆区，堆区通过这个地址解引用得到10。在上面栈区那里的代码中，实际上在栈区中存放的数据已经被释放掉了，所以解引用也得不到10。