递归是函数式编程职工一个非常重要得概念。
递归的基本部分是自引用-调用自己的函数。他被用来解决可以被分解相同类型的更容易的子问题的问题。
一个递归是实现的函数的经典例子是阶乘函数,N的阶乘写作N! :表示小于等于N 的所有正整数的乘积。
例如:5!=5*4*3*2*1 (120) 。可以这样拆解然后用递归实现,5!=4!*5 ,4!=4*3!,
3!=3*2! , 2!=2*1! 1=1*1! 。 一般来说n!=n*(n-1)! ,然而,1!=1 被称为基准情形(base case ),因为他可以被直接计算,而不用执行更多的阶乘因子。
以下是阶乘函数的递归实现:
基准情形充当递归的退出条件 (递归必须有一个明确的递归条件)
递归函数可以是无限的,就像无限循环一样,当你忘记设置基准情形时,经常发生这种情况。
以下是阶乘的错误版本,她没有基准情形,所有他运行直到解释器内存不足而崩溃。
递归也可以是间接的,一个函数调用第二个函数,第二个函数在调用第一个函数,以此类推,这可以发生在任何数量的函数上。
例如: