C語言函數(shù)調(diào)用詳細過程

函數(shù)調(diào)用是步驟如下:

按照調(diào)用約定傳參

調(diào)用約定是調(diào)用方(Caller)和被調(diào)方(Callee)之間按相關標準
對函數(shù)的某些行為做出是商議，其中包括下面內(nèi)容:
傳參順序：是從左往右傳還是從右往左
傳參方式：是用寄存器傳還是使用內(nèi)存?zhèn)?br /> 平棧方式：是調(diào)用方平棧還是被調(diào)方平棧
返回值的傳遞方式：是用寄存器傳還是使用內(nèi)存?zhèn)?/p>

什么是堆桟?
一個程序運行的時候,它的進程的地址空間一般可以分為四塊:
代碼區(qū),數(shù)據(jù)區(qū),堆,棧,每塊功能如下:

區(qū)域	功能
代碼區(qū)	存放函數(shù)被編譯后的二進制可執(zhí)行代碼
數(shù)據(jù)區(qū)	只讀區(qū):存放常量,例如:常量字符串,const修飾的全局變量等 可讀寫區(qū):存放全局變量和靜態(tài)變量
堆	除去其他三個區(qū)域,剩下的都是堆,不連續(xù)
棧	存放函數(shù)運行時所需的參數(shù),寄存器環(huán)境,返回值,局部變量

以下面代碼為例:

    int  TestFunction(char szBuff[],int nSize)
    {
        for (int iIndex = 0; iIndex < nSize; iIndex++)
        {
           szBuff[iIndex] = 'x';
        }
        return 3;
    }

    int main()
    {
      char szBuff[32] = { "sfjdlskfjl" };
      int nRet = TestFunction(szBuff, 32);
      return 0;
    }

函數(shù)參數(shù)參數(shù)傳遞:

從上圖中可以看出函數(shù)參數(shù)入棧

保存返回地址(緊挨著被調(diào)用函數(shù)的下一行可執(zhí)行代碼的內(nèi)存地址)
從上圖中可以看出函數(shù)調(diào)用完成后,緊挨著的第一條指令為:
00EB175B add esp,8
所以,參數(shù)傳遞完成后就是返回值入棧:

程序流程轉(zhuǎn)移到被調(diào)用函數(shù)地址處

保存調(diào)用方棧底

切換到當前函數(shù)(被調(diào)用函數(shù))的棧底
調(diào)用方棧底保存完成后,當前的棧頂(ESP記錄的地址)就成為被調(diào)用函數(shù)的棧底

為局部變量分配空間

這里程序為調(diào)試版本,所以為局部變量分配的空間比較大,在Release版本中
會根據(jù)局部變量實際所需空間來分配大小

保存寄存器環(huán)境
這里一共保存了3個寄存器,共12字節(jié),在Release版本下,只保存兩個

在Debug版程序中(有/Zi(帶有調(diào)試信息)和/Od(禁止優(yōu)化)編譯命令),除了為
局部變量分配較大的內(nèi)存空間外,還會將分配的局部變量空間全部置為0xCC:

這種填充方式比較直觀,能夠讓我們在調(diào)試時直觀的觀察到是否發(fā)生越界等錯誤

開始執(zhí)行函數(shù)體代碼
此時當前函數(shù)的棧的內(nèi)存布局如下:

恢復寄存器環(huán)境

釋放分配的局部變量空間
只是將當前的棧底指針(EBP)的值賦值給棧頂指針(ESP)就完成了:

恢復調(diào)用方棧底

平棧或者返回

如果是_fastcall,_stdcall調(diào)用約定,那么被調(diào)用函數(shù)平棧后,取出返回地址
函數(shù)流程轉(zhuǎn)移到調(diào)用方
其他調(diào)用約定則是直接取出保存的返回地址,函數(shù)流程返回到調(diào)用方,又調(diào)用方
平棧

總結(jié)

以上是生活随笔為你收集整理的C语言函数调用完整过程的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。