C#栈溢出检测原理及异常重复次数波动原因咨询

一、C#如何检测栈溢出？ #

• CLR为每个线程创建时分配固定大小的栈空间（主线程默认通常是1MB，其他线程默认容量更小）。
• 每次方法调用都会在栈上分配栈帧，用于存储局部变量、方法参数、返回地址等数据。CLR会在分配栈帧前自动检查剩余栈空间：
  • 若剩余空间不足以容纳当前方法所需的栈帧，直接抛出StackOverflowException；
  • 这种检查是CLR底层的自动机制，无需开发者手动实现。

二、为何给足栈空间后程序能正常终止？ #

• 你遇到的并非CLR"提前判定"，而是默认栈空间不足以支撑你的递归调用深度。
• 你的Traverse方法采用递归实现，输入规模增大后，递归深度超出了默认栈的容量上限。当你将线程栈大小设为Int32.MaxValue时，栈空间足够容纳所有递归栈帧，直到递归逻辑到达边界自然终止，因此程序能正常运行并得到正确结果。
• 调试确认代码无问题，说明你的递归逻辑是有终止条件的，只是默认栈的容量限制了它的执行深度。

三、为何异常中的重复调用次数不固定？ #

• 每次程序启动时，栈的初始可用空间并非完全一致：
  • 主线程启动阶段，CLR会在栈上加载一些初始化数据，不同启动场景下这些数据的占用量存在细微差异；
  • 代码中局部变量的分配、隐式的栈操作（如异常处理栈帧、是否附加调试器等），也会影响剩余可用栈空间的大小。
• 可用栈空间的细微波动，导致能容纳的递归调用次数（栈帧数）有所不同，因此每次抛出异常时显示的重复次数会在一定范围内变化（比如2300到3200次）。

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