EBP為幀基指針，ESP為棧頂指針。

函數(shù)調(diào)用棧演示如下：

函數(shù)被調(diào)用時，壓棧的順序：

參數(shù)2 -> 參數(shù)1 -> 主調(diào)函數(shù)返回地址 -> 主調(diào)函數(shù)棧幀基址 -> 被調(diào)函數(shù)保存寄存器（可選） -> 局部變量 -> 局部變量2

注意，參數(shù)是從右向左依次入棧。

參數(shù)壓棧完成后，緊接著被壓入的是EIP指針所指向的地址，也就是主調(diào)函數(shù)下一個要執(zhí)行的命令的地址。（用于被調(diào)函數(shù)執(zhí)行完后繼續(xù)執(zhí)行程序）

然后，將主調(diào)函數(shù)EBP棧幀基地址壓入棧幀，用于還原現(xiàn)場。并把ESP賦值給EBP，使EBP成為被調(diào)函數(shù)的棧幀基地址。

繼續(xù)，改變SP的值，給被調(diào)函數(shù)局部變量預留空間。

這時候，EBP指向被調(diào)函數(shù)的棧底，向上是主調(diào)函數(shù)返回地址，向下是局部變量。該地址還保存主調(diào)函數(shù)的棧幀基址。

函數(shù)調(diào)用結束后，EBP賦值給ESP，使ESP指向被調(diào)函數(shù)棧底，釋放被調(diào)函數(shù)局部變量。再將主調(diào)函數(shù)棧幀基地址彈出給EBP，并彈出返回地址到EIP。

堆棧操作

函數(shù)調(diào)用流程

函數(shù)調(diào)用時的具體操作：

1. 主調(diào)函數(shù)按照約定，將參數(shù)壓入棧中。（x86將參數(shù)壓入棧幀，x86_64具有16個通用寄存器，前六個參數(shù)通常由寄存器保存，其余參數(shù)壓入棧中。）
2. 主調(diào)函數(shù)將控制權轉給被調(diào)函數(shù)，返回地址（EIP）保存在棧中（在call指令中執(zhí)行）。
3. 被調(diào)函數(shù)設置棧幀基址，即用ESP給EBP賦值。
4. 若有必要，保存被調(diào)函數(shù)希望保持的寄存器的數(shù)據(jù)。
5. 被調(diào)函數(shù)修改棧頂指針，為局部變量預留空間。并向低地址方向開始存放局部變量和臨時變量。
6. 被調(diào)函數(shù)執(zhí)行任務，若被調(diào)函數(shù)返回值，一般存放在EAX中。
7. 棧頂指針指向EBP，釋放局部變量空間。
8. 恢復4中保存的主調(diào)函數(shù)寄存器中的數(shù)據(jù)。并恢復3中的棧幀基址。
9. 被調(diào)函數(shù)控制權交還給主調(diào)函數(shù)（ret指令），也可能清除參數(shù)。
10. 主調(diào)函數(shù)得到控制器，可能將棧上的參數(shù)清除。

函數(shù)調(diào)用常用命令

壓棧（push）：棧頂指針減小4個字節(jié)，以字節(jié)為單位將數(shù)據(jù)壓入棧中。（不足補0）

出棧（pop）：棧頂指針數(shù)據(jù)被取回，ESP增大4個字節(jié)。

調(diào)用（call）：將EIP（call的下一條指令地址）壓入棧幀，然后EIP指向被調(diào)函數(shù)代碼開始處。

離開（leave）：恢復主調(diào)函數(shù)棧幀，等價于 mov ebp esp 、pop ebp

返回（ret）：與call對應，從棧頂彈出返回地址給EIP。繼續(xù)執(zhí)行程序。

C調(diào)用約定典型的函數(shù)序和函數(shù)跋如下：

C語言函數(shù)調(diào)用的兩種壓棧方式：

兩種壓棧方式區(qū)別：

方式一是傳統(tǒng)方式，一個參數(shù)一個參數(shù)的壓棧，然后調(diào)用，最后釋放棧。

方式二是預先開辟空間，然后將參數(shù)復制到空間，最后沒有回收空間。

函數(shù)調(diào)用約定

創(chuàng)建棧幀最重要的步驟是參數(shù)的傳遞。函數(shù)選擇特定調(diào)用約定，以特定方式進行參數(shù)傳遞。調(diào)用約定還規(guī)定在函數(shù)調(diào)用結束后，由主調(diào)函數(shù)還是被調(diào)函數(shù)對棧進行清理。

函數(shù)調(diào)用約定包括以下方面：

• 函數(shù)參數(shù)傳遞順序和方式
• 棧的維護方式
• 名字修飾策略

常見調(diào)用約定

cdecl調(diào)用約定

別名 C調(diào)用約定，C/C++編譯器默認調(diào)用約定。

所有非C++成員函數(shù)，和未使用stdcall、fastcall聲明的函數(shù)默認都是cdecl調(diào)用。

