栈内存由编译器自动管理,函数调用时压入、返回时弹出,用于存放局部变量等,分配释放极快但大小受限;堆内存需手动管理,用于运行时动态数据,易引发内存泄漏或崩溃;现代C++推荐优先使用栈和RAII智能指针替代裸new/delete。

栈内存由编译器自动管理,函数调用时压入,返回时自动弹出
栈空间用于存放局部变量、函数参数、返回地址等,生命周期与作用域严格绑定。int a = 10;、std::string s = "hello"; 这类定义在函数内部的变量,默认都在栈上分配。
关键点:
- 分配和释放极快,因为只是移动栈顶指针(
rsp或esp) - 大小受限,Windows 默认约 1MB,Linux 通常 8MB,超限会触发
stack overflow - 不支持动态大小:数组长度必须是编译期常量,
int arr[n];(n 非 const)在标准 C++ 中是非法的(除非用 VLAs 扩展,但非标准且危险) - 未初始化的栈变量值是随机的,
int x;不等于0
堆内存需手动申请释放,用 new / delete 或 malloc / free
堆用于运行时不确定大小或需跨函数存活的数据,比如大数组、对象、容器内部缓冲区。典型写法:
int* p = new int[1000000]; // 分配 100 万个 int // ... 使用 p ... delete[] p; // 必须用 delete[],否则未定义行为
常见陷阱:
-
new和delete必须配对;new[]和delete[]必须配对 —— 混用会导致内存损坏或崩溃 - 忘记
delete→ 内存泄漏;重复delete→ 未定义行为(常见 crash) -
malloc返回void*,不调用构造函数;new会调用构造函数,且可被重载 - 堆分配有额外开销(元数据管理、查找空闲块),比栈慢一个数量级
全局/静态区、常量区、代码区也是独立内存分区
除了栈和堆,C++ 程序实际还有几个固定区域:
立即学习“C++免费学习笔记(深入)”;
-
全局/静态区:存放
static变量、全局变量(如int g_val = 42;),程序启动时分配,结束时释放,零初始化 -
常量区(.rodata):存放字符串字面量、
const全局变量(如"hello world"),只读,试图修改会触发segmentation fault - 代码区(.text):存放编译后的机器指令,不可写
-
未初始化数据区(.bss):存放未显式初始化的全局/静态变量(如
static int buf[1024];),加载时不占磁盘空间,运行时清零
现代 C++ 应该尽量避免裸指针操作堆内存
直接用 new/delete 容易出错,标准库提供了更安全的替代方案:
- 用
std::vector替代new int[n]:自动管理堆内存,异常安全,支持移动语义 - 用
std::unique_ptr管理单个堆对象:auto ptr = std::make_unique
(arg1, arg2); // 构造即拥有 // 函数退出时自动 delete,无需手动干预 - 用
std::shared_ptr管理共享所有权,但注意循环引用问题(可用std::weak_ptr打破) - 栈优先原则:能放栈上的,绝不放堆上;能用 RAII 的,绝不裸 new
真正需要区分堆/栈的地方,往往出现在性能敏感路径(如避免 vector 频繁扩容)、嵌入式资源受限环境,或调试内存错误(valgrind 报告的 invalid read/write 位置能直接对应到分配方式)。










