既然栈可动态增长，为何仍会发生stack overflow？是否存在堆溢出？

为什么栈会触发溢出错误，即便它能增长？ #

• 栈的增长有硬性上限：操作系统在进程启动时就会给栈分配一个固定的最大容量（比如Linux默认一般是8MB），这个值不会随便按需扩大——要是栈能无限涨，很容易侵占其他内存区域，搞乱整个进程的内存布局。
• 栈的扩张受内存布局限制：栈在进程内存空间里是和堆、代码段等区域相邻的，当栈增长到快要和这些区域重叠时，操作系统会直接阻止它继续扩张，避免破坏其他区域的数据，这时候再往栈里塞东西就会触发栈溢出。
• 常见触发场景：比如无限递归调用，每一层递归都会在栈上压入包含局部变量、返回地址的栈帧，几下就把栈的容量耗光了。

是否存在堆溢出错误？ #

当然存在，而且和栈溢出的成因、表现都不一样：

• 堆是开发者通过malloc/new这类函数动态申请的内存区域，需要手动用free/delete释放。
• 一种常见的堆溢出是内存泄漏导致的堆耗尽：如果一直申请堆内存却不释放，系统可用内存会被慢慢耗干，最终程序要么崩溃，要么被操作系统强制终止。
• 另一种是堆缓冲区溢出：往堆上分配的缓冲区里写入超出其大小的数据，会破坏堆的内部管理结构（比如内存块的链表节点、分配元数据），轻则程序崩溃，重则可能被利用执行恶意代码，属于典型的内存安全漏洞。

内容的提问来源于stack exchange，提问作者user21066444