參數(shù)按照從右向左的順序入棧，主調(diào)函數(shù)負責清空棧，返回值保存在EAX中。

cdecl調(diào)用支持可變參數(shù)函數(shù)，對于C函數(shù)，名字修飾是在函數(shù)名前加 _ 。

對于C++，除非使用**extern"C"**修飾，否則有不同的名字修飾方法。

stdcall調(diào)用約定（微軟命名）

Pascal程序缺省調(diào)用方式，WinAPI也多采用該調(diào)用約定。

參數(shù)從右向左入棧，被調(diào)函數(shù)負責清空棧，返回值保存在EAX。

stdcall僅適用于參數(shù)個數(shù)固定的函數(shù)，因為被調(diào)函數(shù)無法知道棧上參數(shù)個數(shù)。

C函數(shù)中，stdcall的名字修飾是在名字前加_，在名字后加@和參數(shù)大小。

fastcall調(diào)用約定

stdcall的變形，通常使用ECX、EDX寄存器傳遞前兩個DWORD（四字節(jié)雙字）類型或更少的字節(jié)的函數(shù)參數(shù)，其余從右向左入棧。

被調(diào)函數(shù)負責清空棧中參數(shù)。返回值保存在EAX中。

函數(shù)名兩邊使用@修飾，并在后面用十進制表示參數(shù)列表大?。ㄗ止?jié)）。

thiscall調(diào)用約定

C++類的非靜態(tài)成員函數(shù)必須接收一個主調(diào)對象的指針（this指針），并頻繁的使用該指針。編譯器默認使用thiscall調(diào)用約定提高調(diào)用效率。

參數(shù)按照從右向左的順序入棧。

若參數(shù)數(shù)目固定，this指針通過ECX傳遞，被調(diào)函數(shù)負責清理堆棧。

若參數(shù)數(shù)目不固定，this指針在所有參數(shù)入棧后再入棧，主調(diào)函數(shù)清理堆棧。

thiscall不是C++關鍵字，不能用于修飾函數(shù)，只能由編譯器使用。

naked call調(diào)用約定

naked call調(diào)用，編譯器不產(chǎn)生保存和恢復寄存器的代碼。也不能使用return語句。

只能使用內(nèi)嵌的匯編返回結果。用于某些特殊場合，如非C/C++上下文中的函數(shù)，程序員需自行編寫初始化和清棧的內(nèi)嵌匯編指令。

pascal調(diào)用約定

Pascal語言調(diào)用約定，參數(shù)從右向左入棧。只支持固定數(shù)量參數(shù)。

被調(diào)函數(shù)清理堆棧，函數(shù)名稱無修飾且全部大寫。

上述約定的特點：

Windows下可直接在函數(shù)聲明前添加關鍵字__stdcall、__cdecl或__fastcall等標識確定函數(shù)的調(diào)用方式，如int __stdcall func()。

Linux下可借用函數(shù)attribute 機制，如int attribute((stdcall)) func()。

被調(diào)函數(shù)CalleeFunc分別聲明為cdecl、stdcall和fastcall約定時，匯編代碼比較：

調(diào)用約定影響

不同編譯器產(chǎn)生棧幀的方式不盡相同，主調(diào)函數(shù)不一定能完成清理堆棧的工作，而被調(diào)函數(shù)一定可以。

同時，為了保證不同平臺堆棧正常，一般使用stdcall調(diào)用。（通常用于A語言調(diào)用B語言函數(shù)）

此外，主調(diào)函數(shù)和被調(diào)函數(shù)采用相同調(diào)用約定，但分別使用C和C++時，會出現(xiàn)鏈接錯誤。

這是因為：兩種語言函數(shù)名稱修飾符不一樣。解決方法是使用**extern “C”**修飾被調(diào)函數(shù)。

同時應該考慮，被調(diào)函數(shù)也有可能是C++編譯的。通常這樣聲明頭文件：

#ifdef _cplusplus
     extern "C" {
#endif
     type Func(type para);
#ifdef _cplusplus
     }
#endif

x86函數(shù)傳遞參數(shù)方法

x86處理器的ABI規(guī)范中規(guī)定，所有參數(shù)從右向左壓入棧中。

整型和指針參數(shù)傳遞

整型參數(shù)與指針參數(shù)傳遞方式相同，在32位的x86處理器上整型與指針大小相同（四個字節(jié)）。

下表給出這兩種類型在棧幀中位置關系：

浮點參數(shù)傳遞

浮點參數(shù)的傳遞與整型類似，區(qū)別在于參數(shù)大小。

x86處理器中浮點類型占8個字節(jié)，因此在棧中也需要占8個字節(jié)。

下表給出浮點參數(shù)在棧中位置關系：

結構體和聯(lián)合體參數(shù)傳遞

結構體和聯(lián)合體的傳遞與整型、浮點型類似，只是占用大小不同。

x86處理器棧寬是4字節(jié)，故結構體在棧上大小是4的倍數(shù)。