在 C/C++ 程序中，内存被操作系统和编译器划分为不同的区域，以便高效地管理数据和指令的生命周期。通常，C++ 程序的内存分区主要分为 5 大区域：栈区、堆区、全局/静态存储区、常量区、代码区。

下面为您详细拆解这 5 个区域的作用、特点和生命周期：

1. 栈区 (Stack)

• 存储内容：函数的局部变量（包括 main 函数）、函数参数、返回地址、以及局部对象等。
• 管理方式：由编译器自动分配和释放，程序员无需干预。
• 生命周期：随着所处作用域（如函数被调用）的进入而分配，随着作用域的结束（如函数返回）而自动销毁。
• 特点：
  • 效率极高：分配运算内置于处理器的指令集中，速度快。
  • 空间有限：栈的空间通常较小（例如 Windows 默认 1MB，Linux 默认 8MB），如果申请的空间过大或者递归过深，会导致 栈溢出 (Stack Overflow)。
  • 分配方向：通常是向下生长（从高地址向低地址扩展）。
  • 数据结构：遵循“后进先出”（LIFO）原则。

2. 堆区 (Heap)

• 存储内容：程序运行期间动态分配的内存（即通过 new、malloc 分配的对象或数组）。
• 管理方式：由程序员手动控制。C++ 中使用 new 申请，delete 释放；C 语言中使用 malloc 申请，free 释放。
• 生命周期：从 new/malloc 开始，到 delete/free 结束。如果程序员不释放，程序结束时由操作系统回收。但在运行期间如果不释放会导致 内存泄漏 (Memory Leak)。
• 特点：
  • 空间巨大：堆的空间取决于系统的虚拟内存，非常大。
  • 效率较低：分配时需要在空闲内存中寻找合适大小的块，容易产生内存碎片。
  • 分配方向：通常是向上生长（从低地址向高地址扩展）。

3. 全局/静态存储区 (Global/Static Storage Area)

• 存储内容：全局变量、静态变量（static 修饰的局部变量和全局变量）。
• 管理方式：由编译器在编译时分配，由操作系统在程序结束时回收。
• 生命周期：伴随整个程序的运行周期（程序启动时创建，程序结束时销毁）。
• 细分（底层知识补充）：
  • .data 段（已初始化数据段）：存放已初始化的全局变量和静态变量。
  • .bss 段（未初始化数据段）：存放未初始化的全局变量和静态变量。操作系统在加载程序时，会自动将此区域的值清零（这就是为什么未初始化的全局/静态变量默认值为 0 的原因）。

4. 常量区 (Constant Storage Area / Read-Only Data)

• 存储内容：字符串字面量（如 "Hello World"）和其他编译期确定的常量（如部分 const 修饰的全局变量）。
• 管理方式：由系统管理，程序结束时释放。
• 特点：只读。程序运行期间绝不允许被修改。如果尝试通过指针强行修改常量区的内容（如修改字符串字面量），会引发段错误 (Segmentation Fault) 导致程序崩溃。

5. 代码区 (Code Segment / Text Segment)

• 存储内容：存放程序执行的二进制机器指令（即你写的代码编译后的机器码）。
• 特点：
  • 只读：防止程序意外修改了它的指令。
  • 共享：如果同一个程序运行了多个实例（比如开了两个相同的软件），内存中只需要有一份代码区的拷贝，节约内存。

💡 综合代码示例

以下代码展示了各个变量到底存储在哪个区：

#include <iostream>

// --- 全局/静态区 ---
int global_init_var = 10;       // 已初始化的全局变量 -> .data段
int global_uninit_var;          // 未初始化的全局变量 -> .bss段

void func() {
    // --- 全局/静态区 ---
    static int static_init_var = 20;   // 已初始化的静态局部变量 -> .data段
    static int static_uninit_var;      // 未初始化的静态局部变量 -> .bss段

    // --- 栈区 ---
    int local_var = 30;                // 局部变量 -> 栈区
}

int main() {
    // --- 栈区 ---
    int local_main_var = 40;           // 局部变量 -> 栈区
    int* p1 = &local_main_var;         // 指针变量 p1 本身 -> 栈区

    // --- 栈区 + 常量区 ---
    const char* str = "Hello C++";     // str 指针本身 -> 栈区
                                       // "Hello C++" 字符串 -> 常量区

    // --- 栈区 + 堆区 ---
    int* p2 = new int(50);             // p2 指针本身 -> 栈区
                                       // new 出来的 50 -> 堆区

    // --- 常量区 / 栈区 (特例说明) ---
    const int const_local_var = 60;    // 局部常量 -> 栈区（注意：C++中局部 const 通常在栈上分配，或被编译器优化替换，并不在常量区）

    // 释放堆内存
    delete p2;

    return 0; // return 语句的机器指令 -> 代码区
}

⚠️ 高频面试对比：栈区 vs 堆区