1.尾递归
如果一个函数中所有递归形式的调用都出现在函数的末尾,我们称这个递归函数是尾递归的。当递归调用是整个函数体中最后执行的语句且它的返回值不属于表达式的一部分时,这个递归调用就是尾递归。尾递归函数的特点是在回归过程中不用做任何操作,这个特性很重要,因为大多数现代的编译器会利用这种特点自动生成优化的代码。
1.1 原理
当编译器检测到一个函数调用是尾递归的时候,它就覆盖当前的活动记录而不是在栈中去创建一个新的。编译器可以做到这点,因为递归调用是当前活跃期内最后一条待执行的语句,于是当这个调用返回时栈帧中并没有其他事情可做,因此也就没有保存栈帧的必要了。通过覆盖当前的栈帧而不是在其之上重新添加一个,这样所使用的栈空间就大大缩减了,这使得实际的运行效率会变得更高。
1.2 实例
unsigned int factorial(unsigned int n) // 阶乘的非尾递归形式(又叫线性递归)
{
if(n = 0 || n = 1)
return 1;
else
return n * factorial(n - 1);
}
为了理解尾递归是如何工作的,让我们再次以递归的形式计算阶乘。首先,这可以很容易让我们理解为什么之前所定义的递归不是尾递归。回忆之前对计算n!的定义:在每个活跃期计算n倍的(n-1)!的值,让n=n-1并持续这个过程直到n=1为止。这种定义不是尾递归的,因为每个活跃期的返回值都依赖于用n乘以下一个活跃期的返回值,因此每次调用产生的栈帧将不得不保存在栈上直到下一个子调用的返回值确定。
现在,我们用尾递归的形式来实现它。
unsigned int factorial(unsigned int n, unsigned int a = 1) // 阶乘的尾递归形式
{
if(n == 0)
return 1;
if(n == a)
return a;
else
return factorial(n - 1, a * n);
}
我们可以看到,函数的参数多了一个a,默认初始化为1,它的作用是设置递归的深度。比如我们要求7 * 6 * 5 * 4,可以调用factorial(7, 4),这要比线性递归的功能多。
除此之外。尾递归让我们避免了每次还需要将返回值再乘以n。然而,在每次递归调用中,令a=na并且n=n-1。继续递归调用,直到n=1,这满足结束条件,此时直接返回a即可。这样的方式再每一次的递归中,执行完return后,它便没有存在的需要了,因此编译器会自动的释放它的栈帧,也就是说,整个递归的过程只需要一个栈帧即可。
2.循环
我们知道递归的会有重复大量的计算,而且会耗费大量的栈内存。而且我们发现,很多递归问题可以通过循环来解决,或者说,某些情况下,递归就是循环的一种。所以,我们可以用循环来优化递归。
我们以斐波那契数为例子
// 斐波那契的迭代实现
unsigned int fabonacci(unsigned int n)
{
if(n == 1 || n == 2)
return 1;
else
return fabonacci(n - 1) + fabonacci(n - 2);
}
代码很短 , 但是会不停的回调 , 函数调用栈堆的很高,栈堆到高处 , 才开始计算。而且栈内存空间有限 , 很可能造成栈溢出问题。此外 , 函数执行的效率没有循环的效率高。
我们用循环来表示
// 斐波那契数的循环实现
unsigned int fabonacci(unsigned int n)
{
unsigned int a = 1, b = 1, c = 1;
unsigned int temp = 0;
for(size_t i = 3; i <= n; ++i)
{
temp = c;
c = a + b;
a = b;
b = temp;
}
return c;
}