追踪递归函数

用下面这个小程序来追踪递归函数， 弄清楚递归的执行顺序以及内存的分配等问题

# include <stdio.h>

void binary_to_ascii(unsigned int value)
{
    unsigned int quoient;

    quoient = value / 10;
    if (quoient != 0)
        binary_to_ascii(quoient);
    putchar(value % 10 + '0');
}

int main(void)
{
    binary_to_ascii(4267);
    return 0;
}

对于上面这个程序， 首先从main函数开始执行， 然后转入binary_to_ascii()函数，下面具体来谈谈在这个函数中是怎么运行的。

首先将参数值除以10赋值给变量quoient， 如果quoient不等于0， 在此调用这个函数。 显然， 这个递归的临界条件就是quoient等于0的时候。 当我们把4267这个值传入binary_to_ascii()函数时， 刚开始执行函数时，堆栈如下图

 

执行完除法之后， 堆栈内容变成：

接着执行if语句判断结果为True， 再次调用binary_to_ascii()函数， 再次分配一批新的变量， 这次新分配的变量会隐藏前面的变量， 除非当前这次递归调用返回， 否则上次分配的变量是不能访问的。 再次执行除法 ，堆栈内容如下：

上面的value和quoient是新分配的变量， 因为函数调用是堆栈的数据结构。 此时判断结果依旧为True， 所以继续调用binary_to_ascii()函数。 分配新的变量， 其堆栈内容如下图：

最上面的value和quoien为新分配的变量， 此时if语句结果仍为True， 所以继续调用。 执行完除法之后， 其堆栈内容如下图：

此时quoient变量的值已经为0， 递归结束。 注意每次递归调用的函数空间目前来说是没有释放的， 该函数空间之中仍然保留着有效数据（import）。

递归函数结束后开始执行剩下的语句， 在这个程序中 剩下的语句就是putchar()这个输出语句。前面已经提到， 函数调用是堆栈结构， 所以会从上面一次往下面输出，

 第一次输出结果为：4， 

第二次输出结果为：2

第三次输出结果为：6

第四次输出结果为：7

由于前面的输出都是不换行的， 所以最后的结果就是：4267。 与输入时一致。

至此， 追踪递归函数结束

函数调用图解（以上程序为例）：

-----------------------------------------------------------------传说中的分割线-----------------------------------------------------------------------------------

部分内容来自于：c和指针第七章：函数