C语言栈溢出为何判定为异常终止而非无限循环？

好问题！这其实得从栈的工作机制和「无限循环」「栈溢出」的本质区别说起——这俩完全是两种不同的程序故障类型。

先搞懂：什么是无限循环？ #

无限循环是程序的执行流一直在固定的、有限的代码路径里反复跳转，比如经典的while(1) {}。这种情况下，程序的栈使用是稳定的：栈帧的数量不会持续增加，因为没有新的函数调用，只是在同一个函数里循环执行代码。只要系统不手动终止，程序会一直跑下去。

那栈溢出又是怎么回事？ #

C语言里，每次调用函数时，系统都会在栈内存上分配一块「栈帧」，用来保存返回地址、局部变量、寄存器状态等数据。而栈的总大小是固定的（由操作系统分配，通常是几MB级别），一旦栈帧的数量超过栈的容量，就会触发栈溢出错误（通常是SIGSEGV信号），操作系统会直接终止程序——这就是所谓的「异常终止」。

看你给出的代码：

int foo(int val) { 
    int x=0; 
    while(val > 0) { 
        x = x + foo(val--); 
    } 
    return val; 
}

这里的问题出在foo(val--)的递归调用上：val--是后置递减运算符，意思是先把当前的val值作为参数传给新的foo，再把自身的val减1。

举个例子，假设初始调用foo(2)：

• 第一个foo(2)进入while(val>0)，调用foo(2)（此时val还没减1）
• 新的foo(2)又进入while(val>0)，再次调用foo(2)
• 这个过程会无限递归下去，每一次递归都会在栈上新建一个栈帧
• 很快栈的空间就会被耗尽，操作系统直接终止程序，此时程序甚至还没机会执行到val减1的操作

为什么不能把它归为无限循环？ #

因为它根本不是在「循环」，而是在无限递归嵌套：程序的执行流一直在深入新的函数调用，而不是在同一个（或有限的）代码块里反复循环。无限循环不会消耗额外的栈空间，而无限递归会持续占用栈空间直到耗尽——这是两者最核心的区别。

简单来说：无限循环是「原地打转」，栈溢出是「不断往栈里塞东西直到撑爆」，完全是两种不同的故障逻辑。

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