尾调用和尾递归

尾调用

概念：就是在一个函数末尾调用另一个函数

function f(x){
    /.../
    return g(x)
}

尾调用优化

调用栈：函数的调用会在内存中形成一个调用记录，存储函数的调用位置和内部变量等信息，如果函数A内部调用函数B，那么会在A的调用记录上方还会形成B的调用记录，以此类推形成了调用栈。当B运行结束把结果返回给A，B的调用记录才会消失。
尾调用优化就是指只保留内层函数的调用记录(由于尾调用是函数最后一步，所以不需要保留外层函数的调用帧了，因为调用位置和内部变量等度不会再用到了)。如果所有函数都是尾调用，那么完全可以做到每次执行时，调用记录只有一项，这将大大节省内存。这就是"尾调用优化"的意义。

尾调用优化之后保持始终只有一个函数在栈中，从而减少栈溢出的发生。只要不在用到外部函数的内部变量，内层函数的调用帧才会取代外层函数的调用帧，否则无法进行尾调用优化。

尾调用优化需要满足以下一些条件

• 代码需要在严格模式下执行
• 外部函数的返回值是对尾调用函数的调用
• 尾调用函数返回后不需要执行额外的逻辑
• 尾调用函数不能引用外部函数作用域中的变量

不符合尾调用优化例子

'use strict'

// 无优化：尾调用没有返回
function outerFunction() {
  innerFunction()
}

// 无优化：尾调用没有直接返回
function outerFunction() {
  let innerFunctionResult = innerFunction()
  return innerFunctionResult
}

// 无优化：尾调用返回后必须转型为字符串
function outerFunction() {
  return innerFunction().toString()
}

// 无优化：尾调用是一个闭包
function outerFunction() {
  let foo = 'bar'
  function innerFunction() {
    return foo
  }
  return innerFunction()
}

符合尾调用优化的例子

'use strict'

// 有优化：栈帧销毁前执行参数计算
function outerFunction(a, b) {
  return innerFunction(a + b)
}

// 有优化：初始返回值不涉及栈帧
function outerFunction(a, b) {
  if (a < b) {
    return a
  }
  return innerFunction(a + b)
}

// 有优化：两个内部函数都在尾部
function outerFunction(condition) {
  return condition ? innerFunctionA() : innerFunctionB()
}

尾递归

函数调用自身，称为递归，递归非常耗内存，因为要同时保存成千上万个调用帧，容易出现“栈溢出”错误（stack overflow）。如果尾调用自身就是尾递归，尾递归由于只有一个调用帧，因此不会出现“栈溢出”错误。

尾递归应用

• n阶乘

//普通尾递归，复杂度为O(n)
function fac(n){
    if(n==1) return 1
    return n * fac(n-1)
}
//尾递归优化,只保留一个调用记录,复杂度O(1)。额外传入一个中间变量total，用于存储之前的计算乘积，并利用es6参数默认值特性,只传入一个参数n
function fac(n,total=1){
    if(n==1)return total
    return fac(n-1,n*total)
};fac(5)

• 斐波那契数列（n表示数列的第n项,从第三项开始，前两项的和等于这一项的值。1,1,2,3,5,8…）

//普通尾递归，复杂度为O(n),会导致栈溢出
function fb(n){
    if(n <=2 )return 1
     return fb(n-1)+fb(n-2)
};
fb(100)//无响应，调用栈溢出，浏览器崩溃
//尾递归优化实现
function fb(n,pre=0,cur=1){
    if(n==0)return n
    if(n==1)return cur
    return fb(n-1,cur,cur+pre)
};
fb(100)//354224848179262000000
fb(6)//8
//计算逻辑如下
f(6,0,1)
=f(5,1,1+0)
=f(4,1,1+1)
=f(3,2,2+1)
=f(2,3,3+2)
=f(1,5,5+3)
=8