栈 (Stack) vs 堆 (Heap) 内存布局
核心摘要：栈是自动管理的、有序的、快速的小块内存；堆是手动管理的、灵活的、稍慢的大块内存。
📊 内存布局图 (Memory Layout)
在典型的 C++ 程序中，虚拟内存空间从高地址到低地址的分布如下：
高地址 (0xFFFFFFFF) ⬆️
+------------------------+
| [栈区 Stack] | 🧊 局部变量、函数参数
| - - - - - - - - - - - | (自动管理)
| ⬇️ |
| (栈向下生长) |
+------------------------+
| |
| |
| 自由空间 | 💨 (Stack 和 Heap 共用这块地盘)
| (Free Space) | (谁用满了都会导致溢出)
| |
| |
+------------------------+
| (堆向上生长) |
| ⬆️ |
| - - - - - - - - - - - | (手动管理)
| [堆区 Heap] | 🔥 new / malloc 的对象
+------------------------+
| [全局/静态区 Data/BSS] | 💾 全局变量 (int g_a = 0)
+------------------------+
| [代码/常量区 Text] | 📜 二进制代码、"Hello"字符串
+------------------------+
低地址 (0x00000000) ⬇️为什么这样设计（核心解释）
- 两头堵：代码和全局变量住在楼下（低地址，固定不动）；栈住在楼顶（高地址）。
- 中间挤：
- 栈 (Stack) 像是在楼顶往下吊东西，越吊越多。
- 堆 (Heap) 像是在楼下往上盖积木，越盖越高。
- 自由空间就是中间剩下的楼层。如果栈吊得太低，或者堆盖得太高，两者撞上了（或者把自由空间耗尽了），程序就崩了（OOM 或 StackOverflow）。
📝 详细原理解析
1. 栈 (Stack)
- 就像去饭堂打饭：排队、打饭、吃完走人，流程固定，速度快。
- 管理方式：由编译器自动管理。函数调用时分配，函数结束时自动释放。
- 存储内容：局部变量（Local Variables）、函数参数、函数调用的上下文（返回地址）。
- 特点：
- LIFO（后进先出）结构。
- 速度极快：CPU 有专门的寄存器（ESP/EBP）处理栈指针，分配内存只需要移动指针。
- 空间有限：通常只有几 MB（如 Linux 默认 8MB）。如果递归太深或分配巨大数组，会报
Stack Overflow。
2. 堆 (Heap)
- 就像去图书馆借书：你需要填单子（申请），自己去找书，看完还得自己还回去（释放），否则别人借不到。
- 管理方式：由程序员手动管理。C++ 中使用
new/delete，C 中使用malloc/free。 - 存储内容：程序运行时动态分配的对象（比如读取文件内容、动态数组、链表节点）。
- 特点：
- 灵活：想申请多少就申请多少（受物理内存限制）。
- 速度较慢：涉及到内存分配算法（寻找合适的空闲块），可能产生内存碎片。
- 风险：忘记释放会导致内存泄漏 (Memory Leak)，释放后继续使用会导致悬空指针。
⚔️ 深度对比 (VS)
| 特性 | 栈 (Stack) | 堆 (Heap) |
|---|---|---|
| 分配方式 | 编译器自动分配/释放 | 程序员手动 new/delete |
| 空间大小 | 小 (MB 级别) | 大 (GB 级别，受硬件限制) |
| 分配效率 | 极快 (仅移动指针) | 较慢 (搜索空闲块、系统调用) |
| 生长方向 | 向下 (高地址 -> 低地址) | 向上 (低地址 -> 高地址) |
| 碎片化 | 无 (连续内存) | 有 (频繁申请释放产生碎片) |
| 生命周期 | 随作用域 (Scope) 结束 | 直到手动释放或程序结束 |
| 常见错误 | 栈溢出 (Stack Overflow) | 内存泄漏、Double Free |
💻 代码示例
cpp
#include <iostream>
// 全局变量 -> Data 区
int globalVar = 100;
void func() {
// 局部变量 -> Stack 区
int stackVar = 10;
// 指针变量 p 本身 -> Stack 区
// p 指向的 int(20) 对象 -> Heap 区
int* p = new int(20);
std::cout << "Stack address: " << &stackVar << std::endl;
std::cout << "Heap address: " << p << std::endl;
// 必须手动释放堆内存
delete p;
} // stackVar 在这里自动销毁，p 变量本身销毁