【前端】遞歸之引發堆棧溢出解決方案

簡介：遞歸引發錯誤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的循環老是執行。這樣遞歸就改爲了訓話，後一輪參數取代前一輪參數，保證棧只有一層。