zz 函數調用約定( __cdecl + __stdcal + __fastcall )

調用約定 (Calling convention) 決定以下內容: 函數參數的壓棧順序,由調用者還是被調用者把參數彈出棧,以及產生函數修飾名的方法。

   

 

 

採用 __cdecl 約定時調用約定 (Calling convention) 決定以下內容: 函數參數的壓棧順序,由調用者還是被調用者把參數彈出棧,以及產生函數修飾名的方法。

   

 

 

採用 __cdecl 約定時: 函數參數按照從右到左的順序入棧,並且由調用函數者把參數彈出棧以清理堆棧。

   

採用 __stdcal 約定時: 函數參數按照從右到左的順序入棧,被調用的函數在返回前清理傳送參數的棧,函數參數個數固定。由於函數體本身知道傳進來的參數個數,因此被調用的函數可以在返回前用一條 ret n 指令直接清理傳遞參數的堆棧。

   

 

採用 __fastcall 約定時: 將函數的從左邊開始的兩個大小不大於 4 個字節( DWORD )的參數分別放在 ECX  EDX 寄存器,其餘的參數仍舊自右向左壓棧傳送,被調用的函數在返回前清理傳送參數的堆棧。

   

 

 

__cdecl  __stdcal 之間的唯一區別在於 返回時是由被調用者清理棧 , 還是由調用用者清理棧 .

但是 , 這兩種清理棧的方式 , 會對有什麼影響呢 ?

   

 

 

_stdcall  _cdecl 兩者之間的區別:

       WINDOWS 的函數調用時需要用到棧( STACK ,一種先入後出的存儲結構)。當函數調用完成後,棧需要清除,這裏就是問題的關鍵,如何清除?

       如果函數使用 _cdecl ,那麼棧的清除工作是由調用者,用 COM 的術語來講就是客戶來完成的。這樣帶來了一個棘手的問題,不同的編譯器產生棧的方式不盡相同,那麼調用者能否正常的完成清除工作呢?答案是不能。

       如果使用 __stdcall ,上面的問題就解決了,函數自己解決清除工作。所以,在跨(開發)平臺的調用中,我們都使用 __stdcall (雖然有時是以 WINAPI 的樣子出現)。

       那麼爲什麼還需要 _cdecl 呢?當我們遇到這樣的函數如 fprintf() 它的參數是可變的,不定長的,被調用者事先無法知道參數的長度,事後的清除工作也無法正常的進行,因此,這種情況我們只能使用 _cdecl 

       到這裏我們有一個結論,如果你的程序中沒有涉及可變參數,最好使用 __stdcall 關鍵字

 

=====================================================

http://hi.baidu.com/lijinming119/blog/item/ed2fe4f5619d1823bc310915.html

 

從寫線程函數時遇到的__stdcall談起

今天寫線程函數時,發現msdn中對ThreadProc的定義有要求:DWORD WINAPI ThreadProc(LPVOID lpParameter);

不解爲什麼要用WINAPI宏定義,查了後發現下面的定義。於是乎需要區別__stdcall和__cdecl兩者的區別;

#define CALLBACK __stdcall
#define WINAPI __stdcall
#define WINAPIV __cdecl
#define APIENTRY WINAPI
#define APIPRIVATE __stdcall
#define PASCAL __stdcall
#define cdecl _cdecl
#ifndef CDECL
#define CDECL _cdecl
#endif

幾乎我們寫的每一個WINDOWS API函數都是__stdcall類型的,首先,需要了解兩者之間的區別: WINDOWS的函數調用時需要用到棧(STACK,一種先入後出的存儲結構)。當函數調用完成後,棧需要清楚,這裏就是問題的關鍵,如何清除?? 如果我們的函數使用了_cdecl,那麼棧的清除工作是由調用者,用COM的術語來講就是客戶來完成的。這樣帶來了一個棘手的問題,不同的編譯器產生棧的 方式不盡相同,那麼調用者能否正常的完成清除工作呢?答案是不能。 如果使用__stdcall,上面的問題就解決了,函數自己解決清除工作。所以,在跨(開發)平臺的調用中,我們都使用__stdcall(雖然有時是以 WINAPI的樣子出現)。那麼爲什麼還需要_cdecl呢?當我們遇到這樣的函數如fprintf()它的參數是可變的,不定長的,被調用者事先無法知 道參數的長度,事後的清除工作也無法正常的進行,因此,這種情況我們只能使用_cdecl。到這裏我們有一個結論,如果你的程序中沒有涉及可變參數,最好 使用__stdcall關鍵字。

