C++ 内存四区详解：代码、全局、栈与堆的区别

理解内存分区的意义

将内存划分为不同区域的核心目的，是为了实现编程的灵活性。不同的内存区域拥有不同的数据生命周期和管理机制。例如，非 main 函数调用产生的局部参数存储在栈区，当函数调用结束后，这部分内存会自动清空释放；而 main 函数中的变量或全局数据则可能存在于其他区域，拥有更长的生命周期。区分这些区域有助于合理管理资源。

代码区 (Code Segment)

代码区通常被称为 Text Segment，是程序运行的基础。

1. 定义与作用

该区域主要用于存放函数体内的二进制机器代码（指令），由操作系统进行管理。需要注意的是，代码区在程序编译后、运行前就已经确定，它保存的是编译器生成的供 CPU 执行的指令集合。

2. 核心特点

• 共享性：对于频繁执行的程序，操作系统只需在内存中加载一份代码副本即可，多个进程可以共享同一份代码，从而避免内存浪费。
• 只读保护：代码区通常是只读的，这是为了防止程序意外修改自身的执行指令，确保程序的稳定性。

全局区 (Global/Static Segment)

全局区也被称为静态数据区，包含全局变量、静态变量以及常量等数据。这些数据在程序启动时初始化，并在程序结束时由操作系统统一释放。

1. 全局变量测试

以下代码定义了全局变量和局部变量，通过打印它们的地址来观察内存分布差异。

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

// 全局变量，存放在全局区
int g_a = 10;
int g_b = 10;

int main()
{
    // 局部变量，存放在栈区
    int a = 10;
    int b = 10;
    
    cout << "局部变量a的地址为： " << (int)&a << endl
        << "局部变量b的地址为： " << (int)&b << endl;
    cout << "全局变量g_a的地址为： " << (int)&g_a << endl;
    cout << "全局变量g_b的地址为： " << (int)&g_b << endl;

    system("pause");
    return 0;
}

运行结果如下：

从结果可以看出，局部变量（a, b）与全局变量（g_a, g_b）的地址存在显著差异。相邻的局部变量之间相差 4 字节（对应 int 类型大小），相邻的全局变量也是如此，这表明它们分别在不同的连续内存块中存储。

2. 静态变量测试

静态变量同样存储在全局区。通过在局部变量前添加 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;

将此部分加入上述 main 函数中运行，结果如下：

3. 常量存储测试

常量根据作用域不同，存储位置也有所区别。全局常量存储在全局区，而 const 修饰的局部变量通常仍遵循栈区的规则（具体取决于编译器优化，但通常在逻辑上视为局部）。此外，字符串常量也存储在全局区。

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

// 全局常量，存放在全局区
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 << "全局变量g_a的地址为： " << (int)&g_a << endl;
    
    // 全局常量
    cout << "全局常量c_g_a的地址为： " << (int)&c_g_a << endl;
    
    // 字符串常量，存放在全局区
    cout << "字符串常量的地址为： " << (int)&"hello world" << endl;
    
    // 局部常量，存放在栈区
    const int c_l_a = 10;
    const int c_l_b = 10;
    cout << "局部常量c_l_a的地址为： " << (int)&c_l_a << endl;

    system("pause");
    return 0;
}

运行结果如下：

结果显示，全局常量与全局变量地址相近，属于同一区域；而字符串常量也具有固定的全局地址。局部常量则表现出栈区变量的特征。

栈区 (Stack Segment)

栈区由编译器自动分配和释放，主要用于存放函数的参数值、局部变量等临时数据。栈区的特点是速度快，但容量有限，且数据具有严格的先进后出（LIFO）的生命周期。

重要风险提醒

严禁返回局部变量的地址。 由于栈区数据在函数执行完毕后会被自动释放，如果返回指向栈区局部变量的指针，后续访问该地址将导致未定义行为（如数据被覆盖或程序崩溃）。

1. 栈区错误操作示例

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

运行结果如下：

虽然第一次打印可能看到正确值（这是编译器未立即回收栈帧时的巧合现象），但这是一种极不稳定的做法。第二次打印时，栈空间可能被其他函数调用或系统操作覆盖，导致数据丢失。

堆区 (Heap Segment)

堆区由程序员手动管理分配和释放。若程序结束前未手动释放，操作系统会在进程终止时回收。在 C++ 中，主要使用 new 运算符在堆区开辟内存。

1. 堆区分配原理

当使用 new 创建对象或数据时，实际的数据内容存储在堆区，而指向该数据的指针变量本身作为局部变量，依然存储在栈区。这种分离使得我们可以安全地跨函数传递动态分配的数据。

2. 堆区使用示例

#include <iostream>
using namespace std;

int* func()
{
    // 利用 new 关键字将数据开辟到堆区
    // 指针 p 本身是局部变量，放在栈上
    // p 指向的数据（int 10）放在堆区
    int* p = new int(10);
    return p; // 安全返回：返回的是堆区地址
}

int main()
{
    int* p = func();
    cout << *p << endl; // 正常输出 10
    cout << *p << endl; // 正常输出 10
    cout << *p << endl; // 正常输出 10
    // 注意：在实际工程中，务必记得 delete p; 防止内存泄漏

    system("pause");
    return 0;
}

运行结果如下：

由于数据存储在堆区，即使 func 函数执行完毕，栈上的局部变量 p 被销毁，但堆上的数据依然存在，因此主函数中可以多次安全地通过指针访问该数据。

总结

C++ 的内存四区各有分工：代码区存放指令，全局区存放全局和静态数据，栈区管理局部和参数数据（自动释放），堆区管理动态分配数据（手动释放）。理解各区域的数据生命周期和存储位置，是编写健壮 C++ 程序的关键。特别是对于指针操作，务必区分数据是位于危险的栈区还是安全的堆区，以避免悬空指针和内存泄漏问题。

以上就是 C++ 内存四区详解的详细内容，更多关于 C++ 内存管理优化的资料请关注本站其它相关文章！