昨天被问到了尾递归及编译器对它的处理相关,一直对它没有研究过,解释得很含糊。
回来查了下,记录如下:
递归有线性递归(普通的递归)和尾递归。
由于尾递归的特殊性,一般的编译器会做些特殊处理。因此,在效率和开销上,比普通递归好。
举个例子,计算n!
1)线性递归:
type recurve(long n)
{
return (n == 1) ? 1 : n * recurve(n - 1);
}
2)尾递归:
type recurve_tail(long n, long result)
{
return (n == 1) ? result : recurve_tail(n - 1, result * n);
}
再封装成1)的形式:
type recurve(long n)
{
return (n == 0) ? 1 : recurve_tail(n, 1);
}
分析:
很容易看出, 普通的线性递归比尾递归更加消耗资源。每次调用都使得调用链条不断加长,系统不得不开辟新的栈进行数据保存和恢复;而尾递归就
不存在这样的问题, 因为他的状态完全由n 和 a 保存,并且,被调用函数返回的值即为要求的值,本函数再没有作用,于是本函数不再保存,直接在本函数堆栈上进行递归调用,
对于特殊情况,甚至可以不使用内存空间,直接在寄存器完成。
编译器如何判断是否尾递归?
返回的值是函数本身,没有其它选择。
看一下上述尾递归函数在gcc 4.3.2-1-1下未进行优化的编译结果:
1 .file "rec.c"
2 .text
3 .globl recurve_tail
4 .type recurve_tail, @function
5 recurve_tail:
6 pushl %ebp
7 movl %esp, %ebp
8 sub
C语言之尾递归
最新推荐文章于 2024-02-29 12:37:03 发布
![](https://img-home.csdnimg.cn/images/20240711042549.png)