_cdecl、_stdcall、_fastcall和_thiscall整理

_cdecl、_stdcall、_fastcall和_thiscall整理

    1._cdecl是C Declaration的縮寫，表示C語言默認的函數調用方法：全部參數 從右到左依次入棧，這些參數由調用者清除，稱爲手動清棧（由調用者把參數彈出棧）。對於傳送參數的內存棧是由調用者來維護的（正由於如此，實現可變參數的函數只能使用該調用約定）。被調用函數無須要求調用者傳遞多少參數，調用者傳遞過多或者過少的參數，甚至徹底不一樣的參數都不會產生編譯階段的錯誤。

    _cdecl是C和C++程序的缺省調用方法。每個調用它的函數都包含清空堆棧的代碼，因此產生的可執行文件大小會比調用_stdcall函數的大。VC將函數編譯後會在函數名前面加上下劃線前綴。是MFC缺省調用約定。

    2._stdcall是Standard Call的縮寫，是C++的標準調用方式：全部參數從右到左依次入棧，若是是調用類成員的話，最後一個入棧的是this指針。這些堆棧中的參數由被調用的函數在返回後清除，使用的指令是retn x，x表示參數佔用的字節數，cpu在ret以後自動彈出x個字節的堆棧空間。稱爲自動清棧。函數在編譯的時候就必須肯定參數個數，而且調用者必須嚴格的控制參數的生成，不能多，不能少，不然返回後會出錯。

    _stdcall是Pascal程序的缺省調用方式，一般用於Win32Api中。VC將函數編譯後會在函數名前面加上下劃線前綴，在函數名後加上「@」和參數的字節數。

    3._fastcall調用約定是「人」如其名，它的主要特色就是快，由於它是經過寄存器來傳送參數的（實際上，它用ECX和EDX傳送前兩個雙字（DWORD）或更小的參數（或若干個），剩下的參數仍舊自右向左壓棧傳送，被調用的函數在返回前清理傳送參數的內存棧），在函數名修飾約定方面，它和前二者均不一樣。VC將函數編譯後會在函數名前面加上「@」前綴，在函數名後面加上「@」和參數的字節數。

    4._thiscall僅僅應用於C++成員函數。this指針存放於CX寄存器，參數從右到左壓。_thiscall不是關鍵詞，所以布恩那個被程序員指定。_thiscall是爲了解決類成員調用this指針傳遞而規定的。_thiscall要求把this指針放在特定寄存器中，該寄存器由編譯器決定。VC使用ecx，Borland的C++編譯器使用eax。返回方式和_stdcall至關。

    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。

    _fastcall 和 _thiscall涉及的寄存器由編譯器決定，所以不能用做跨編譯器的接口。因此Windows上的COM對象接口都定義爲_stdcall調用方式。
    C中不加說明默認函數爲_cdecl方式（C中也只能用這種方式），C++也同樣，可是默認的調用方式能夠在IDE環境中設置。

   

/*--------------------------------------------------------*/

2)名字修飾約定

一、修飾名(Decoration name)

「C」 或者「C++」函數在內部（編譯和連接）經過修飾名識別。修飾名是編譯器在編譯函數定義或者原型時生成的字符串。有些狀況下使用函數的修飾名是必要的，如 在模塊定義文件裏頭指定輸出「C++」重載函數、構造函數、析構函數，又如在彙編代碼裏調用「C」」或「C++」函數等。

修飾名由函數名、類名、調用約定、返回類型、參數等共同決定。

二、名字修飾約定隨調用約定和編譯種類(C或C++)的不一樣而變化。函數名修飾約定隨編譯種類和調用約定的不一樣而不一樣，下面分別說明。

     a、C編譯時函數名修飾約定規則：

__stdcall調用約定在輸出函數名前加上一個下劃線前綴，後面加上一個「@」符號和其參數的字節數，格式爲_functionname@number。

__cdecl調用約定僅在輸出函數名前加上一個下劃線前綴，格式爲_functionname。
__fastcall調用約定在輸出函數名前加上一個「@」符號，後面也是一個「@」符號和其參數的字節數，格式爲@functionname@number。

     它們均不改變輸出函數名中的字符大小寫，這和PASCAL調用約定不一樣，PASCAL約定輸出的函數名無任何修飾且所有大寫。

     b、C++編譯時函數名修飾約定規則：

__stdcall調用約定：
           一、以「?」標識函數名的開始，後跟函數名；
           二、函數名後面以「@@YG」標識參數表的開始，後跟參數表；
           三、參數表以代號表示：
              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」表明一次重複；
           四、參數表的第一項爲該函數的返回值類型，其後依次爲參數的數據類型,指針標識在其所指數據類型前； 
           五、參數表後以「@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；