目录
什么是尾递归
尾递归是一种特殊的递归,它的特点是在函数的最后一步调用自身,而不是在调用后还有其他操作。尾递归可以有效地避免栈溢出的风险,因为它不需要保存每次调用的上下文,只需要保留一个栈帧即可。尾递归也可以提高递归的性能,因为它减少了函数调用的开销。
和递归的差别
尾递归和普通递归的区别在于递归调用发生的位置。在普通递归中,递归函数调用发生在递归函数的末尾,而在尾递归中,递归函数调用是整个函数的最后一个操作。
因为尾递归在递归调用后不再有其他操作,所以可以被编译器或解释器优化成循环,从而避免出现栈溢出等问题。而普通递归的调用栈会不断增长,直到达到栈空间的上限,导致栈溢出。
下面是一个普通递归和尾递归的例子,用于计算斐波那契数列的第n项:
// 普通递归 function fibonacci(n) { if (n <= 1) { return n; } return fibonacci(n - 1) fibonacci(n - 2); } // 尾递归 function fibonaccitail(n, a = 0, b = 1) { if (n === 0) { return a; } return fibonaccitail(n - 1, b, a b); }
可以看到,在普通递归中,递归函数调用发生在函数的末尾,并且需要对递归函数的返回值进行加法运算,因此不是尾递归。而在尾递归中,递归函数调用是整个函数的最后一个操作,并且返回值不再需要进行其他的操作,因此是尾递归。
尾递归的优化
要实现尾递归优化,可以使用“尾递归模式”或“尾递归转换”技术,将递归调用转换为迭代形式。下面是一个尾递归优化的示例代码:
function fibonaccitail(n, a = 0, b = 1) { if (n === 0) { return a; } return fibonaccitail(n - 1, b, a b); } function fibonacci(n) { return fibonaccitail(n, 0, 1); }
在优化后的代码中,我们将尾递归函数 fibonaccitail
封装在了一个新的函数 fibonacci
中,并将 fibonaccitail
的第二个参数 a
的默认值设为 0,将第三个参数 b
的默认值设为 1,以便于调用新函数时进行初始值的设置。
优化后的代码中,在函数内部使用了尾递归调用,也就是说,在函数的最后一步,直接返回了尾递归调用的结果。这样做的好处是,在递归调用的过程中不会产生新的调用帧,因此不会出现栈溢出的情况。
应用场景
以下是一些 javascript 中尾递归的应用场景:
数学计算
计算阶乘、斐波那契数列等数学问题时,通常可以使用尾递归来优化性能。上面已经有例子了,这里就不多赘述了
树形结构遍历
遍历树形结构(例如 dom 树或 json 树)时,通常可以使用尾递归来避免堆栈溢出。
const tree = { value: 1, children: [ { value: 2, children: [ { value: 4, children: [] }, { value: 5, children: [] } ] }, { value: 3, children: [ { value: 6, children: [] }, { value: 7, children: [] } ] } ] }; // 尾递归遍历树 function traversetree(tree, callback) { function traverse(node, fn) { fn(node.value); if (node.children.length > 0) { node.children.foreach(child => traverse(child, fn)); } } traverse(tree, callback); } traversetree(tree, console.log);
这里定义了一个
traversetree
函数,它接受两个参数,一个是树形结构,一个是回调函数,回调函数用于处理每个节点的值。在traversetree
函数中,我们定义了一个内部函数traverse
,它接受两个参数,一个是节点,一个是回调函数。在traverse
函数中,我们先调用回调函数处理当前节点的值,然后判断当前节点是否有子节点,如果有子节点,就递归调用traverse
函数来遍历它的子节点。函数式编程
总结
需要注意的是,尾递归优化只有在严格模式(strict mode)下才能生效。在非严格模式下,尾递归调用仍然会导致堆栈溢出。