为何递归函数执行return后并未终止？C语言递归疑问

首先看你提供的递归函数代码：

#define LIMIT 1000
void fun2(int n)
{
  if (n <= 0)
     return;
  if (n > LIMIT)
    return;
  printf("%d ", n);
  fun2(2*n);
  printf("%d ", n);
}

你疑惑的核心是：return终止的是当前正在运行的fun2函数实例，而非整个程序。递归的本质是函数多次调用自身，每一次调用都会在内存栈中生成一个独立的函数执行上下文（可以理解为一个独立的“函数副本”，有自己的参数和执行到哪一行的标记）。

拿调用fun2(100)的过程一步步拆解，你就能明白：

1. 启动fun2(100)：

   • 检查100满足0 < n ≤ LIMIT，执行printf("100 ")，输出100。
   • 调用fun2(200)，此时fun2(100)的执行暂停在fun2(2*n)这一行，等待这个子调用完成。

2. 进入fun2(200)：

   • 200符合条件，执行printf("200 ")，输出200。
   • 调用fun2(400)，fun2(200)暂停，等待子调用结束。

3. 进入fun2(400)：

   • 400符合条件，执行printf("400 ")，输出400。
   • 调用fun2(800)，fun2(400)暂停。

4. 进入fun2(800)：

   • 800符合条件，执行printf("800 ")，输出800。
   • 调用fun2(1600)，fun2(800)暂停。

5. 进入fun2(1600)：

   • 1600>LIMIT，触发return，直接终止这个fun2(1600)的实例，回到上一层调用它的位置——也就是fun2(800)中fun2(2*n)的那一行。

现在开始回溯执行：

• fun2(800)从暂停处继续，执行后面的printf("800 ")，输出800，然后fun2(800)执行完毕，return终止自己，回到fun2(400)。
• fun2(400)继续执行printf("400 ")，输出400，终止后回到fun2(200)。
• fun2(200)继续执行printf("200 ")，输出200，终止后回到fun2(100)。
• fun2(100)继续执行printf("100 ")，输出100，整个递归流程结束。

最终就得到了100 200 400 800 800 400 200 100的输出结果。

简单总结：

• 递归是先“深入”调用，每一层调用都会暂停当前函数，去执行子调用。
• 当子调用遇到return终止后，程序会回到上一层暂停的位置，继续执行后续代码，这就是反向打印的原因。
• 任何时候return都只结束当前的函数实例，不会直接终止整个程序。

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