JavaScript遞迴函式學習筆記

JavaScript 支援函數的遞迴調用。

所謂遞迴函式，就是在函數體內調用函數本身。

使用遞迴函式的一個常見例子就是求階乘。

利用遞迴函式求 6! 。

代碼如下	複製代碼
<script type="text/javascript"> function fact(num){     if (num<=1){         return 1;     }else{         return num*fact(num-1);     } } document.write(fact(6)); </script>

但是這在js裡面可能會出現錯誤：

代碼如下	複製代碼
var anotherFactorial = factorial; factorial=null; alert(anoterFactorial(4));

因為在調用anoterFactorial時內部的factorial已經不存在了。

解決方案是通過arguments.callee來解決。

如下：

代碼如下	複製代碼
function factorial(num) {  if(num <= 1)  {      return 1;    }  else  {     return num*arguments.callee(num-1);   }  var anotherFactorial = factorial;  factorial = null;  alert(anotherFactorial(4)); }

如果在一個很複雜的程式中我們可能只需要調用一次該函數，為了函數的精簡我們當然要努力較少函數名的定義，這是很自然會想到用匿名函數來直接執行。但是如果是匿名函數如何?遞迴？arguments.callee正好派上用場，他指代的就是當前執行的函數的引用。

arguments.callee
在javascript函數體內，標識符arguments具有特殊含義。它是調用對象的一個特殊屬性，用來引用Arguments對象。 Arugments對象就像數組，注意這裡只是像並不是哈。javascript函數體內，arguments像數組(並不是真的數組，是一個Arguments對象，再次強調)一樣，有length屬性，可以代 表傳給函數的參數的個數。

引用一個形式參數可以用參數名，也可以用arguments[]數組形式，其中arguments[0]表示第一個參數。所以，javascript中Arguments對象是函數的實際參數，下面，我們一起來進入這神奇的國度，一窺究竟。

arguments.length屬性：js不會主動為你判斷你到底給函數傳了多少個參數，如果你多傳了，多餘的部分就沒有被使用，如果你少傳了，那麼沒傳的參數值就是undefined

所以我們可以藉助arguments的length屬性來檢測調用函數時是否使用了正確數目的實際參數，因為javascript是不會為你做這些事的。

代碼如下	複製代碼
function f(x,y,z) {  //首先檢查傳遞的參數數量是否正確  if(arguments.length != 3)  {   throw new Error("function f called with " + arguments.length + "arguments ,but it not 3 arguments.");  }  //下面運行真正的函數 }

arguments還為我們提供了這樣一種可能，就是為一個函數傳任意數目的實際參數：比如說，我想判斷你傳給我的一些數位大小，取出最大的那個，對，沒錯，你傳多少參數都行，但是前提是你要傳數字，因為我在函數內部懶得判斷了。

代碼如下	複製代碼
function max() {  var m = Number.NEGATIVE_INFINITY;//Number.NEGATIVE_INFINITY JavaScript內最小的數字了  for(var i = 0; i < arguments.length; i++)  {   //只要有任何一個參數比m大，那麼m就變成了這個參數的值   if(arguments[i] > m)   m = arguments[i];  }  return m; }

怎麼樣？這個方法很巧妙吧？

說明一下arguments與真正傳的形式參數是一致的：比如，你給函數傳了一個叫param的參數，並且只有這一個參數，那麼param與arguments[0]都是對這個參數值的引用，改變其中一個值，即改變了二者所有的值。

代碼如下	複製代碼
function change(param) {  //比如我傳的param為simaopig，那麼alert就是simaopig，  //如果啥也沒傳就會alert　undefined  alert(param);  //用arguments[0]改變了這個參數的值  arguments[0] = 'xiaoxiaozi';  //沒錯，這個值變成了xiaoxiaozi  alert(param); }

arguments的callee屬性：arguments的callee屬性是用來引用當前正在執行的函數，這對未命名的函數調用自身非常有好處。

現在用arguments的這個callee簡單的實現。

代碼如下	複製代碼
//用函數直接量，採用 arguments.callee屬性實現遞迴函式 var result = function(x){  if(x<=1) return 1;  return x*arguments.callee(x-1); };

js遞迴函式調用自身時的保險方式。
來自js進階程式設計
一個典型階乘遞迴函式：

代碼如下	複製代碼
function fact(num){ if (num<=1){ return 1; }else{ return num*fact(num-1); } }

以下代碼可導致出錯：

代碼如下	複製代碼
var anotherFact = fact; fact = null; alert(antherFact(4)); //出錯

由於fact已經不是函數了，所以出錯。
用arguments.callee可解決問題，這是一個指向正在執行的函數的指標。
新的函數為：

代碼如下	複製代碼
function fact(num){ if (num<=1){ return 1; }else{ return num*arguments.callee(num-1); //此處更改了。 } } var anotherFact = fact; fact = null; alert(antherFact(4)); //結果為24.

JS普通遞迴的改進

遞迴函式是在一個函數通過名字調用自身的情況下構成的，如下所示:

代碼如下	複製代碼
function factorial(num) { if(num<=1) { return 1; } else { return num * factorial(num-1); } }

這是一個經典的階乘函數。表面看來沒有什麼問題，但下面的代碼卻可能導致它出錯。

代碼如下	複製代碼
var anotherFactorial = factorial; anotherFactorial(4); //輸出 24 factorial = null; anotherFactorial (4); //TypeError: Property 'factorial' of object [object Window] is not a function chrome

下測試
原因在於，我們定義的函數名，其實是指向函數的一個指標，此時定義了anotherFactorial 也指向了那個函數，所以調用anotherFactorial (4)可以成功的輸出24
此時 factorial = null; 那麼執行定義函數的引用就剩下了anotherFactorial，那麼在調用anotherFactorial(4)就會顯示以上的錯誤的資訊。
此時可以使用arguments.callee來替代函數定義中的 factorial,
函數的定義就變成了：

代碼如下	複製代碼
function factorial(num) { if(num<=1) { return 1; } else { return num * arguments.callee(num-1); } }

那麼在使用上面的4行測試代碼，最後一行測試代碼也可以成功的輸出24.