【前端】递归之引发堆栈溢出解决方案

简介：递归引发错误VM434:1 Uncaught RangeError: Maximum call stack size exceeded

优化前递归

```
function obj(x,y){
    if(y>1){
    return obj(x + 1,y - 1);
    }else{
    return x;
    }
}
/**执行方法**/
obj(2,1000); //1001
obj(2,100000); //Uncaught RangeError: Maximum call stack size exceeded
```
复制代码

当递归大于必定数量后出现了堆栈溢出状况（这里是大于10000次出现了）

• 解决方案1

  蹦床函数（trampoline）能够将递归执行转为循环执行。

  function trampoline(f){
      while(f && f instanceof Function){
          f = f();
      }
      return f;
  }
  function obj(x,y){
      if(y > 1){
          return obj.bind(null,x + 1,y - 1);
      }else{
          return x;
      }
  }
  
  trampoline(obj(2,1000)); //1001
  trampoline(obj(2,100000)); //100001
  复制代码

  蹦床函数他接受一个函数f为参数，只要f执行后返回一个函数，就继续执行。

  注意：这里返回的是一个函数，而后继续执行函数，而不是函数里面调函数，避免了递归执行调用栈过大的问题

  蹦床函数不是真正的尾递归优化。

• 解决方案2

  function tco(f){
      var value,
          active=false,
          accumulated=[];
      return function accumulator(){
          accumulated.push(arguments);
          if(active=false){
              active=true;
              while(accumulated.length){
                  value=f.apply(this,accumulated.shift())
              }
              active=false;
              return value;
          }
      }
  }
  var obj=tco(function(x,y){
      if(y > 1){
          return obj(x + 1, y - 1);
      }else{
          return x;
      }
  })
  /**执行方法**/
  obj(2,1000); //1001
  obj(2,100000); //100001
  复制代码

  上面代码中，tco函数是尾递归优化的实现，他主要在于active的状态，只要进入递归优化过程这个状态就激活了，而后每一轮obj3都返回undefined,因此就避免了递归执行；而accumulated数组存放每一轮obj3执行的参数，老是有值的，保证了accumulator函数内部while的循环老是执行。这样递归就改为了训话，后一轮参数取代前一轮参数，保证栈只有一层。