堆与栈的区别

面试官问："堆和栈有什么区别？C++ 的内存分区是怎样的？"

这题考的是你对进程内存模型的理解。很多人能说出"栈自动管理、堆手动管理"，但问到为什么栈快堆慢、栈溢出怎么发生、堆碎片怎么产生，就答不清楚了。关键是从进程内存布局的角度理解各区域的职责和特性。

简要回答

C++ 进程的内存从低地址到高地址依次是：

• 代码段（.text）：存放机器指令，只读
• 数据段（.data）：已初始化的全局变量和静态变量
• BSS 段：未初始化的全局变量和静态变量（自动清零）
• 堆：向上生长，程序员手动管理（new/delete），空间大但效率低
• 栈：向下生长，编译器自动管理，空间小但效率极高

堆和栈的核心区别：栈是编译器自动管理的高效内存，适合生命周期短、大小固定的局部变量；堆是程序员手动管理的大容量内存，适合生命周期长、大小动态变化的对象。

详细回答

六个维度对比堆和栈

管理方式：栈由编译器自动分配和释放（函数进入时压栈，返回时弹栈），不需要程序员操心。堆由程序员通过 new/delete 手动管理，忘记释放就是内存泄漏。

空间大小：栈空间很小（Linux 默认 8MB，Windows 默认 1MB），超出就栈溢出。堆空间很大（32 位系统理论上可达数 GB），几乎不受限制。

碎片问题：栈不会产生碎片——因为是严格的后进先出，内存总是连续释放。堆频繁 new/delete 会产生碎片——中间释放的小块无法被大块请求利用。

生长方向：栈向低地址生长（从高往低压），堆向高地址生长（从低往高分配）。两者相向而行，中间是可用空间。

分配效率：栈分配只需移动栈指针（一条 CPU 指令），极快。堆分配需要在空闲链表中搜索合适大小的块，还可能触发系统调用扩展内存，慢得多。

线程安全：每个线程有自己独立的栈，天然线程安全。堆是所有线程共享的，多线程同时 new/delete 需要加锁（这也是堆分配慢的原因之一）。

知识拓展

面试官可能追问：

Q1: 栈溢出是怎么发生的？

栈空间有限（通常几 MB），如果递归太深（每次调用都压栈帧）或者局部变量太大（比如在栈上开了一个巨大的数组），就会超出栈空间限制，触发栈溢出（Stack Overflow）。操作系统会发送 SIGSEGV 信号终止进程。解决方法：减少递归深度（改用迭代）、大数组放堆上（用 vector 代替原生数组）。

Q2: 堆分配为什么比栈慢？

三个原因：一是需要在空闲链表中搜索合适大小的内存块（O(n) 复杂度）；二是多线程环境下需要加锁保护堆的数据结构；三是如果空闲空间不够，需要通过 brk/mmap 系统调用向内核申请新页面。而栈分配只需要一条指令修改栈指针寄存器（ESP/RSP），O(1) 完成。

Q3: 实际项目中怎么管理堆内存？

现代 C++ 的原则是尽量不手动 new/delete。用智能指针（unique_ptr、shared_ptr）自动管理生命周期；用容器（vector、string）代替手动数组；遵循 RAII 原则——资源在构造时获取，在析构时释放。如果性能敏感（比如游戏引擎、高频交易），可以用内存池预分配一大块堆内存，避免频繁的系统调用和碎片。

Q4: 堆上的对象和栈上的对象有什么行为差异？

生命周期不同：栈对象在作用域结束时自动析构，堆对象必须手动 delete 才析构。地址稳定性不同：堆对象的地址在整个生命周期内不变（适合被指针引用），栈对象的地址在函数返回后失效（不能返回局部变量的指针）。拷贝语义不同：栈对象赋值是值拷贝，堆对象通常通过指针传递（避免拷贝开销）。