函式呼叫規則總結

whatday發表於2013-08-20
1、_stdcall是Pascal程式的預設呼叫方式,通常用於Win32  Api中,函式採用從右到左的壓棧方式,自己在退出時清空堆疊。VC將函式編譯後會在函式名前面加上下劃線字首,在函式名後加上"@"和引數的位元組數。    
 
2、C呼叫約定(即用__cdecl關鍵字說明)按從右至左的順序壓引數入棧,由呼叫者把引數彈出棧。對於傳送引數的記憶體棧是由呼叫者來維護的(正因為如此,實現可變引數的函式只能使用該呼叫約定)。另外,在函式名修飾約定方面也有所不同。    
 
_cdecl是C和C++程式的預設呼叫方式。每一個呼叫它的函式都包含清空堆疊的程式碼,所以產生的可執行檔案大小會比呼叫_stdcall函式的大。函式採用從右到左的壓棧方式。VC將函式編譯後會在函式名前面加上下劃線字首。是MFC預設呼叫約定。    
 
3、__fastcall呼叫約定是“人”如其名,它的主要特點就是快,因為它是通過暫存器來傳送引數的(實際上,它用ECX和EDX傳送前兩個雙字(DWORD)或更小的引數,剩下的引數仍舊自右向左壓棧傳送,被呼叫的函式在返回前清理傳送引數的記憶體棧),在函式名修飾約定方面,它和前兩者均不同。    
 
_fastcall方式的函式採用暫存器傳遞引數,VC將函式編譯後會在函式名前面加上"@"字首,在函式名後加上"@"和引數的位元組數。    
 
4、thiscall僅僅應用於“C++”成員函式。this指標存放於CX暫存器,引數從右到左壓。thiscall不是關鍵詞,因此不能被程式設計師指定。    
 
5、naked  call採用1-4的呼叫約定時,如果必要的話,進入函式時編譯器會產生程式碼來儲存ESI,EDI,EBX,EBP暫存器,退出函式時則產生程式碼恢復這些暫存器的內容。naked  call不產生這樣的程式碼。naked  call不是型別修飾符,故必須和_declspec共同使用。    
 
關鍵字  __stdcall、__cdecl和__fastcall可以直接加在要輸出的函式前,也可以在編譯環境的Setting.../C/C++  /Code  Generation項選擇。當加在輸出函式前的關鍵字與編譯環境中的選擇不同時,直接加在輸出函式前的關鍵字有效。它們對應的命令列引數分別為/Gz、/Gd和/Gr。預設狀態為/Gd,即__cdecl。    
 
要完全模仿PASCAL呼叫約定首先必須使用__stdcall呼叫約定,至於函式名修飾約定,可以通過其它方法模仿。還有一個值得一提的是WINAPI巨集,Windows.h支援該巨集,它可以將出函式翻譯成適當的呼叫約定,在WIN32中,它被定義為__stdcall。使用WINAPI巨集可以建立自己的APIs。    
 
2)名字修飾約定    
 
1、修飾名(Decoration  name)    
 
“C”或者“C++”函式在內部(編譯和連結)通過修飾名識別。修飾名是編譯器在編譯函式定義或者原型時生成的字串。有些情況下使用函式的修飾名是必要的,如在模組定義檔案裡頭指定輸出“C++”過載函式、建構函式、解構函式,又如在彙編程式碼裡呼叫“C””或“C++”函式等。    
 
修飾名由函式名、類名、呼叫約定、返回型別、引數等共同決定。    
 
2、名字修飾約定隨呼叫約定和編譯種類(C或C++)的不同而變化。函式名修飾約定隨編譯種類和呼叫約定的不同而不同,下面分別說明。    
 
a、C編譯時函式名修飾約定規則:    
 
__stdcall呼叫約定在輸出函式名前加上一個下劃線字首,後面加上一個“@”符號和其引數的位元組數,格式為_functionname@number。    
 
__cdecl呼叫約定僅在輸出函式名前加上一個下劃線字首,格式為_functionname。    
 
__fastcall呼叫約定在輸出函式名前加上一個“@”符號,後面也是一個“@”符號和其引數的位元組數,格式為@functionname@number。    
 
它們均不改變輸出函式名中的字元大小寫,這和PASCAL呼叫約定不同,PASCAL約定輸出的函式名無任何修飾且全部大寫。    
 
b、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++呼叫.    
 
CB在輸出函式宣告時使用4種修飾符號    
//__cdecl    
cb的預設值,它會在輸出函式名前加_,並保留此函式名不變,引數按照從右到左的順序依次傳遞給棧,也可以寫成_cdecl和cdecl形式。    
//__fastcall    
她修飾的函式的引數將盡肯呢感地使用暫存器來處理,其函式名前加@,引數按照從左到右的順序壓棧;    
//__pascal    
它說明的函式名使用Pascal格式的命名約定。這時函式名全部大寫。引數按照從左到右的順序壓棧;    
//__stdcall    
使用標準約定的函式名。函式名不會改變。使用__stdcall修飾時。引數按照由右到左的順序壓棧,也可以是_stdcall;

相關文章