cdecl、pascal、stdcall、fastcall等修飾符號到底什麼意思呢?

cdecl、pascal、stdcall、fastcall等修飾符號到底什麼意思呢?
非常簡單,就是關於堆棧的一些說明,首先是函數參數壓棧順序,其次是
壓入堆棧的內容由誰來清除,調用者還是函數自己?
這些開關用來告訴編譯器產生什麼樣的彙編代碼。

下面把區別列表如下:

Directive Parameter order   Clean-up Passes parameters in registers?
register   Left-to-right    Routine    Yes
pascal    Left-to-right    Routine    No
cdecl    Right-to-left    Caller     No
stdcall    Right-to-left    Routine    No
safecall   Right-to-left    Routine    No

簡單說明:

__cdecl是C/C++和MFC程序默認使用的調用約定,也可以在函數聲明時加上__cdecl關鍵字來手工指 定。採用__cdecl約定時,函數參數按照從右到左的順序入棧,並且由調用函數者把參數彈出棧以清理堆棧。因此,實現可變參數的函數只能使用該調用約 定。由於每一個使用__cdecl約定的函數都要包含清理堆棧的代碼,所以產生的可執行文件大小會比較大。__cdecl可以寫成_cdecl。
         __stdcall調用約定用於調用Win32 API函數。採用__stdcal約定時,函數參數按照從右到左的順序入棧,被調用的函數在返回前清理傳送參數的棧,函數參數個數固定。由於函數體本身知 道傳進來的參數個數,因此被調用的函數可以在返回前用一條ret n指令直接清理傳遞參數的堆棧。__stdcall可以寫成_stdcall。
         __fastcall約定用於對性能要求非常高的場合。__fastcall約定將函數的從左邊開始的兩個大小不大於4個字節(DWORD)的參數分別放 在ECX和EDX寄存器,其餘的參數仍舊自右向左壓棧傳送,被調用的函數在返回前清理傳送參數的堆棧。__fastcall可以寫成_fastcall。


·特別說明
1. 在默認情況下,採用__cdecl方式,因此可以省略.
2. WINAPI一般用於修飾動態鏈接庫中導出函數
3. CALLBACK僅用於修飾回調函數

__cdecl __fastcall與 __stdcall 

調用約定: 
__cdecl __fastcall與 __stdcall,三者都是調用約定(Calling convention),它決定以下內容:1)函數參數的壓棧順序,2)由調用者還是被調用者把參數彈出棧,3)以及產生函數修飾名的方法。 

1、__stdcall調用約定:函數的參數自右向左通過棧傳遞,被調用的函數在返回前清理傳送參數的內存棧, 

2、_cdecl是C和C++程序的缺省調用方式。每一個調用它的函數都包含清空堆棧的代碼,所以產生的可執行文件大小會比調用_stdcall函數的大。函數採用從右到左的壓棧方式。注意:對於可變參數的成員函數,始終使用__cdecl的轉換方式。 

3、__fastcall調用約定:它是通過寄存器來傳送參數的(實際上,它用ECX和EDX傳送前兩個雙字(DWORD)或更小的參數,剩下的參數仍舊自右向左壓棧傳送,被調用的函數在返回前清理傳送參數的內存棧)。 

4、thiscall僅僅應用於"C++"成員函數。this指針存放於CX寄存器,參數從右到左壓。thiscall不是關鍵詞,因此不能被程序員指定。 

5、naked call採用1-4的調用約定時,如果必要的話,進入函數時編譯器會產生代碼來保存ESI,EDI,EBX,EBP寄存器,退出函數時則產生代碼恢復這些 寄存器的內容。naked call不產生這樣的代碼。naked call不是類型修飾符,故必須和_declspec共同使用。 

調用約定可以通過工程設置:Setting.../C/C++ /Code Generation項進行選擇,缺省狀態爲__cdecl。 

