什么是递归?
递归是一种特殊的函数,可以把它看作一种规则,即对输入信息的处理规则。比如查字典,它的处理过程就是“先按照某种规则翻到某一页,在这一页里面查看是否有要查找的‘字’,如果有,查找结束,如果没有,那就继续这个处理过程” 。这种思路特别符合人脑的思维方式,所以一些很难解决的问题,用递归可以用相对非常简单的代码实现。
什么是尾递归
但是万事万物没有完美的,递归的实现很简单,但是递归的运算相比普通函数资源负载很重,递归函数在每次调用时都会在调用栈上分配一块内存空间,用于存储局部变量、参数和返回地址等信息。这样导致内存或堆栈很快随着递归深度而告急,或者像python直接就限定了递归深度(默认1000),这样可以在资源告急之前受限报错退出。
sbcl(一种Common Lisp)代码示例
针对这种情况,很多编译器开发了尾递归支持功能,即将尾递归编译成循环,这样就不会受限于递归的深度和资源占用问题。尾递归就是递归函数调用是函数最后一步的递归实现。很多Common Lisp的编译器都支持尾递归,比如sbcl,下面是一个尾递归例子:
(defun recursion-tail (x &optional (sum 0))
(if (= x 1)
(+ sum 1)
(recursion-tail (- x 1) (+ sum x))))
在尾递归的加持下,500万递归深度也很轻松:
(recursion-tail 5000000)
12500002500000
附录
sbcl在FreeBSD下的安装
pkg install sbcl