什么是尾递归?(知乎转载)

﹏ヽ暗。殇╰゛Y 2022-03-12 11:24 392阅读 0赞

什么是尾递归,排名第一的赞的回答是:

function story() {
从前有座山,山上有座庙,庙里有个老和尚,一天老和尚对小和尚讲故事:story() // 尾递归,进入下一个函数不再需要上一个函数的环境了,得出结果以后直接返回。
}

function story() {
从前有座山,山上有座庙,庙里有个老和尚,一天老和尚对小和尚讲故事:story(),小和尚听了,找了块豆腐撞死了 // 非尾递归,下一个函数结束以后此函数还有后续,所以必须保存本身的环境以供处理返回值。
}
作者:匿名用户
链接:https://www.zhihu.com/question/20761771/answer/23254340
来源:知乎
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。

排名第二:

作者:匿名用户
链接:https://www.zhihu.com/question/20761771/answer/19996299
来源:知乎
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。

参考我在Stackoverflow问的这个问题:
Why does C preserves both goto and while, involving tail recursion
以及:
What is tail-recursion?
为什么C语言同时保留‘goto’语句和‘while’,和尾递归有什么关系?
尾递归是什么?

尾递归和一般的递归不同在对内存的占用,普通递归创建stack累积而后计算收缩,尾递归只会占用恒量的内存(和迭代一样)。SICP中描述了一个内存占用曲线,用以上答案中的Python代码为例(普通递归):

  1. def recsum(x):
  2. if x == 1:
  3. return x
  4. else:
  5. return x + recsum(x - 1)

当调用recsum(5),Python调试器中发生如下状况:

  1. recsum(5)
  2. 5 + recsum(4)
  3. 5 + (4 + recsum(3))
  4. 5 + (4 + (3 + recsum(2)))
  5. 5 + (4 + (3 + (2 + recsum(1))))
  6. 5 + (4 + (3 + (2 + 1)))
  7. 5 + (4 + (3 + 3))
  8. 5 + (4 + 6)
  9. 5 + 10
  10. 15

这个曲线就代表内存占用大小的峰值,从左到右,达到顶峰,再从右到左收缩。而我们通常不希望这样的事情发生,所以使用迭代,只占据常量stack space(更新这个栈!而非扩展他)。
-——————————
(一个替代方案:迭代

  1. for i in range(6):
  2. sum += i

因为Python,Java,Pascal等等无法在语言中实现尾递归优化(Tail Call Optimization, TCO),所以采用了for, while, goto等特殊结构代替recursive的表述。Scheme则不需要这样曲折地表达,一旦写成尾递归形式,就可以进行尾递归优化。
-——————————
Python中可以写(尾递归):

  1. def tailrecsum(x, running_total=0):
  2. if x == 0:
  3. return running_total
  4. else:
  5. return tailrecsum(x - 1, running_total + x)

理论上类似上面:

  1. tailrecsum(5, 0)
  2. tailrecsum(4, 5)
  3. tailrecsum(3, 9)
  4. tailrecsum(2, 12)
  5. tailrecsum(1, 14)
  6. tailrecsum(0, 15)
  7. 15

观察到,tailrecsum(x, y)中形式变量y的实际变量值是不断更新的,对比普通递归就很清楚,后者每个recsum()调用中y值不变,仅在层级上加深。所以,尾递归是把变化的参数传递给递归函数的变量了
怎么写尾递归?形式上只要最后一个return语句是单纯函数就可以。如:

  1. return tailrec(x+1);

  1. return tailrec(x+1) + x;

则不可以。因为无法更新tailrec()函数内的实际变量,只是新建一个栈。

但Python不能尾递归优化(Java不行,C可以,我不知道为什么),这里是用它做个例子。

如何优化尾递归
在编译器处理过程中生成中间代码(通常是三地址代码),用编译器优化。

发表评论

表情:
评论列表 (有 0 条评论,392人围观)

还没有评论,来说两句吧...

相关阅读

    相关 什么

    什么是递归 \\递归:\\如果一个函数在内部可以调用其本身,那么这个函数就是递归函数。简单理解:函数内部自己调用自己, 这个函数就是递归函数 \\注意:\\递归函数的作

    相关

    尾递归 如果要说尾递归的话,那么首先应该先说一下递归函数。递归函数的优点是定义简单,逻辑清晰。理论上,所有的递归函数都可以写成循环的方式,但是循环的逻辑不如递归清晰易理解

    相关

    什么是尾递归 什么是尾递归呢?(tail recursion), 顾名思议,就是一种“不一样的”递归,说到它的不一样,就得先说说一般的递归。对于一般的递归,比如下面

    相关

    尾递归就是说一个递归函数,在return语句中调用了这个递归函数本身,如图所示。从理论上来说,尾递归都可以用非递归的方法实现。 ![这里写图片描述][70] [70]

    相关 什么

    程序调用自身就叫做递归。 递归一般用来算一些比较麻烦的算法问题。 递归跟循环的区别,循环注重过程,而递归值注重结果。 简单的来说就是:用循环能实现的,递归一般可以实

    相关

    1、递归 简单的来说递归就是一个函数直接或间接地调用自身,是为直接或间接递归。一般来说,递归需要有边界条件、递归前进段和递归返回段。当边界条件不满足时,递归前进;当边界条件满