WIN32程式設計必知：__stdcall,__cdecl,__fastcall,thiscall,naked call

licup123發表於2009-01-15
Win32程式設計AST
被這些修飾關鍵字修飾的函式，其引數都是從右向左通過堆疊傳遞的(__fastcall的前面部分由ecx,edx傳)，
函式呼叫在返回前要清理堆疊，但由呼叫者還是被呼叫者清理不一定。
1、_stdcall是Pascal程式的預設呼叫方式，通常用於Win32 Api中，函式採用從右到左的壓棧方式，
 自己在退出時清空堆疊。VC將函式編譯後會在函式名前面加上下劃線字首，在函式名後加上"@"和引數的位元組數。 int f(void *p)  --&gt>   _f@4(在外部組合語言裡可以用這個名字引用這個函式)
2、C呼叫約定（即用__cdecl關鍵字說明）（The C default calling convention）按從右至左的順序壓引數入棧，由呼叫者把引數彈出棧。對於傳送引數的記憶體棧是由呼叫者來維護的（正因為如此，實現可變引數vararg的函式(如printf)只能使用該呼叫約定）。另外，在函式名修飾約定方面也有所不同。 _cdecl是C和C＋＋程式的預設呼叫方式。每一個呼叫它的函式都包含清空堆疊的程式碼，所以產生的可執行檔案大小會比呼叫_stdcall函式的大。函式採用從右到左的壓棧方式。VC將函式編譯後會在函式名前面加上下劃線字首。
是MFC預設呼叫約定。
3、__fastcall呼叫的主要特點就是快，因為它是通過暫存器來傳送引數的（實際上，它用ECX和EDX傳送前兩個雙字（DWORD）或更小的引數，剩下的引數仍舊自右向左壓棧傳送，被呼叫的函式在返回前清理傳送引數的記憶體棧），在函式名修飾約定方面，它和前兩者均不同。__fastcall方式的函式採用暫存器傳遞引數，VC將函式編譯後會在函式名前面加上"@"字首，在函式名後加上"@"和引數的位元組數。
4、thiscall僅僅應用於“C++”成員函式。this指標存放於CX/ECX暫存器中，引數從右到左壓。thiscall不是關鍵詞，因此不能被程式設計師指定。
5、naked call。 當採用1-4的呼叫約定時，如果必要的話，進入函式時編譯器會產生程式碼來儲存ESI，EDI，EBX，EBP暫存器，退出函式時則產生程式碼恢復這些暫存器的內容。
(這些程式碼稱作 prolog and epilog code,一般，ebp,esp的儲存是必須的).
但是naked call不產生這樣的程式碼。naked call不是型別修飾符，故必須和_declspec共同使用。
關鍵字 __stdcall、__cdecl和__fastcall可以直接加在要輸出的函式前。它們對應的命令列引數分別為/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呼叫約定在輸出函式名前加上一個下劃線字首，後面加上一個“@”符號和其引數的位元組數，
__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++呼叫.

來自 “ ITPUB部落格 ” ，連結：http://blog.itpub.net/10697500/viewspace-539754/，如需轉載，請註明出處，否則將追究法律責任。

相關文章