JavaScript中的递归
栏目: JavaScript · 发布时间: 6年前
内容简介：JavaScript中的递归
译者按:程序员应该知道递归，但是你真的知道是怎么回事么？
原文: All About Recursion, PTC, TCO and STC in JavaScript
译者:Fundebug
为了保证可读性，本文采用意译而非直译。
递归简介
一个过程或函数在其定义或说明中有直接或间接调用自身的一种方法，它通常把一个大型复杂的问题层层转化为一个与原问题相似的规模较小的问题来求解，递归策略只需少量的程序就可描述出解题过程所需要的多次重复计算，大大地减少了程序的代码量。
我们来举个例子，我们可以用4的阶乘乘以4来定义5的阶乘，3的阶乘乘以4来定义4的阶乘，以此类推。
factorial(5) = factorial(4) * 5 factorial(5) = factorial(3) * 4 * 5 factorial(5) = factorial(2) * 3 * 4 * 5 factorial(5) = factorial(1) * 2 * 3 * 4 * 5 factorial(5) = factorial(0) * 1 * 2 * 3 * 4 * 5 factorial(5) = 1 * 1 * 2 * 3 * 4 * 5
用Haskell的Pattern matching 可以很直观的定义factorial函数:
factorial n = factorial (n-1) * n factorial 0 = 1
在递归的例子中，从第一个调用 factorial(5) 开始，一直递归调用 factorial 函数自身直到参数的值为0。下面是一个形象的图例：
递归的调用栈
为了理解调用栈，我们回到 factorial 函数的例子。
function factorial(n){
if (n === 0) {
return 1
}
return n * factorial(n - 1)
}
如果我们传入参数3，将会递归调用 factorial(2) 、 factorial(1) 和 factorial(0) ，因此会额外再调用 factorial 三次。
每次函数调用都会压入调用栈，整个调用栈如下:
factorial(0) // 0的阶乘为1 factorial(1) // 该调用依赖factorial(0) factorial(2) // 该调用依赖factorial(1) factorial(3) // 该掉用依赖factorial(2)
现在我们修改代码，插入 console.trace() 来查看每一次当前的调用栈的状态：
function factorial(n){
console.trace()
if (n === 0) {
return 1
}
return n * factorial(n - 1)
}
factorial(3)
接下来我们看看调用栈是怎样的。
第一个：
Trace at factorial (repl:2:9) at repl:1:1 // 请忽略以下底层实现细节代码 at realRunInThisContextScript (vm.js:22:35) at sigintHandlersWrap (vm.js:98:12) at ContextifyScript.Script.runInThisContext (vm.js:24:12) at REPLServer.defaultEval (repl.js:313:29) at bound (domain.js:280:14) at REPLServer.runBound [as eval] (domain.js:293:12) at REPLServer.onLine (repl.js:513:10) at emitOne (events.js:101:20)
你会发现，该调用栈包含一个对 factorial 函数的调用，这里是 factorial(3) 。接下来就更加有趣了，我们来看第二次打印出来的调用栈：
Trace at factorial (repl:2:9) at factorial (repl:7:12) at repl:1:1 // 请忽略以下底层实现细节代码 at realRunInThisContextScript (vm.js:22:35) at sigintHandlersWrap (vm.js:98:12) at ContextifyScript.Script.runInThisContext (vm.js:24:12) at REPLServer.defaultEval (repl.js:313:29) at bound (domain.js:280:14) at REPLServer.runBound [as eval] (domain.js:293:12) at REPLServer.onLine (repl.js:513:10)
现在我们有两个对 factorial 函数的调用。
第三次：
Trace at factorial (repl:2:9) at factorial (repl:7:12) at factorial (repl:7:12) at repl:1:1 at realRunInThisContextScript (vm.js:22:35) at sigintHandlersWrap (vm.js:98:12) at ContextifyScript.Script.runInThisContext (vm.js:24:12) at REPLServer.defaultEval (repl.js:313:29) at bound (domain.js:280:14) at REPLServer.runBound [as eval] (domain.js:293:12)
第四次：
Trace at factorial (repl:2:9) at factorial (repl:7:12) at factorial (repl:7:12) at factorial (repl:7:12) at repl:1:1 at realRunInThisContextScript (vm.js:22:35) at sigintHandlersWrap (vm.js:98:12) at ContextifyScript.Script.runInThisContext (vm.js:24:12) at REPLServer.defaultEval (repl.js:313:29) at bound (domain.js:280:14)
设想，如果传入的参数值特别大，那么这个调用栈将会非常之大，最终可能超出调用栈的缓存大小而崩溃导致程序执行失败。那么如何解决这个问题呢？使用尾递归。
尾递归
尾递归是一种递归的写法，可以避免不断的将函数压栈最终导致堆栈溢出。通过设置一个累加参数，并且每一次都将当前的值累加上去，然后递归调用。
我们来看如何改写之前定义 factorial 函数为尾递归：
function factorial(n, total = 1){
if (n === 0) {
return total
}
return factorial(n - 1, n * total)
}
factorial(3) 的执行步骤如下：
factorial(3, 1) factorial(2, 3) factorial(1, 6) factorial(0, 6)
调用栈不再需要多次对 factorial 进行压栈处理，因为每一个递归调用都不在依赖于上一个递归调用的值。因此，空间的复杂度为o(1)而不是0(n)。
接下来，通过 console.trace() 函数将调用栈打印出来。
function factorial(n, total = 1){
console.trace()
if (n === 0) {
return total
}
return factorial(n - 1, n * total)
}
factorial(3)
很惊讶的发现，依然有很多压栈!
// ... // 下面是最后两次对factorial的调用 Trace at factorial (repl:2:9) // 3次压栈 at factorial (repl:7:8) at factorial (repl:7:8) at repl:1:1 // 请忽略以下底层实现细节代码 at realRunInThisContextScript (vm.js:22:35) at sigintHandlersWrap (vm.js:98:12) at ContextifyScript.Script.runInThisContext (vm.js:24:12) at REPLServer.defaultEval (repl.js:313:29) at bound (domain.js:280:14) at REPLServer.runBound [as eval] (domain.js:293:12) Trace at factorial (repl:2:9) // 最后第一调用再次压栈 at factorial (repl:7:8) at factorial (repl:7:8) at factorial (repl:7:8) at repl:1:1 // 请忽略以下底层实现细节代码 at realRunInThisContextScript (vm.js:22:35) at sigintHandlersWrap (vm.js:98:12) at ContextifyScript.Script.runInThisContext (vm.js:24:12) at REPLServer.defaultEval (repl.js:313:29) at bound (domain.js:280:14)
这是为什么呢？
在Nodejs下面，我们可以通过开启 strict mode , 并且使用 --harmony_tailcalls 来开启尾递归(proper tail call)。
'use strict'
function factorial(n, total = 1){
console.trace()
if (n === 0) {
return total
}
return factorial(n - 1, n * total)
}
factorial(3)
使用如下命令：
node --harmony_tailcalls factorial.js
调用栈信息如下：
Trace at factorial (/Users/stefanzan/factorial.js:3:13) at Object.<anonymous> (/Users/stefanzan/factorial.js:9:1) at Module._compile (module.js:570:32) at Object.Module._extensions..js (module.js:579:10) at Module.load (module.js:487:32) at tryModuleLoad (module.js:446:12) at Function.Module._load (module.js:438:3) at Module.runMain (module.js:604:10) at run (bootstrap_node.js:394:7) at startup (bootstrap_node.js:149:9) Trace at factorial (/Users/stefanzan/factorial.js:3:13) at Object.<anonymous> (/Users/stefanzan/factorial.js:9:1) at Module._compile (module.js:570:32) at Object.Module._extensions..js (module.js:579:10) at Module.load (module.js:487:32) at tryModuleLoad (module.js:446:12) at Function.Module._load (module.js:438:3) at Module.runMain (module.js:604:10) at run (bootstrap_node.js:394:7) at startup (bootstrap_node.js:149:9) Trace at factorial (/Users/stefanzan/factorial.js:3:13) at Object.<anonymous> (/Users/stefanzan/factorial.js:9:1) at Module._compile (module.js:570:32) at Object.Module._extensions..js (module.js:579:10) at Module.load (module.js:487:32) at tryModuleLoad (module.js:446:12) at Function.Module._load (module.js:438:3) at Module.runMain (module.js:604:10) at run (bootstrap_node.js:394:7) at startup (bootstrap_node.js:149:9) Trace at factorial (/Users/stefanzan/factorial.js:3:13) at Object.<anonymous> (/Users/stefanzan/factorial.js:9:1) at Module._compile (module.js:570:32) at Object.Module._extensions..js (module.js:579:10) at Module.load (module.js:487:32) at tryModuleLoad (module.js:446:12) at Function.Module._load (module.js:438:3) at Module.runMain (module.js:604:10) at run (bootstrap_node.js:394:7) at startup (bootstrap_node.js:149:9)
你会发现，不会在每次调用的时候压栈，只有一个 factorial 。
注意：尾递归不一定会将你的代码执行速度提高；相反， 可能会变慢 。不过，尾递归可以让你使用更少的内存，使你的递归函数更加安全 (前提是你要开启harmony模式)。
那么，博主这里就疑问了：为什么尾递归一定要开启 harmony 模式才可以呢？ 欢迎各位入群讨论。
欢迎加入我们Fundebug的 全栈BUG监控交流群: 622902485 。
版权声明: 转载时请注明作者Fundebug以及本文地址： https://blog.fundebug.com/2017/06/14/all-about-recursions/
以上所述就是小编给大家介绍的《JavaScript中的递归》，希望对大家有所帮助，如果大家有任何疑问请给我留言，小编会及时回复大家的。在此也非常感谢大家对 码农网 的支持！
猜你喜欢:
本站部分资源来源于网络，本站转载出于传递更多信息之目的，版权归原作者或者来源机构所有，如转载稿涉及版权问题，请联系我们。
