|
這幾天看到幾篇關(guān)于尾遞歸的文章,之前對(duì)尾遞歸沒(méi)有多大概念,所以回頭研究了一下尾遞歸。
尾遞歸的概念
尾遞歸(Tail Recursion)的概念是遞歸概念的一個(gè)子集。對(duì)于普通的遞歸,由于必須要記住遞歸的調(diào)用堆棧,由此產(chǎn)生的耗用是難以估量的。比如下文中php小節(jié)第一個(gè)例子使用php寫一個(gè)階乘函數(shù),就是由于遞歸造成了棧溢出的錯(cuò)誤。尾遞歸出現(xiàn)的目的就是消除遞歸棧耗損這個(gè)缺憾的。
從代碼層面看,尾遞歸其實(shí)一句話就可以說(shuō)清楚了:
函數(shù)的最后一個(gè)操作是遞歸調(diào)用
比如"菲波納鍥"數(shù)列的php的遞歸實(shí)現(xiàn):
復(fù)制代碼 代碼如下:
fibonacci.php
<?php
function fibonacci($n) {
if ($n < 2) {
return $n;
}
return fibonacci($n - 1) + fibonacci($n - 2);
}
var_dump(fibonacci(30));
這是遞歸函數(shù),但不是尾遞歸,因?yàn)閒ibonacci的最后一個(gè)操作是加法操作。
轉(zhuǎn)化為尾遞歸:
復(fù)制代碼 代碼如下:
function fibonacci2($n, $acc1, $acc2) {
if ($n == 0) {
return $acc1;
}
return fibonacci2($n-1, $acc2, $acc1 + $acc2);
}
fibonacci2就是一個(gè)尾遞歸,它增加兩個(gè)累加器acc1和acc2,并給出初始的值。記住:遞歸轉(zhuǎn)化為尾遞歸的思想一定是增加累加器,減少遞歸外操作。
尾遞歸在不同語(yǔ)言上的應(yīng)用也是不同的。最常使用的就是函數(shù)式編程Erlang,幾乎是所有出現(xiàn)遞歸的函數(shù)全部都修改成為尾遞歸。下面說(shuō)一下尾遞歸在幾個(gè)不同的語(yǔ)言上的表現(xiàn)和應(yīng)用。
php中的尾遞歸
我們做個(gè)實(shí)驗(yàn)
普通遞歸:
復(fù)制代碼 代碼如下:
<?php
function factorial($n)
{
if($n == 0) {
return 1;
}
return factorial($n-1) * $n;
}
var_dump(factorial(100000000));
尾遞歸:
復(fù)制代碼 代碼如下:
<?php
function factorial($n, $acc)
{
if($n == 0) {
return $acc;
}
return factorial($n-1, $acc * $n);
}
var_dump(factorial(100000000, 1));
實(shí)驗(yàn)結(jié)果:
事實(shí)證明,
尾遞歸在php中是沒(méi)有任何優(yōu)化效果的!
C中的尾遞歸
在C中的尾遞歸優(yōu)化是gcc編譯器做的。在gcc編譯的時(shí)候加上-O2會(huì)對(duì)尾遞歸進(jìn)行優(yōu)化
我們可以直接看生成的匯編代碼:
(使用gdb, gcc 主站蜘蛛池模板: 抚远县| 九寨沟县| 黔西| 西平县| 开江县| 松阳县| 兴宁市| 长春市| 威远县| 屏边| 五峰| 弥渡县| 康乐县| 慈利县| 乐至县| 台中市| 姚安县| 丽水市| 定西市| 黄冈市| 九龙县| 兴和县| 长垣县| 古田县| 南充市| 博乐市| 柳河县| 贵溪市| 呼和浩特市| 安西县| 喀喇| 合阳县| 新蔡县| 寿宁县| 涟水县| 双江| 保康县| 峡江县| 六枝特区| 华坪县| 常山县|