深入解析 C++ 内存分区：代码、全局、栈与堆的作用与区别

Owen

发布时间：2026-10-15| 2人浏览过

原创

C++ 程序运行时内存被划分为四个核心区域：代码区、全局区、栈区和堆区。理解各区域的存储特性、生命周期及内存分配方向，是掌握动态内存管理与排查内存错误的基石。

内存分区概述

C++ 程序在运行期间，其内存空间主要分为四个部分，各自承担不同的职责：

代码区（Code Segment）：存放函数体的二进制机器码，由操作系统统一管理，通常具有只读属性以保障安全。
全局区（Global Segment）：存放全局变量、静态变量以及常量数据。
栈区（Stack Segment）：由编译器自动分配和释放，主要用于存放函数的参数值、局部变量等临时数据。
堆区（Heap Segment）：由程序员通过特定指令手动分配和释放；若未主动释放，程序结束时由操作系统回收。

理解内存地址的高低有助于区分不同区域：通常情况下，低地址区域存放程序指令或静态数据，而高地址区域则涉及栈的生长方向（自顶向下）。

一、代码区（Text Segment）

代码区也称为 Text Segment，主要存放程序的执行代码。当源代码编译为机器码后，这些指令被加载至该区域。

只读保护：为了防止程序意外修改自身指令导致崩溃，该区域通常设置为只读。
共享性：同一份代码可以被多个相同程序的实例共享，从而节省整体内存占用。

二、全局区（Data Segment）

全局区也称为静态数据区，用于存放程序中定义的全局变量、静态变量以及常量。该区域进一步细分为两部分：

初始化数据段：存放已被初始化的全局变量和静态变量（如 int a = 10;）。
未初始化数据段（BSS）：存放未被显式初始化的全局变量和静态变量，系统默认将其初始化为 0 或空指针。

三、栈区（Stack Segment）

栈区是内存中一个非常活跃的片段，其核心特征是“后进先出”（LIFO）的自动管理机制。

功能与机制

存储内容：函数调用时的形参、局部变量、返回地址等。
自动管理：编译器在进入函数时自动分配空间（压栈），退出函数时自动释放（弹栈），无需人工干预。

内存增长方向

栈区的内存分配遵循自顶向下的原则，即从高地址向低地址增长。这是因为栈类似于“叠盘子”，新分配的局部变量会被放置在先前数据的上方（低地址端），每次分配时栈指针（Stack Pointer）向下移动。

四、堆区（Heap Segment）

堆区是程序员可自由支配的动态内存区域，常用于长时间存在的数据结构存储。

分配与释放

手动管理：程序员需使用 new/malloc 申请内存，并在使用完毕后通过 delete/free 显式释放。
风险提示：若忘记释放，将导致内存泄漏；若释放后继续访问，将引发悬垂指针错误。

内存增长方向

堆区从低地址向高地址扩展。操作系统通过维护空闲链表来追踪未分配的内存块，因此在分配时需查找合适的空闲空间，并记录其大小与地址。

代码实战分析

以下示例展示了如何在 C++ 中区分这四个区域的存储行为：

// 全局区：已初始化数据段
int global_var = 10;

// 全局区：未初始化数据段（假设未赋值则默认为0）
int global_uninit;

int main() {
    // 栈区：局部变量，函数结束自动销毁
    int local_var = 20;

    // 栈区：常量引用，存储在常量区或栈中依实现而定
    const int stack_const = 5;

    // 堆区：动态分配数组，需手动释放
    int* heap_array = new int[10]; 

    // C 风格堆区分配：指针类型变量本身在栈，指向的内存再堆
    int* ptr = (int*)malloc(sizeof(int)); 
    free(ptr); // 立即释放，防止泄漏

    delete[] heap_array; // 释放数组内存
    return 0;
}