前言

C語言，我們學(xué)到了這里，一定會有許多疑惑，我們的代碼邏輯，定義的變量，自定義的函數(shù)等通過編譯器，準(zhǔn)確的來講是集成開發(fā)環(huán)境（vs），預(yù)處理、編譯、匯編、鏈接，在電腦上執(zhí)行的過程中，計算機內(nèi)部到底是怎么運行的，我們要搞清楚這些基礎(chǔ)的過程，而不是說，因為這樣做，所以有什么樣的結(jié)果，過程是怎么樣的，我們一概不了解，這樣學(xué)編程是不對的，要刨根問底,增強自己的內(nèi)功。保姆級講述，包您一看就會，快來試試吧~

舉個例子：

int main()
{
    int a=0;
    return 0;
}

根據(jù)以上代碼，我們可以讀出一段信息，定義一個局部整型變量 a,并將他初始化為0，同時一個整型變量在內(nèi)存中占4個字節(jié)。關(guān)于main()函數(shù)的返回值啊，簡單說一下，如果返回值為0，則說明程序是正常結(jié)束，非0，就是不正常結(jié)束，且返回值為整型數(shù)據(jù)。

那么博主在這里問大家兩個問題：

• 局部整型變量a,到底是怎么創(chuàng)建的?
• 如果我們對變量a不進行初始化操作，局部變量a的值是多少？
• main()函數(shù)也有返回值，那他是不是也是也被其他函數(shù)調(diào)用？

函數(shù)在調(diào)用的過程中棧幀的創(chuàng)建和銷毀對于不同的編譯器來說略有差異，但大體的邏輯是差不多的。取決于編譯器。

 什么是函數(shù)棧幀？

 每一次函數(shù)的調(diào)用，操作系統(tǒng)都會在內(nèi)存的棧區(qū)上開辟一塊空間，稱為棧幀。

函數(shù)調(diào)用建立棧幀，棧幀中存儲局部變量，參數(shù)等等。

 

棧區(qū)，堆區(qū)等是操作系統(tǒng)這門學(xué)科中對內(nèi)存的劃分，數(shù)據(jù)結(jié)構(gòu)的“棧”，“堆”是存放、處理數(shù)據(jù)的一種結(jié)構(gòu)，跟內(nèi)存的棧區(qū)，堆區(qū)，沒有啥關(guān)系，但是有一點，數(shù)據(jù)結(jié)構(gòu)的“棧”和內(nèi)存的棧區(qū)都是后進先出，先進后出的特性。

 舉個例子：

在main() 函數(shù)內(nèi)部的Sum()函數(shù)則是被 main(）函數(shù)調(diào)用，Sum()函數(shù)結(jié)束開辟的棧幀被操作系統(tǒng)回收，返回mian()函數(shù)的Sum()函數(shù)調(diào)用點，繼續(xù)執(zhí)行程序。

程序順序執(zhí)行 ，執(zhí)行main()函數(shù)，遇到 int a=1; 操作系統(tǒng)就會在內(nèi)存的棧區(qū)上，為main()函數(shù)創(chuàng)建棧幀里，給局部變量 a 分配一塊4個字節(jié)的空間。同理，局部變量在那個函數(shù)里創(chuàng)建的，那么就在那個函數(shù)的棧幀中為其分配空間。函數(shù)在調(diào)用的時候操作系統(tǒng)會為函數(shù)預(yù)劃分一片空間，就是所謂的棧幀，由 esp,ebp 兩個寄存器維護，如果空間不夠了，操作系統(tǒng)會在這片空間的棧頂（esp）增加空間入棧，esp 可以動態(tài)的維護棧頂。

知識點普及：

局部變量是在內(nèi)存的棧區(qū)上開辟的，棧區(qū)內(nèi)存的使用習(xí)慣是先使用高地址的空間，后使用低地址的空間，棧區(qū)又是一種先進后出，后進先出的結(jié)構(gòu)，且只能在一端操作。

在為函數(shù)創(chuàng)建棧幀的時候，會有很多的寄存器去維護，這一片的可使用空間就會被初始化為隨機值，這個根據(jù)不同的編譯器有不同的初始化方式，這就是我們對局部變量定義的時候不進行初始化打印隨機值的原因。

 由圖可見，棧底寄存器 ebp-0E4h 就等于 edi 指向的空間。

不過現(xiàn)在的編譯器很智能，如果沒有初始化局部變量使用的話會報錯，就很強，但是大家還是要養(yǎng)成良好的初始化的習(xí)慣。

Sum() 函數(shù)的調(diào)用  

傳參：

把變量a,b 的值分別存儲在 ecx ,eax 寄存器，分別入棧。就相當(dāng)于使用兩塊空間 又將a,b 存儲了一次。這就是形參嘛。

形參是實參的拷貝！這段形參開辟的空間實際上還是在main() 函數(shù)的棧幀中。esp 棧頂指針動態(tài)維護。

esp ,edp 如何從main() 棧幀，來維護 Sum() 函數(shù)棧幀：

 區(qū)間實際上是(ebx,ebp)

 return 會返回 call 指令的這個地址，可以繼續(xù)執(zhí)行程序。

C/C++ 程序內(nèi)存分配的幾個區(qū)域：

1.棧區(qū)（stack）:在執(zhí)行函數(shù)時，函數(shù)內(nèi)局部變量的存儲單元都可以在棧上創(chuàng)建，函數(shù)執(zhí)行結(jié)束時這些存儲單元自動釋放。棧內(nèi)存分配運算內(nèi)置于處理器的指令集中，效率很高，但是分配的內(nèi)存容量有限，棧區(qū)主要存放運行函數(shù)而分配的局部變量，函數(shù)參數(shù)，返回數(shù)據(jù)，返回地址等。

2.堆區(qū)（heap）：一般由程序員分配釋放，若程序員不釋放，程序結(jié)束時由OS回收。

3.數(shù)據(jù)段（靜態(tài)區(qū)）（static）存放全局變量，靜態(tài)變量。程序結(jié)束后由系統(tǒng)釋放。

4.代碼段：存放函數(shù)體（類成員函數(shù)和全局函數(shù)）的二進制代碼

至此C語言函數(shù)棧幀的創(chuàng)建和銷毀博主已經(jīng)分享完了，相信大家對這個函數(shù)怎么建立的、銷毀的，函數(shù)怎么傳參，使用等有了一定的理解，大家可以自己使用匯編代碼，感受一下。

總結(jié)

到此這篇關(guān)于C語言函數(shù)棧幀的創(chuàng)建與銷毀的文章就介紹到這了,更多相關(guān)C語言函數(shù)棧幀內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評論