无返回值的递归函数是否会出现调用栈堆积问题？

先说结论：绝大多数情况下依然会产生调用栈堆积，你对栈堆积的核心触发原因的理解存在偏差。

核心原因解释 #

调用栈堆积的本质不是「等待返回值」，而是每一层函数调用的栈帧需要保留到该层调用完全执行结束才能释放。就算函数没有返回值，栈帧里还需要存储这些核心信息：

• 函数的入参、内部局部变量
• 递归调用执行完成后，回到上层函数需要继续执行的代码的返回地址
• 运行时需要的其他上下文状态

只要上一层递归调用在子递归执行完成后，还有后续代码需要执行，栈帧就必须保留，和函数有没有返回值完全无关。

举个简单的C语言示例：

// 无返回值的递归函数
void count_down(int n) {
    if (n <= 0) return;
    count_down(n-1);
    // 子递归返回后还有打印逻辑需要执行，必须保留当前栈帧
    printf("第%d层执行完成\n", n);
}

调用count_down(10000)时，就算没有返回值，前面9999层的栈帧都需要完整保留，等待子递归返回后执行打印逻辑，最终一定会触发栈溢出。

唯一的例外情况：符合要求的尾递归 #

只有当你的无返回值递归同时满足两个条件时，才不会出现栈堆积：

1. 递归调用是当前函数的最后一步操作，子递归返回后上层没有任何需要执行的代码，不需要保留上下文
2. 你使用的编程语言、编译器/解释器支持尾递归优化，会直接复用当前栈帧执行子递归，不需要新建栈帧

比如上面的代码改成尾递归形式：

void count_down_tail(int n) {
    if (n <= 0) return;
    printf("第%d层执行完成\n", n);
    // 递归是最后一步操作，返回后无其他代码
    count_down_tail(n-1);
}

在开启O2优化的GCC中运行上面的函数，哪怕递归深度到10万也不会栈溢出。但注意，不是所有语言都支持尾递归优化，比如Python、标准C++等都没有强制要求实现尾递归优化，哪怕写成尾递归形式依然可能栈堆积。

总结 #

• 调用栈堆积和函数有没有返回值没有直接关联，核心看子递归返回后上层是否还需要保留上下文执行后续逻辑
• 非尾递归的无返回值函数100%会产生栈堆积，递归深度过高会触发栈溢出
• 只有支持尾递归优化的运行环境，对尾递归形式的无返回值递归才会避免栈堆积

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