1.75、为什么会有栈溢出，为什么栈会设置容量？

为什么会有栈溢出？

• • 递归调用过深：每次函数调用都会在栈上分配新的栈帧，如果递归没有合理终止条件或递归层级过深，栈空间会被耗尽，导致溢出。
• • 局部变量过大：在函数中定义过大的局部数组或变量，会一次性占用大量栈空间，超过栈容量也会引起溢出。
• • 多线程环境限制：每个线程都有独立的栈空间，线程越多，单个线程分配的栈空间通常越小，容易导致栈溢出。
• • 无限递归或循环调用：函数相互调用且没有返回条件，栈帧不断累积，最终超过栈容量。

为什么栈要设置容量？

• • 栈地址空间必须连续：栈是连续的内存区域，允许任意增长会破坏内存布局，增加内存管理复杂度。
• • 防止内存冲突：栈空间如果无限增长，可能与堆或其他内存区域冲突，导致程序崩溃或安全漏洞。
• • 多线程资源分配：操作系统为每个线程分配固定大小的栈，保证线程间资源隔离和稳定性，无法无限制扩大。
• • 系统资源限制：栈大小受限于操作系统的默认设置和硬件资源，通常通过系统调用或编译器选项调整。

简洁回答

栈溢出是因为函数调用时栈帧不断压入栈中，超过了预设的栈容量。常见原因包括递归调用过深和局部变量过大。栈容量必须固定且连续，方便操作系统管理内存，防止栈与堆等内存区域冲突。多线程环境下，每个线程分配固定栈空间，限制了栈的大小。合理控制递归深度和局部变量大小，以及必要时调整栈容量，是避免栈溢出的关键。
本文首发于【讳疾忌医-note】公众号，未经授权，不得转载。
（加入我的知识星球，免费获取账号，解锁所有文章。）