C++程序运行时内存分为栈区、堆区、全局/静态区和代码段。栈区由编译器自动管理,用于局部变量和函数调用,后进先出;堆区由程序员手动管理,用于动态内存分配;全局/静态区存放全局和静态变量,程序启动时分配、退出时回收;代码段存放只读机器指令。

一个C++程序运行时,内存会被操作系统划分为几个逻辑区域,各自承担不同职责。理解这些区域的分工和行为,是排查内存泄漏、栈溢出、野指针等常见问题的关键。
栈区(Stack):函数调用的自动管家
栈由编译器自动管理,用于存储函数的局部变量、函数参数、返回地址和临时寄存器备份。它的特点是“后进先出”,生命周期与函数调用严格绑定——函数进入时分配,退出时自动释放。
- 大小有限(通常几MB),过深递归或超大局部数组容易导致栈溢出
- 分配/释放极快(只需移动栈顶指针),无碎片问题
- 不支持动态大小(如int arr[n];在C++标准中不是栈数组,而是变长数组VLA,C++不原生支持;若n非常量,实际可能触发未定义行为或编译失败)
- 未初始化的局部变量值是随机的(垃圾值),不会自动清零
堆区(Heap):手动申请的灵活空间
堆由程序员显式申请和释放,用于存放生命周期不确定、大小在运行时才知道的对象,比如new或malloc出来的内存。它不随函数结束而消失,必须主动回收。
- 大小远大于栈(受限于虚拟内存),适合大对象或长期存活数据
- 分配较慢(需查找空闲块、维护元数据),可能产生内存碎片
- new调用构造函数,delete调用析构函数;而malloc/free只管内存,不处理对象生命周期
- 忘记delete会导致内存泄漏;重复delete或访问已释放内存会引发未定义行为
全局/静态区(Data Segment & BSS):程序启动就准备好的常驻区
这一区域又细分为已初始化数据段(.data)和未初始化数据段(.bss),存放全局变量、静态变量(含类内static成员)、字符串字面量等。它们在程序加载时分配,整个运行期间存在,程序退出时由系统统一回收。
立即学习“C++免费学习笔记(深入)”;
- .data:保存显式初始化的全局/静态变量,如int g_val = 42;
- .bss:保存未初始化或初始化为0的全局/静态变量,如static int s_x;或int g_y = 0;;BSS不占可执行文件空间,加载时由OS清零
- 字符串字面量(如"hello")存在只读数据段(.rodata),尝试修改会触发段错误
- 静态局部变量也在此区,但作用域仍限于函数内,只是生命周期延长到整个程序运行期
代码段(Text Segment)与其它区域
代码段存放编译后的机器指令,通常只读且可共享(多个进程运行同一程序时共用一份代码页)。此外还有环境变量和命令行参数所在的栈底高地址区、动态链接库映射区等,一般开发中较少直接操作。
基本上就这些。实际调试时,可用pstack看栈帧,valgrind查堆问题,readelf -S或objdump -h观察目标文件的段布局。理解内存模型,不是为了背分区名字,而是让每次new、每层递归、每个全局对象,都心里有数。









