前幾天在寫C51程序時(shí)用到了遞歸，簡(jiǎn)單程序如下：

voidWRITE_ADD(ucharaddr,ucharwbyte){START();//先發(fā)送起始信號(hào)WRITE_BYTE(0xa0);//設(shè)備地址+W命令if(!ERROR_Flag)//正確收到應(yīng)答{WRITE_BYTE(addr);//寫入地址}else{ERROR_Flag=0;//清錯(cuò)誤標(biāo)志W(wǎng)RITE_ADD(addr,wbyte);//重新寫入}if(!ERROR_Flag)//地址收到正確應(yīng)答{WRITE_BYTE(wbyte);//發(fā)送要寫入的數(shù)據(jù)}else{ERROR_Flag=0;//清錯(cuò)誤標(biāo)志W(wǎng)RITE_ADD(addr,wbyte);//重新寫入}if(!ERROR_Flag)//正確收到應(yīng)答{STOP();//停止}else{ERROR_Flag=0;//清錯(cuò)誤標(biāo)志W(wǎng)RITE_ADD(addr,wbyte);//重新寫入}}

編譯時(shí)出現(xiàn)如下警告：

warning C265: '_WRITE_ADD': recursive call to non-reentrant function（循環(huán)調(diào)用了非可重入函數(shù)）。

經(jīng)過查找資料之后，解決方法是在函數(shù)后加入關(guān)鍵字，使函數(shù)變成可重入函數(shù)：

返回值 函數(shù)名（形參） reentrant

上面的函數(shù)是有錯(cuò)誤的，可重入函數(shù)不能傳遞bit類型的變量。在多任務(wù)系統(tǒng)中，可重入函數(shù)也不要用全局變量，多個(gè)函數(shù)同時(shí)調(diào)用時(shí)可能會(huì)使變量出現(xiàn)多個(gè)值，但是在單任務(wù)系統(tǒng)中，個(gè)人認(rèn)為某些時(shí)候下是可以利用的。只要不出現(xiàn)改變變量值的情況。

一、可重入函數(shù)

首先對(duì)重入函數(shù)進(jìn)行一下說明。

可重入函數(shù)主要應(yīng)用在多任務(wù)環(huán)境中，一個(gè)可重入的函數(shù)簡(jiǎn)單來說就是可以被中斷的函數(shù)。也就是說這個(gè)函數(shù)執(zhí)行的任何時(shí)刻中斷它，轉(zhuǎn)入另一段代碼，返回控制時(shí)不會(huì)出現(xiàn)什么錯(cuò)誤，而不可重入的函數(shù)由于使用了系統(tǒng)資源，比如全局向量、中斷向量表等，如果函數(shù)被中斷的話可能會(huì)發(fā)生錯(cuò)誤。

在Keil手冊(cè)中對(duì)可重入函數(shù)的解釋為：一個(gè)可重入函數(shù)可以在同一時(shí)間被幾個(gè)進(jìn)程共享。當(dāng)一個(gè)函數(shù)可重入運(yùn)行時(shí)，別的進(jìn)程可中斷執(zhí)行，并開始執(zhí)行相同的可重入函數(shù)。正常情況，C51編譯器重的函數(shù)不能重入。原因是函數(shù)的參數(shù)和局部變量保存在固定的存儲(chǔ)區(qū)中。通過reentrant函數(shù)屬性允許聲明函數(shù)可重入，因此可重復(fù)調(diào)用?？芍厝牒瘮?shù)可以被遞歸調(diào)用，可同時(shí)被兩個(gè)或多個(gè)進(jìn)程調(diào)用?？芍厝牒瘮?shù)經(jīng)常在實(shí)時(shí)應(yīng)用或者在中斷和非中斷必須共用一個(gè)函數(shù)的情況下被使用。如果函數(shù)定義為屬性reentrant，那么這個(gè)可重入函數(shù)，一個(gè)可重入的堆棧區(qū)同時(shí)在內(nèi)部和外部存儲(chǔ)區(qū)模擬，這是由存儲(chǔ)模式來決定的。如果是SMALL模式，則在idata存儲(chǔ)區(qū)模擬可重入堆棧。如果是COMPACT模式，那么在pdata存儲(chǔ)區(qū)模擬可重入函數(shù)堆棧。如果是LARGE模式可重入函數(shù)在xdata存儲(chǔ)區(qū)模擬可重入堆棧。

二、可重入函數(shù)與函數(shù)的可重入

對(duì)此的詳細(xì)解釋引自：http://www.keil.com/support/docs/1873.htm

可重入函數(shù)與函數(shù)的可重入是兩個(gè)不同的概念。

在C51中如果我們定義以下函數(shù)：

int function(int a, int b, int c) compact reentrant

{

long x, y, z;

....

}

由于聲明為reentrant屬性，因此函數(shù)為可重入函數(shù)，其參數(shù)（a，b，c）和局部變量（x，y，z）存儲(chǔ)在模擬堆棧（simulated stack），由于是compact模式，因此在pdata區(qū)。

如果沒有特意的聲明compact，則會(huì)默認(rèn)的為small，會(huì)在idata區(qū)模擬堆棧。如果是large則會(huì)在xdata區(qū)。這是可重入函數(shù)。（單片機(jī)的“硬件?！保鋵?shí)只有一個(gè)，就是我們通常說的SP，它是在內(nèi)部RAM中的）

但有些函數(shù)未聲明為reentrant，但是可重入的。大多是以匯編來編寫的，其參數(shù)和局部變量存儲(chǔ)在寄存器中（data），在C51的庫(kù)函數(shù)中有很多這樣的函數(shù)，它們是可重入的，但未用reentrant聲明。

三、解釋

普通的函數(shù)的形參和局部變量的存儲(chǔ)是存在全局變量區(qū)（在《全局變量和局部變量存儲(chǔ)》中詳細(xì)的講解），在遞歸調(diào)用的時(shí)候上一層次的局部變量會(huì)被本層次調(diào)用沖掉。通過reentrant，編譯器會(huì)形成模擬棧為形參和局部變量分配內(nèi)存。如果函數(shù)遞歸或者嵌套的次數(shù)太多，也會(huì)發(fā)生棧溢出（對(duì)于該模擬棧的大小可以在STARTUP.A51中修改）。

對(duì)于重入函數(shù)的模擬棧與單片機(jī)內(nèi)的棧不同，模擬棧是由最頂端往下遞減的，而sp則是grow up的。

在函數(shù)的遞歸或者通過函數(shù)指針調(diào)用函數(shù)時(shí)，如果被調(diào)用的函數(shù)中有字符串常量，有時(shí)會(huì)提示“WARNING13:RECURSIVECALLTOSEGMENT”

其具體的解決方法見轉(zhuǎn)載文章“Keil"RECURSIVECALLTOSEGMENT"徹底解決”。