名字修飾約定: 

1、修飾名(Decoration name):"C"或者"C++"函數在內部(編譯和鏈接)通過修飾名識別 
2、C編譯時函數名修飾約定規則: 
__stdcall調用約定在輸出函數名前加上一個下劃線前綴,後面加上一個"@"符號和其參數的字節數,格式爲_functionname@number,例如 :function(int a, int b),其修飾名爲:_function@8 
__cdecl調用約定僅在輸出函數名前加上一個下劃線前綴,格式爲_functionname。 
__fastcall調用約定在輸出函數名前加上一個"@"符號,後面也是一個"@"符號和其參數的字節數,格式爲@functionname@number。 

3、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++調用. 


注意: 
1、_beginthread需要__cdecl的線程函數地址,_beginthreadex和CreateThread需要__stdcall的線程函數地址。 

2、一般WIN32的函數都是__stdcall。而且在Windef.h中有如下的定義: 
#define CALLBACK __stdcall 
#define WINAPI  __stdcall 

3、extern "C" _declspec(dllexport) int __cdecl Add(int a, int b); 
typedef int (__cdecl*FunPointer)(int a, int b); 
修飾符的書寫順序如上。 

4、extern "C"的作用:如果Add(int a, int b)是在c語言編譯器編譯,而在c++文件使用,則需要在c++文件中聲明:extern "C" Add(int a, int b),因爲c編譯器和c++編譯器對函數名的解釋不一樣(c++編譯器解釋函數名的時候要考慮函數參數,這樣是了方便函數重載,而在c語言中不存在函數重 載的問題),使用extern "C",實質就是告訴c++編譯器,該函數是c庫裏面的函數。如果不使用extern "C"則會出現鏈接錯誤。 
一般象如下使用: 
#ifdef _cplusplus 
#define EXTERN_C extern "C" 
#else 
#define EXTERN_C extern 
#endif 

#ifdef _cplusplus 
extern "C"{ 
#endif 
EXTERN_C int func(int a, int b); 
#ifdef _cplusplus 

#endif 

5、MFC提供了一些宏,可以使用AFX_EXT_CLASS來代替__declspec(DLLexport),並修飾類名,從而導出類,AFX_API_EXPORT來修飾函數,AFX_DATA_EXPORT來修飾變量 
AFX_CLASS_IMPORT:__declspec(DLLexport) 
AFX_API_IMPORT:__declspec(DLLexport) 
AFX_DATA_IMPORT:__declspec(DLLexport) 
AFX_CLASS_EXPORT:__declspec(DLLexport) 
AFX_API_EXPORT:__declspec(DLLexport) 
AFX_DATA_EXPORT:__declspec(DLLexport) 
AFX_EXT_CLASS:#ifdef _AFXEXT 
AFX_CLASS_EXPORT 
#else 
AFX_CLASS_IMPORT 

6、DLLMain負責初始化(Initialization)和結束(Termination)工作,每當一個新的進程或者該進程的新的線程訪問DLL 時,或者訪問DLL的每一個進程或者線程不再使用DLL或者結束時,都會調用DLLMain。但是,使用TerminateProcess或 TerminateThread結束進程或者線程,不會調用DLLMain。 

7、一個DLL在內存中只有一個實例 
DLL程序和調用其輸出函數的程序的關係: 
1)、DLL與進程、線程之間的關係 
DLL模塊被映射到調用它的進程的虛擬地址空間。 
DLL使用的內存從調用進程的虛擬地址空間分配,只能被該進程的線程所訪問。 
DLL的句柄可以被調用進程使用;調用進程的句柄可以被DLL使用。 
DLLDLL可以有自己的數據段,但沒有自己的堆棧,使用調用進程的棧,與調用它的應用程序相同的堆棧模式。 

2)、關於共享數據段 
DLL定義的全局變量可以被調用進程訪問;DLL可以訪問調用進程的全局數據。使用同一DLL的每一個進程都有自己的DLL全局變量實例。如果多個線程並 發訪問同一變量,則需要使用同步機制;對一個DLL的變量,如果希望每個使用DLL的線程都有自己的值,則應該使用線程局部存儲(TLS,Thread Local Strorage)。

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章