尾递归
最近开始复习数据结构,找了本《数据结构与算法分析-c语言描述》,虽然只看到了75页,但是期间很多地方用到了递归,我也慢慢感受到了递归的重要性,今天看到二叉查找树的Find功能实现时,书的作者又提到了尾递归,于是身为渣渣的我,还是不太理解尾递归与递归的区别,就去自己查了一下。
书中的Find函数实现:
struct TreeNode;
typedef struct TreeNode *Position;
typedef strict TreeNode *SearchTree;
struct TreeNode
{
ElementType Element;
SearchTree Left;
SearchTress Right;
};
Position Find (ElementType X,SearchTree T)//找出等于X的节点
{
if(T == NULL)
return NULL;
if(X < T->Element)
return Find(X, T->Left);
else
if(X > T->Element)
return Find(X,T->Right);
else
return T;
}
作者讲到:这里的两个递归调用事实上都是尾递归并且可以用一次赋值和一个goto语句很容易地代替。尾递归的使用在这里是合理的,因为算法表达式的简明性是以速度的降低为代价的,而这里所使用的栈空间的量也只不过是O(log N)而已。
所以什么是尾递归
- 尾递归其实就是操作的最后一步调用自身的递归
- 强调一下 只是调用自身!
举个例子吧(两个例子都没有实际意义,只是为了通俗的说明一下什么是尾递归):
例1:
int a(int x)
{
if(x==1) return 1;
return a(x-1);
}
例2:
int a(int x)
{
if(x==1) return 1;
return a(x-1)+1;
}
注意看两个例子的最后一行,例1是return a(x-1),这只是调用了自身的递归函数,所以例1是尾递归。而例2不只是调用了自身的递归函数,还加了1,即使最后的递归发生在函数末尾,但是依然不是尾递归。
尾递归的判定标准是函数运行的最后一步是否仅仅只是调用自身。
例2中的最后一行没有仅仅调用自身递归,造成的后果就是每次递归的过程中,都不得不在栈内存中开辟一块空间来保存“1” 这个局部变量。直到到递归边界时,再从栈中,一个一个取出1来加上。最后输出结果。
a(5)
1+a(4)
1+1+a(3)
1+1+1+a(2)
1+1+1+1+a(1) “此时到底递归边界开始返回” 此时占用栈的大小为5
1+1+1+1+1
1+1+1+2
1+1+3
1+4
5
这个图形就告诉我们例2的情况下,内存至少要占用大小为5的栈空间。
- 这也就是普通递归的危险之处,可能在不知不觉中就栈溢出了。
尾递归与普通递归的区别
尾递归和一般的递归的不同,主要就是在于对内存的占用。普通递归创建栈后,不断累积,到边界以后开始收缩。而尾递归可以通过编译器自动优化,或者人工优化来占用衡量的内存。因为每到下一次递归的过程中,只是调用自身的递归函数,而上一层递归的结果对于最终结果没有意义,可以直接用当前层的递归取代上一层递归(也可以理解为只保留当前层的递归结果),这样就无需开辟额外的内存空间。
一些语言会提供尾递归优化,当识别出使用了尾递归时,会相应地只保留当前层函数的stack。