c - C 中的递归和返回语句

Question

请解释嵌套递归函数的返回调用如何一直传播到 main？

我在一本书中看到了以下代码段。 printf 输出为 '6, 12'

在递归函数sumdig() 中，在第三次 递归调用中调用了return 语句。

当 sumdig() 现在返回到第二个递归调用时，sumdig() 的计算结果应该是表达式，而不是 return 语句(即 return sumdig(n))。

但事实并非如此。递归函数的返回调用一直传播到 main。

谁能解释一下嵌套递归函数的返回调用是如何一直传播到 main 的？

如果递归调用类似于“return sumdig(n)”，那么下面的代码对我来说是有意义的。

main()
{

  int a, b;

  a = sumdig( 123 );
  b = sumdig( 123 );

  printf( "%d, %d\n", a, b);

}

sumdig(int n)
{
  static int s = 0;
  int d;

  if(n != 0)
  {
    d = n % 10;
    n = (n - d) / 10;
    s = s + d;

    sumdig(n);

  }
  else
    return(s);
}

对 Sumdig 的递归调用

Initial call           :n = 123, s = 0
First recursive call   :n = 12,  s = 3
Second recursive call  :n = 1,   s = 5
Third recursive call   :n = 0,   s = 6   // Return statement happens here

同样对于第二次调用...静态变量将再次递增 6 变为 12。

如果我的问题不清楚，请帮助我改进。

Answer 1

返回值是未定义的，因为只有最内层的递归调用返回一个已定义的值s。之前所有对 sumdig() 的调用都返回了一个未定义的值，因为当 sumdig 返回时没有填充 if` 子句时没有 return 语句，即当它从递归调用返回时。

因此，如果寄存器中的返回值保持不变，那么 s 可能会传播回来，情况可能是这样，也可能不是。

为了安全起见，递归调用应该是:

return sumdig(n);