堆和栈有什么区别？

核心回答

如果说的是程序内存管理，栈主要保存函数调用的执行状态，堆主要用于支持生命周期不必跟随一次函数调用的动态数据。两者可以从用途、生命周期、线程关系和管理成本比较：

• 用途： 调用栈保存栈帧，承载局部状态、调用和返回所需的信息；动态分配的内存用于对象、可变大小的数据等。具体变量是否实际落在内存中，还受语言、ABI 和编译器优化影响。
• 生命周期： 栈帧通常随调用建立，返回或异常展开时撤销；动态内存可跨越创建它的函数，由程序、RAII 或垃圾回收等机制管理。
• 线程关系： 线程通常各有调用栈，进程中的动态内存可以被多个线程访问；但是否共享仍取决于对象引用和程序设计，不代表所有堆对象都在被并发使用。
• 成本与风险： 栈的分配回收通常较简单，但空间有限、深递归可能耗尽；动态内存管理更灵活，也要处理分配失败、碎片或生命周期错误。不能仅凭“堆”或“栈”就给出固定性能倍数。

如果说的是数据结构，栈是后进先出的线性结构，堆则按优先级组织元素，常用于优先队列。这是另一组概念，不是两块内存区域的同义词。

生命周期比“局部变量在栈上”更关键

例如，一个函数创建一份订单对象，把引用返回给调用方。函数自己的调用帧可以结束，订单对象却仍需存在；因此对象的生命周期不能简单绑定到创建函数的返回。

在 C/C++ 等语境下，返回一个已结束生命周期的局部对象地址会产生悬空引用风险；动态分配的数据也不能在仍有人使用时释放。在 Java 中，局部变量表可以保存对象引用，对象本身按 JVM 的对象分配和回收机制管理，引用变量与对象不是同一份存储。

也不能把“局部变量”统一理解为物理栈内存：编译器可能使用寄存器，JIT 可能消除某些对象分配。JVM 规范描述逻辑上的栈和栈帧，并不要求所有栈帧都位于一块连续的本地线程栈内存。

“栈私有、堆共享”怎样理解

Linux POSIX 线程各有自己的栈，同时共享进程地址空间中的全局数据和堆。这里的“自己的栈”主要描述执行归属，不是同进程线程之间的硬件内存隔离；在允许直接指针访问的语言中，另一个线程拿到有效地址也可能访问栈上的数据，仍需满足生命周期和同步要求。

反过来，堆上分配的对象若始终只由一个线程持有，也可以按线程内数据使用。线程安全要看谁访问同一对象、有没有并发修改和同步关系，而不是只看分配位置。

内存分配和异常有哪些常见误区

动态分配不代表每次都请求操作系统。以常见 Linux 分配器为例，malloc 可复用已管理的空闲块，也可通过 brk、mmap 等途径获得空间；free 后的块可能先留给分配器复用，不一定立即归还系统。具体阈值、地址布局和栈增长方向依平台及实现而异。

在 JVM 中，Java 栈需求超过允许范围可产生 StackOverflowError，创建或扩展栈无法取得所需内存也可能产生 OutOfMemoryError；Java 堆无法满足对象分配则可能产生 OutOfMemoryError。因此不能概括为“栈只会溢出，堆只会泄漏”。

若面试官问的是数据结构

栈只在栈顶压入和弹出，适合括号匹配、撤销、深度优先遍历等后进先出的需求。二叉堆维护父子节点的优先级关系，堆顶是最大或最小元素，常用于任务优先级、Top K 等需求；它通常用数组表示完全二叉树，但并不保证全部元素已经排序。

一般栈的基本压入、弹出可为 O(1)；二叉堆取堆顶为 O(1)，插入或删除堆顶为 O(log n)，底向上建堆为 O(n)。内存中的动态分配区域也可以用来存放一个栈或二叉堆，数据结构名称并不决定分配区域。

参考资料