遞歸函數是我們常用到的一類函數,最基本的特點是函數自身調用自身,但必須在調用自身前有條件判斷,否則無限無限調用下去。實現遞歸函數可以采取什麼方式呢?本文列出了三種基本方式。理解其原來需要一定的基礎知識水品,包括對全局變量,引用,靜態變量的理解,也需對他們的作用范圍有所理解。遞歸函數也是解決無限級分類的一個很好地技巧。如果對無限級分類感興趣,請參照php利用遞歸函數實現無限級分類。我習慣套用通俗的話解釋復雜的道理,您確實不明白請參見手冊。
利用引用做參數
先不管引用做不做參數,必須先明白引用到底是什麼?引用不過是指兩個不同名的變量指向同一塊存儲地址。本來每個變量有各自的存儲地址,賦值刪除各行其道。現在可好,兩個變量共享一塊存儲地址。 $a=&$b; 。實際上指的是 $a 不管不顧自己原來的存儲地址,非要和 $b 共享一室了。因而任何對存儲地址數值的改變都會影響兩個值。
函數之間本來也是各行其是,即便是同名函數。遞歸函數是考慮將引用作為參數,成為一個橋梁,形成兩個函數間的數據共享。雖然兩個函數見貌似操作的是不同地址,但是實際上操作的是一塊兒內存地址。
function test($a=0,&$result=array()){ $a++; if ($a<10) { $result[]=$a; test($a,$result); }
echo $a; return $result; }
上面的例子非常簡答,以$a<10作為判斷條件,條件成立,則把$a賦給$result[];將$result的引用傳入函數,會將每一次遞歸產生的$a添加到結果數組$result。因而本例生成的$result數組是 Array ( [0] => 1 [1] => 2 [2] => 3 [3] => 4 [4] => 5 [5] => 6 [6] => 7 [7] => 8 [8] => 9 ) 。
本例比較有意思的是echo $a 的值。相信很多人認為是12345678910吧,其實不然,是1098765432。為什麼呢?因為函數還沒執行echo $a前就進行了下一次的函數遞歸。真正執行echo $a是當$a<10條件不滿足的時候,echo $a,返回$result,對於上一層而言,執行完遞歸函數,開始執行本層的echo $a,依次類推。
利用全局變量
利用全局變量完成遞歸函數,請確保你確實理解什麼是全局變量。global在函數內申明變量不過是外部變量的同名引用。變量的作用范圍仍然在本函數范圍內。改變這些變量的值,外部同名變量的值自然也改變了。但一旦用了&,同名變量不再是同名引用。利用全局變量實現遞歸函數沒必要理解到這麼深的一層,還保持原有對全局變量的看法就可以順理成章理解遞歸函數。
function test($a=0,$result=array()){ global $result; $a++; if ($a<10) { $result[]=$a; test($a,$result); } return $result; }
利用靜態變量
我們常常在類中見到static,今天我們把它利用到遞歸函數中。請記住static的作用:僅在第一次調用函數的時候對變量進行初始化,並且保留變量值。
舉個栗子:
function test(){ static $count=0; echo $count; $count++; } test(); test(); test(); test(); test();
請問這一段代碼的執行結果是多少?是00000麼?必然不是。是01234。首先第一次調用test(),static對 $count 進行初始化,其後每一次執行完都會保留 $count 的值,不再進行初始化,相當於直接忽略了 static $count=0; 這一句。
因而將static應用到遞歸函數作用可想而知。在將需要作為遞歸函數間作為“橋梁"的變量利用static進行初始化,每一次遞歸都會保留"橋梁變量"的值。
function test($a=0){ static $result=array(); $a++; if ($a<10) { $result[]=$a; test($a); } return $result; }
總結
所謂遞歸函數,重點是如何處理函數調用自身是如何保證所需要的結果得以在函數間合理"傳遞",當然也有不需要函數之間傳值得遞歸函數,例如:
function test($a=0){ $a++; if ($a<10) { echo $a; test($a); } }
面對這樣的函數,我們就不必大傷腦筋了。順便說一句,深入理解變量引用相關知識對解決這類問題大有裨益。