C/C++函數調用的幾種方式

咱們知道，調用函數時，計算機經常使用棧來存放函數執行須要的參數，因爲棧的空間大小是有限的，在windows下棧是向低地址擴展的數據結構，是一塊連續的內存區域。這句話的意思是棧頂的地址和棧的最大容量是系統預先規定好的，windows下棧的大小是2M（也有的說是1M），若是申請的空間超過棧的剩餘空間時，將提示overflow。
在函數調用時，第一個進棧的是主函數中後的下一條指令（函數調用語句的下一條可執行語句）的地址，而後是函數的各個參數，在大多數的C編譯器中，參數是由右往左入棧的，而後是函數中的局部變量。注意靜態變量是不入棧的。
在參數傳遞中，有兩個重要的問題必需要明確說明：
1. 當參數個數多於一個時，按照什麼順序把參數壓入堆棧；
2. 函數調用後，由誰來把堆棧恢復原狀。
在高級語言中，就是經過函數的調用方式來講明這兩個問題的。常見的調用方式有：
stdcall
cdecl
fastcall
thiscall
thiscall
naked call
下面就分別介紹這幾種調用方式：
1. stdcall
stdcall調用方式又被稱爲Pascal調用方式。在Microsoft C++系列的C/C++編譯器中，使用PASCAL宏，WINAPI宏和CALLBACK宏來指定函數的調用方式爲stdcall。
stdcall調用方式的函數聲明爲：
int _stdcall function(int a, int b);
stdcall的調用方式意味着：
（1） 參數從右向左依次壓入堆棧
（2） 由被調用函數本身來恢復堆棧
（3） 函數名自動加前導下劃線，後面緊跟着一個@,其後緊跟着參數的尺寸
上面那個函數翻譯成彙編語言將變成：
push b 先壓入第二個參數
push a 再壓入第一個參數
call function 調用函數
在編譯時，此函數的名字被翻譯爲_function@8
2. cdecl
cdecl調用方式又稱爲C調用方式，是C語言缺省的調用方式，它的語法爲：
int function(int a, int b) // 不加修飾符就是C調用方式
int _cdecl function(int a, int b) // 明確指定用C調用方式
cdecl的調用方式決定了：
（1） 參數從右向左依次壓入堆棧
（2） 由調用者恢復堆棧
（3） 函數名自動加前導下劃線
因爲是由調用者來恢復堆棧，所以C調用方式容許函數的參數個數是不固定的，這是C語言的一大特點。
此方式的函數被翻譯爲：
push b // 先壓入第二個參數
push a // 在壓入第一個參數
call funtion // 調用函數
add esp, 8 // 清理堆棧 。。。。。須要熟悉一下esp寄存器的功能，建議看一下彙編有關的書，基本都有講
在編譯時，此方式的函數被翻譯成：_function
3. fastcall
fastcall 按照名字上理解就能夠知道，它是一種快速調用方式。此方式的函數的第一個和第二個DWORD參數經過ecx和edx傳遞，
後面的參數從右向左的順序壓入棧。
被調用函數清理堆棧。
函數名修個規則同stdcall
其聲明語法爲：
int fastcall function(int a, int b);
4. thiscall
thiscall 調用方式是惟一一種不能顯示指定的修飾符。它是c++類成員函數缺省的調用方式。因爲成員函數調用還有一個this指針，所以必須用這種特殊的調用方式。
thiscall調用方式意味着：
參數從右向左壓入棧。
若是參數個數肯定，this指針經過ecx傳遞給被調用者；若是參數個數不肯定，this指針在全部參數壓入棧後被壓入棧。
參數個數不定的，由調用者清理堆棧，不然由函數本身清理堆棧。
能夠看到，對於參數個數固定的狀況，它相似於stdcall，不定時則相似於cdecl。
5. naked call
是一種比較少見的調用方式，通常高級程序設計語言中不常見。
函數的聲明調用方式和實際調用方式必須一致，必然編譯器會產生混亂。
函數名字修改規則：
1. C編譯時函數名修飾約定規則：
__stdcall調用約定在輸出函數名前加上一個下劃線前綴，後面加上一個「@」符號和其參數的字節數，格式爲_function@8。
__cdecl調用約定僅在輸出函數名前加上一個下劃線前綴，格式爲_function。
__fastcall調用約定在輸出函數名前加上一個「@」符號，後面也是一個「@」符號和其參數的字節數，格式爲@function@8。
它們均不改變輸出函數名中的字符大小寫，這和PASCAL調用約定不一樣，PASCAL約定輸出的函數名無任何修飾且所有大寫。
2. C++編譯時函數名修飾約定規則：
__stdcall調用約定：
（1）以「?」標識函數名的開始，後跟函數名；
（2）函數名後面以「@@YG」標識參數表的開始，後跟參數表；
（3）參數表以代號表示：
X--void ，
D--char，
E--unsigned char，
F--short，
H--int，
I--unsigned int，
J--long，
K--unsigned long，
M--float，
N--double，
_N--bool，
....
PA--表示指針，後面的代號代表指針類型，若是相同類型的指針連續出現，以「0」代替，一個「0」代
表一次重複；
（4）參數表的第一項爲該函數的返回值類型，其後依次爲參數的數據類型,指針標識在其所指數據類型前；
（5）參數表後以「@Z」標識整個名字的結束，若是該函數無參數，則以「Z」標識結束。
其格式爲「?functionname@@YG*****@Z」或「?functionname@@YG*XZ」，例如
int Test1（char *var1,unsigned long）-----「?Test1@@YGHPADK@Z」
void Test2（） -----「?Test2@@YGXXZ」
__cdecl調用約定：
規則同上面的_stdcall調用約定，只是參數表的開始標識由上面的「@@YG」變爲「@@YA」。
__fastcall調用約定：
規則同上面的_stdcall調用約定，只是參數表的開始標識由上面的「@@YG」變爲「@@YI」。
VC++對函數的省缺聲明是"__cedcl",將只能被C/C++調用。