一、棧

　　在說函數(shù)遞歸的時候，順便說一下棧的概念。

　　棧是一個后進先出的壓入(push)和彈出(pop)式數(shù)據(jù)結(jié)構(gòu)。在程序運行時，系統(tǒng)每次向棧中壓入一個對象，然后棧指針向下移動一個位置。當(dāng)系統(tǒng)從棧中彈出一個對象時，最近進棧的對象將被彈出。然后棧指針向上移動一個位置。程序員經(jīng)常利用棧這種數(shù)據(jù)結(jié)構(gòu)來處理那些最適合用后進先出邏輯來描述的編程問題。這里討論的程序中的棧在每個程序中都是存在的，它不需要程序員編寫代碼去維護，而是由運行是系統(tǒng)自動處理。所謂的系統(tǒng)自動維護，實際上就是編譯器所產(chǎn)生的程序代碼。盡管在源代碼中看不到它們，但程序員應(yīng)該對此有所了解。

　　再來看看程序中的棧是如何工作的。當(dāng)一個函數(shù)(調(diào)用者)調(diào)用另一個函數(shù)(被調(diào)用者)時，運行時系統(tǒng)將把調(diào)用者的所有實參和返回地址壓入到棧中，棧指針將移到合適的位置來容納這些數(shù)據(jù)。最后進棧的是調(diào)用者的返回地址。當(dāng)被調(diào)用者開始執(zhí)行時，系統(tǒng)把被調(diào)用者的自變量壓入到棧中，并把棧指針再向下移，以保證有足夠的空間存儲被調(diào)用者聲明的所有自變量。當(dāng)調(diào)用者把實參壓入棧后，被調(diào)用者就在棧中以自變量的形式建立了形參。被調(diào)用者內(nèi)部的其他自變量也是存放在棧中的。由于這些進棧操作，棧指針已經(jīng)移動所有這些局部變量之下。但是被調(diào)用者記錄了它剛開始執(zhí)行時的初始棧指針，以他為參考，用正或負(fù)的偏移值來訪問棧中的變量。當(dāng)被調(diào)用者準(zhǔn)備返回時，系統(tǒng)彈出棧中所有的自變量，這時棧指針移動了被調(diào)用者剛開始執(zhí)行時的位置。接著被調(diào)用者返回，系統(tǒng)從棧中彈出返回地址，調(diào)用者就可以繼續(xù)執(zhí)行了。當(dāng)調(diào)用者繼續(xù)執(zhí)行時，系統(tǒng)還將從棧中彈出調(diào)用者的實參，于是棧指針回到了調(diào)用發(fā)生前的位置。

　　可能剛開始學(xué)的人看不太懂上面的講解，棧涉及到指針問題，具體可以看看一些數(shù)據(jù)結(jié)構(gòu)的書。要想學(xué)好編程語言，數(shù)據(jù)結(jié)構(gòu)是一定要學(xué)的。

　　二、遞歸

　　遞歸，是函數(shù)實現(xiàn)的一個很重要的環(huán)節(jié)，很多程序中都或多或少的使用了遞歸函數(shù)。遞歸的意思就是函數(shù)自己調(diào)用自己本身，或者在自己函數(shù)調(diào)用的下級函數(shù)中調(diào)用自己。

　　遞歸之所以能實現(xiàn)，是因為函數(shù)的每個執(zhí)行過程都在棧中有自己的形參和局部變量的拷貝，這些拷貝和函數(shù)的其他執(zhí)行過程毫不相干。這種機制是當(dāng)代大多數(shù)程序設(shè)計語言實現(xiàn)子程序結(jié)構(gòu)的基礎(chǔ)，是使得遞歸成為可能。假定某個調(diào)用函數(shù)調(diào)用了一個被調(diào)用函數(shù)，再假定被調(diào)用函數(shù)又反過來調(diào)用了調(diào)用函數(shù)。這第二個調(diào)用就被稱為調(diào)用函數(shù)的遞歸，因為它發(fā)生在調(diào)用函數(shù)的當(dāng)前執(zhí)行過程運行完畢之前。而且，因為這個原先的調(diào)用函數(shù)、現(xiàn)在的被調(diào)用函數(shù)在棧中較低的位置有它獨立的一組參數(shù)和自變量，原先的參數(shù)和變量將不受影響，所以遞歸能正常工作。程序遍歷執(zhí)行這些函數(shù)的過程就被稱為遞歸下降。

　　程序員需保證遞歸函數(shù)不會隨意改變靜態(tài)變量和全局變量的值，以避免在遞歸下降過程中的上層函數(shù)出錯。程序員還必須確保有一個終止條件來結(jié)束遞歸下降過程，并且返回到頂層。

　　　　　　　計算機等級考試二級C語言常見知識點總結(jié)

　　　　　　　計算機等考二級C50套上機程序填空題匯總

　　　　　　　計算機等級考試二級C語言三套全真預(yù)測試題