在編寫(xiě)windows程序時(shí),我們經(jīng)常發(fā)現(xiàn)一些函數(shù)的前面帶有WINAPI等的關(guān)鍵字(不知道這樣描述是否準(zhǔn)確,請(qǐng)明白的讀者聯(lián)系本人更正

),如windows的消息響應(yīng)函數(shù)定義如下:
1 LRESULT CALLBACK WndProc (HWND, UINT, WPARAM, LPARAM) ;
這里的LRESULT在windows中被定義為long型,而CALLBACK則被定義成了__stacall,仔細(xì)看了一下,在WINDEF.H中還包含如下定義:
1
#define CALLBACK __stdcall
2
#define WINAPI __stdcall
3
#define WINAPIV __cdecl
4
#define APIENTRY WINAPI
5
#define APIPRIVATE __stdcall
6
#define PASCAL __stdcall
那么,這里的__stacall、__cdecl到底是什么意思呢,又有什么作用呢?我經(jīng)過(guò)查找相關(guān)資料對(duì)其有了些許淺顯的了解,這里與大家一起分享。
我們知道,在C語(yǔ)言中假設(shè)我們有這樣一個(gè)函數(shù)定義:
int function_add(int a, int b);
那么只要用
1
int x = 3, y = 5;
2
int result = function_add(x, y);
這樣的方式就可以對(duì)函數(shù)進(jìn)行調(diào)用了。但是,在計(jì)算機(jī)中,當(dāng)高級(jí)語(yǔ)言程序被編譯成計(jì)算機(jī)可以識(shí)別的機(jī)器碼時(shí),有一個(gè)問(wèn)題就凸現(xiàn)出來(lái):在CPU中,計(jì)算機(jī)沒(méi)有辦法知道一個(gè)函數(shù)調(diào)用需要多少個(gè)參數(shù)、這些參數(shù)是什么樣的,也沒(méi)有硬件可以保存這些參數(shù)。也就是說(shuō),計(jì)算機(jī)并不知道應(yīng)該怎么給這個(gè)函數(shù)傳遞參數(shù),傳遞參數(shù)的工作必須由函數(shù)調(diào)用者和函數(shù)本身來(lái)協(xié)調(diào)。為此,計(jì)算機(jī)提供了一種被稱為棧的數(shù)據(jù)結(jié)構(gòu)來(lái)支持函數(shù)的參數(shù)傳遞。
棧是一種先進(jìn)后出的數(shù)據(jù)結(jié)構(gòu),棧有一個(gè)存儲(chǔ)區(qū)、一個(gè)棧頂指針。棧頂指針指向堆棧中第一個(gè)可用的數(shù)據(jù)項(xiàng)(被稱為棧頂)。用戶可以在棧頂?shù)纳戏较蚨褩V屑尤霐?shù)據(jù),這個(gè)操作被稱為壓棧(Push),壓棧以后,棧頂自動(dòng)變成新加入數(shù)據(jù)項(xiàng)的位置,棧頂指針也隨之修改。用戶也可以從堆棧中取出棧頂元素,這個(gè)操作被稱為彈出棧(pop),彈出棧以后,棧頂?shù)南乱粋€(gè)元素變成棧頂,棧頂指針隨之修改。
函數(shù)調(diào)用時(shí),調(diào)用者依次把參數(shù)壓棧,然后調(diào)用函數(shù),函數(shù)被調(diào)用以后,在堆棧中取出數(shù)據(jù),并進(jìn)行計(jì)算。函數(shù)計(jì)算結(jié)束以后,或者調(diào)用者、或者函數(shù)本身修改堆棧,使堆?;謴?fù)原狀。問(wèn)題的關(guān)鍵就在這里,到底應(yīng)該如何清除棧呢?
函數(shù)調(diào)用需要進(jìn)行參數(shù)傳遞,在參數(shù)傳遞過(guò)程中有兩個(gè)很重要的問(wèn)題必須得到明確說(shuō)明:
1. 當(dāng)參數(shù)個(gè)數(shù)多于一個(gè)時(shí),按照什么樣的順序把參數(shù)壓入棧中
2. 函數(shù)調(diào)用后,由誰(shuí)來(lái)負(fù)責(zé)把堆?;謴?fù)原狀
在高級(jí)語(yǔ)言中,函數(shù)調(diào)用約定就是用來(lái)說(shuō)明這兩個(gè)問(wèn)題的。常見(jiàn)的函數(shù)調(diào)用約定有:
stdcall
cdecl
fastcall
thiscall
naked call
下面一一進(jìn)行介紹。
一、stdcall調(diào)用約定
stdcall,也可寫(xiě)作__stdcall,很多時(shí)候被稱為pascal調(diào)用約定,因?yàn)閜ascal是早期很常見(jiàn)的一種教學(xué)用計(jì)算機(jī)程序設(shè)計(jì)語(yǔ)言,其語(yǔ)法嚴(yán)謹(jǐn),使用的函數(shù)調(diào)用約定就是stdcall。幾乎我們寫(xiě)的每一個(gè)WINDOWS API函數(shù)都是__stdcall類型的。在Microsoft C++系列的C/C++編譯器中,常常用PASCAL宏來(lái)聲明這個(gè)調(diào)用約定,類似的宏還有WINAPI和CALLBACK(如文章開(kāi)頭引用的在WINDEF.H頭文件中的定義)。
stdcall調(diào)用約定聲明的語(yǔ)法為(以前面的function_add函數(shù)為例):
int __stdcall function_add(int a,int b);
stdcall調(diào)用約定意味著:
(1) 參數(shù)從右向左壓入堆棧
(2) 函數(shù)自身修改堆棧
(3) 函數(shù)名自動(dòng)加前導(dǎo)的下劃線,后面緊跟一個(gè)@符號(hào),其后緊跟著參數(shù)的大小
以上述這個(gè)函數(shù)為例,參數(shù)b首先被壓棧,然后是參數(shù)a,函數(shù)調(diào)用function_add(1, 2)調(diào)用處翻譯成匯編語(yǔ)言將變成:
push 2 // 第二個(gè)參數(shù)入棧
push 1 // 第一個(gè)參數(shù)入棧
call function_add // 調(diào)用參數(shù),注意此時(shí)自動(dòng)把cs:eip入棧
而對(duì)于函數(shù)自身,則可翻譯為:
push ebp // 保存ebp寄存器,該寄存器將用來(lái)保存堆棧的棧頂指針,可以在函數(shù)退出時(shí)恢復(fù)
mov ebp, esp // 保存堆棧指針
mov eax,[ebp + 8H] // 堆棧中ebp指向位置之前依次保存有ebp, cs:eip, a, b, ebp +8指向a
add eax,[ebp + 0CH] // 堆棧中ebp + 12處保存了b
mov esp, ebp // 恢復(fù)esp
pop ebp
ret 8
而在編譯時(shí),這個(gè)函數(shù)的名字被翻譯成
_function@8
注意不同編譯器會(huì)插入自己的匯編代碼以提供編譯的通用性,但是大體代碼如此。其中在函數(shù)開(kāi)始處保留esp到ebp中,在函數(shù)結(jié)束恢復(fù)是編譯器常用的方法。
從函數(shù)調(diào)用看,2和1依次被push進(jìn)堆棧,而在函數(shù)中又通過(guò)相對(duì)于ebp(即剛進(jìn)函數(shù)時(shí)的堆棧指針)的偏移量存取參數(shù)。函數(shù)結(jié)束后,ret 8表示清理8個(gè)字節(jié)的堆棧,函數(shù)自己恢復(fù)了堆棧。
由于不同的編譯器產(chǎn)生棧的方式不盡相同,調(diào)用者就不一定能夠正常的完成堆棧的清除工作,但函數(shù)本身自己可以解決清除工作,所以,在跨平臺(tái)的程序開(kāi)發(fā)中的函數(shù)調(diào)用,我們通常都使用__stdcall約定,windows下的絕大多數(shù)函數(shù)也都是stdcall調(diào)用。既然如此,為什么還需要__cdecl呢?別著急,接著往下看。
二、cdecl調(diào)用約定
cdecl,也可寫(xiě)作__cdecl,又稱為C調(diào)用約定,是C/C++語(yǔ)言和MFC程序默認(rèn)缺省的調(diào)用約定,它的定義語(yǔ)法是:
int function (int a ,int b) //不加修飾就是C調(diào)用約定
int __cdecl function(int a,int b) //明確指出C調(diào)用約定
采用__cdecl約定時(shí),函數(shù)參數(shù)按照從右到左的順序入棧,并且由調(diào)用函數(shù)者把參數(shù)彈出棧以清理堆棧。因此,實(shí)現(xiàn)可變參數(shù)的函數(shù)只能使用該調(diào)用約定。由于這種變化,C調(diào)用約定允許函數(shù)的參數(shù)的個(gè)數(shù)是不固定的,這也是C語(yǔ)言的一大特色。同時(shí),由于每一個(gè)使用__cdecl約定的函數(shù)都要包含清理堆棧的代碼,所以產(chǎn)生的可執(zhí)行文件大小會(huì)比較大。__cdecl可以寫(xiě)成_cdecl。
對(duì)于前面的function函數(shù),使用cdecl后的匯編碼變成:
調(diào)用處
push 1
push 2
call function
add esp, 8 // 注意:這里調(diào)用者在恢復(fù)堆棧
被調(diào)用函數(shù)_function處
push ebp // 保存ebp寄存器,該寄存器將用來(lái)保存堆棧的棧頂指針,可以在函數(shù)退出時(shí)恢復(fù)
mov ebp,esp // 保存堆棧指針
mov eax,[ebp + 8H] // 堆棧中ebp指向位置之前依次保存有ebp,cs:eip,a,b,ebp +8指向a
add eax,[ebp + 0CH] // 堆棧中ebp + 12處保存了b
mov esp,ebp // 恢復(fù)esp
pop ebp
ret // 注意,這里沒(méi)有修改堆棧
不寫(xiě)了,累得慌,呵呵 轉(zhuǎn)載兩篇文章吧
__stdcall,__cdecl,_cdecl,_stdcall,。__fastcall,_fastcall 區(qū)別簡(jiǎn)介
1.
今天寫(xiě)線程函數(shù)時(shí),發(fā)現(xiàn)msdn中對(duì)ThreadProc的定義有要求:DWORD WINAPI ThreadProc(LPVOID lpParameter);
不解為什么要用WINAPI宏定義,查了后發(fā)現(xiàn)下面的定義。于是乎需要區(qū)別__stdcall和__cdecl兩者的區(qū)別; #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
幾乎我們寫(xiě)的每一個(gè)WINDOWS API函數(shù)都是__stdcall類型的,首先,需要了解兩者之間的區(qū)別: WINDOWS的函數(shù)調(diào)用時(shí)需要用到棧(STACK,一種先入后出的存儲(chǔ)結(jié)構(gòu))。當(dāng)函數(shù)調(diào)用完成后,棧需要清楚,這里就是問(wèn)題的關(guān)鍵,如何清除?? 如果我們的函數(shù)使用了_cdecl,那么棧的清除工作是由調(diào)用者,用COM的術(shù)語(yǔ)來(lái)講就是客戶來(lái)完成的。這樣帶來(lái)了一個(gè)棘手的問(wèn)題,不同的編譯器產(chǎn)生棧的方式不盡相同,那么調(diào)用者能否正常的完成清除工作呢?答案是不能。 如果使用__stdcall,上面的問(wèn)題就解決了,函數(shù)自己解決清除工作。所以,在跨(開(kāi)發(fā))平臺(tái)的調(diào)用中,我們都使用__stdcall(雖然有時(shí)是以WINAPI的樣子出現(xiàn))。那么為什么還需要_cdecl呢?當(dāng)我們遇到這樣的函數(shù)如fprintf()它的參數(shù)是可變的,不定長(zhǎng)的,被調(diào)用者事先無(wú)法知道參數(shù)的長(zhǎng)度,事后的清除工作也無(wú)法正常的進(jìn)行,因此,這種情況我們只能使用_cdecl。到這里我們有一個(gè)結(jié)論,如果你的程序中沒(méi)有涉及可變參數(shù),最好使用__stdcall關(guān)鍵字。
2.
__cdecl,__stdcall是聲明的函數(shù)調(diào)用協(xié)議.主要是傳參和彈棧方面的不同.一般c++用的是__cdecl,windows里大都用的是__stdcall(API)
__cdecl是C/C++和MFC程序默認(rèn)使用的調(diào)用約定,也可以在函數(shù)聲明時(shí)加上__cdecl關(guān)鍵字來(lái)手工指定。采用__cdecl約定時(shí),函數(shù)參數(shù)按照從右到左的順序入棧,并且由調(diào)用函數(shù)者把參數(shù)彈出棧以清理堆棧。因此,實(shí)現(xiàn)可變參數(shù)的函數(shù)只能使用該調(diào)用約定。由于每一個(gè)使用__cdecl約定的函數(shù)都要包含清理堆棧的代碼,所以產(chǎn)生的可執(zhí)行文件大小會(huì)比較大。__cdecl可以寫(xiě)成_cdecl。
__stdcall調(diào)用約定用于調(diào)用Win32 API函數(shù)。采用__stdcall約定時(shí),函數(shù)參數(shù)按照從右到左的順序入棧,被調(diào)用的函數(shù)在返回前清理傳送參數(shù)的棧,函數(shù)參數(shù)個(gè)數(shù)固定。由于函數(shù)體本身知道傳進(jìn)來(lái)的參數(shù)個(gè)數(shù),因此被調(diào)用的函數(shù)可以在返回前用一條ret n指令直接清理傳遞參數(shù)的堆棧。__stdcall可以寫(xiě)成_stdcall。
__fastcall約定用于對(duì)性能要求非常高的場(chǎng)合。__fastcall約定將函數(shù)的從左邊開(kāi)始的兩個(gè)大小不大于4個(gè)字節(jié)(DWORD)的參數(shù)分別放在ECX和EDX寄存器,其余的參數(shù)仍舊自右向左壓棧傳送,被調(diào)用的函數(shù)在返回前清理傳送參數(shù)的堆棧。__fastcall可以寫(xiě)成_fastcall
3.
__stdcall:
_stdcall 調(diào)用約定相當(dāng)于16位動(dòng)態(tài)庫(kù)中經(jīng)常使用的PASCAL調(diào)用約定。
在32位的VC++5.0中PASCAL調(diào)用約定不再被支持(實(shí)際上它已被定義為_(kāi)_stdcall。除了__pascal外,__fortran和__syscall也不被支持),取而代之的是__stdcall調(diào)用約定。兩者實(shí)質(zhì)上是一致的,即函數(shù)的參數(shù)自右向左通過(guò)棧傳遞,被調(diào)用的函數(shù)在返回前清理傳送參數(shù)的內(nèi)存棧,但不同的是函數(shù)名的修飾部分(關(guān)于函數(shù)名的修飾部分在后面將詳細(xì)說(shuō)明)。
_stdcall是Pascal程序的缺省調(diào)用方式,通常用于Win32 Api中,函數(shù)采用從右到左的壓棧方式,自己在退出時(shí)清空堆棧。VC將函數(shù)編譯后會(huì)在函數(shù)名前面加上下劃線前綴,在函數(shù)名后加上"@"和參數(shù)的字節(jié)數(shù)。
_cdecl:
_cdecl c調(diào)用約定, 按從右至左的順序壓參數(shù)入棧,由調(diào)用者把參數(shù)彈出棧。對(duì)于傳送參數(shù)的內(nèi)存棧是由調(diào)用者來(lái)維護(hù)的(正因?yàn)槿绱?,?shí)現(xiàn)可變參數(shù)的函數(shù)只能使用該調(diào)用約定)。另外,在函數(shù)名修飾約定方面也有所不同。
_cdecl是C和C++程序的缺省調(diào)用方式。每一個(gè)調(diào)用它的函數(shù)都包含清空堆棧的代碼,所以產(chǎn)生的可執(zhí)行文件大小會(huì)比調(diào)用_stdcall函數(shù)的大。函數(shù)采用從右到左的壓棧方式。VC將函數(shù)編譯后會(huì)在函數(shù)名前面加上下劃線前綴。是MFC缺省調(diào)用約定。
__fastcall:
__fastcall調(diào)用約定是"人"如其名,它的主要特點(diǎn)就是快,因?yàn)樗峭ㄟ^(guò)寄存器來(lái)傳送參數(shù)的(實(shí)際上,它用ECX和EDX傳送前兩個(gè)雙字(DWORD)或更小的參數(shù),剩下的參數(shù)仍舊自右向左壓棧傳送,被調(diào)用的函數(shù)在返回前清理傳送參數(shù)的內(nèi)存棧),在函數(shù)名修飾約定方面,它和前兩者均不同。
_fastcall方式的函數(shù)采用寄存器傳遞參數(shù),VC將函數(shù)編譯后會(huì)在函數(shù)名前面加上"@"前綴,在函數(shù)名后加上"@"和參數(shù)的字節(jié)數(shù)。
thiscall:
thiscall僅僅應(yīng)用于"C++"成員函數(shù)。this指針存放于CX寄存器,參數(shù)從右到左壓。thiscall不是關(guān)鍵詞,因此不能被程序員指定。
naked call:
采用1-4的調(diào)用約定時(shí),如果必要的話,進(jìn)入函數(shù)時(shí)編譯器會(huì)產(chǎn)生代碼來(lái)保存ESI,EDI,EBX,EBP寄存器,退出函數(shù)時(shí)則產(chǎn)生代碼恢復(fù)這些寄存器的內(nèi)容。
naked call不產(chǎn)生這樣的代碼。naked call不是類型修飾符,故必須和_declspec共同使用。
另附:
關(guān)鍵字 __stdcall、__cdecl和__fastcall可以直接加在要輸出的函數(shù)前,也可以在編譯環(huán)境的Setting...\C/C++ \Code Generation項(xiàng)選擇。當(dāng)加在輸出函數(shù)前的關(guān)鍵字與編譯環(huán)境中的選擇不同時(shí),直接加在輸出函數(shù)前的關(guān)鍵字有效。它們對(duì)應(yīng)的命令行參數(shù)分別為/Gz、/Gd和/Gr。缺省狀態(tài)為/Gd,即__cdecl。
要完全模仿PASCAL調(diào)用約定首先必須使用__stdcall調(diào)用約定,至于函數(shù)名修飾約定,可以通過(guò)其它方法模仿。還有一個(gè)值得一提的是WINAPI宏,Windows.h支持該宏,它可以將出函數(shù)翻譯成適當(dāng)?shù)恼{(diào)用約定,在WIN32中,它被定義為_(kāi)_stdcall。使用WINAPI宏可以創(chuàng)建自己的APIs。
名字修飾約定
1、修飾名(Decoration name)
“C”或者“C++”函數(shù)在內(nèi)部(編譯和鏈接)通過(guò)修飾名識(shí)別。修飾名是編譯器在編譯函數(shù)定義或者原型時(shí)生成的字符串。有些情況下使用函數(shù)的修飾名是必要的,如在模塊定義文件里頭指定輸出“C++”重載函數(shù)、構(gòu)造函數(shù)、析構(gòu)函數(shù),又如在匯編代碼里調(diào)用“C””或“C++”函數(shù)等。
修飾名由函數(shù)名、類名、調(diào)用約定、返回類型、參數(shù)等共同決定。
2、名字修飾約定隨調(diào)用約定和編譯種類(C或C++)的不同而變化。函數(shù)名修飾約定隨編譯種類和調(diào)用約定的不同而不同,下面分別說(shuō)明。
a、C編譯時(shí)函數(shù)名修飾約定規(guī)則:
__stdcall調(diào)用約定在輸出函數(shù)名前加上一個(gè)下劃線前綴,后面加上一個(gè)“@”符號(hào)和其參數(shù)的字節(jié)數(shù),格式為_(kāi)functionname@number。
__cdecl調(diào)用約定僅在輸出函數(shù)名前加上一個(gè)下劃線前綴,格式為_(kāi)functionname。
__fastcall調(diào)用約定在輸出函數(shù)名前加上一個(gè)“@”符號(hào),后面也是一個(gè)“@”符號(hào)和其參數(shù)的字節(jié)數(shù),格式為@functionname@number。
它們均不改變輸出函數(shù)名中的字符大小寫(xiě),這和PASCAL調(diào)用約定不同,PASCAL約定輸出的函數(shù)名無(wú)任何修飾且全部大寫(xiě)。
b、C++編譯時(shí)函數(shù)名修飾約定規(guī)則:
__stdcall調(diào)用約定:
1、以“?”標(biāo)識(shí)函數(shù)名的開(kāi)始,后跟函數(shù)名;
2、函數(shù)名后面以“@@YG”標(biāo)識(shí)參數(shù)表的開(kāi)始,后跟參數(shù)表;
3、參數(shù)表以代號(hào)表示:
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--表示指針,后面的代號(hào)表明指針類型,如果相同類型的指針連續(xù)出現(xiàn),以“0”代替,一個(gè)“0”代表一次重復(fù);
4、參數(shù)表的第一項(xiàng)為該函數(shù)的返回值類型,其后依次為參數(shù)的數(shù)據(jù)類型,指針標(biāo)識(shí)在其所指數(shù)據(jù)類型前;
5、參數(shù)表后以“@Z”標(biāo)識(shí)整個(gè)名字的結(jié)束,如果該函數(shù)無(wú)參數(shù),則以“Z”標(biāo)識(shí)結(jié)束。
其格式為“?functionname@@YG*****@Z”或“?functionname@@YG*XZ”,例如
int Test1(char *var1,unsigned long)-----“?Test1@@YGHPADK@Z”
void Test2() -----“?Test2@@YGXXZ”
__cdecl調(diào)用約定:
規(guī)則同上面的_stdcall調(diào)用約定,只是參數(shù)表的開(kāi)始標(biāo)識(shí)由上面的“@@YG”變?yōu)?#8220;@@YA”。
__fastcall調(diào)用約定:
規(guī)則同上面的_stdcall調(diào)用約定,只是參數(shù)表的開(kāi)始標(biāo)識(shí)由上面的“@@YG”變?yōu)?#8220;@@YI”。
VC++對(duì)函數(shù)的省缺聲明是“__cedcl“,將只能被C/C++調(diào)用.
CB在輸出函數(shù)聲明時(shí)使用4種修飾符號(hào)
//__cdecl
cb的默認(rèn)值,它會(huì)在輸出函數(shù)名前加_,并保留此函數(shù)名不變,參數(shù)按照從右到左的順序依次傳遞給棧,也可以寫(xiě)成_cdecl和cdecl形式。
//__fastcall
她修飾的函數(shù)的參數(shù)將盡肯呢感地使用寄存器來(lái)處理,其函數(shù)名前加@,參數(shù)按照從左到右的順序壓棧;
//__pascal
它說(shuō)明的函數(shù)名使用Pascal格式的命名約定。這時(shí)函數(shù)名全部大寫(xiě)。參數(shù)按照從左到右的順序壓棧;
//__stdcall
使用標(biāo)準(zhǔn)約定的函數(shù)名。函數(shù)名不會(huì)改變。使用__stdcall修飾時(shí)。參數(shù)按照由右到左的順序壓棧,也可以是_stdcall;
VC++對(duì)函數(shù)的省缺聲明是"__cedcl",將只能被C/C++調(diào)用.
注意:
1、_beginthread需要__cdecl的線程函數(shù)地址,_beginthreadex和CreateThread需要__stdcall的線程函數(shù)地址。
2、一般WIN32的函數(shù)都是__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);
修飾符的書(shū)寫(xiě)順序如上。
4、extern "C"的作用:如果Add(int a, int b)是在c語(yǔ)言編譯器編譯,而在c++文件使用,則需要在c++文件中聲明:extern "C" Add(int a, int b),因?yàn)閏編譯器和c++編譯器對(duì)函數(shù)名的解釋不一樣(c++編譯器解釋函數(shù)名的時(shí)候要考慮函數(shù)參數(shù),這樣是了方便函數(shù)重載,而在c語(yǔ)言中不存在函數(shù)重載的問(wèn)題),使用extern "C",實(shí)質(zhì)就是告訴c++編譯器,該函數(shù)是c庫(kù)里面的函數(shù)。如果不使用extern "C"則會(huì)出現(xiàn)鏈接錯(cuò)誤。
一般象如下使用:
#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來(lái)代替__declspec(DLLexport),并修飾類名,從而導(dǎo)出類,AFX_API_EXPORT來(lái)修飾函數(shù),AFX_DATA_EXPORT來(lái)修飾變量
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負(fù)責(zé)初始化(Initialization)和結(jié)束(Termination)工作,每當(dāng)一個(gè)新的進(jìn)程或者該進(jìn)程的新的線程訪問(wèn)DLL時(shí),或者訪問(wèn)DLL的每一個(gè)進(jìn)程或者線程不再使用DLL或者結(jié)束時(shí),都會(huì)調(diào)用DLLMain。但是,使用TerminateProcess或TerminateThread結(jié)束進(jìn)程或者線程,不會(huì)調(diào)用DLLMain。
7、一個(gè)DLL在內(nèi)存中只有一個(gè)實(shí)例
DLL程序和調(diào)用其輸出函數(shù)的程序的關(guān)系:
1)、DLL與進(jìn)程、線程之間的關(guān)系
DLL模塊被映射到調(diào)用它的進(jìn)程的虛擬地址空間。
DLL使用的內(nèi)存從調(diào)用進(jìn)程的虛擬地址空間分配,只能被該進(jìn)程的線程所訪問(wèn)。
DLL的句柄可以被調(diào)用進(jìn)程使用;調(diào)用進(jìn)程的句柄可以被DLL使用。
DLLDLL可以有自己的數(shù)據(jù)段,但沒(méi)有自己的堆棧,使用調(diào)用進(jìn)程的棧,與調(diào)用它的應(yīng)用程序相同的堆棧模式。
2)、關(guān)于共享數(shù)據(jù)段
DLL定義的全局變量可以被調(diào)用進(jìn)程訪問(wèn);DLL可以訪問(wèn)調(diào)用進(jìn)程的全局?jǐn)?shù)據(jù)。使用同一DLL的每一個(gè)進(jìn)程都有自己的DLL全局變量實(shí)例。如果多個(gè)線程并發(fā)訪問(wèn)同一變量,則需要使用同步機(jī)制;對(duì)一個(gè)DLL的變量,如果希望每個(gè)使用DLL的線程都有自己的值,則應(yīng)該使用線程局部存儲(chǔ)(TLS,Thread Local Strorage)。
論函數(shù)調(diào)用約定
在C語(yǔ)言中,假設(shè)我們有這樣的一個(gè)函數(shù):
int function(int a,int b)
調(diào)用時(shí)只要用result = function(1,2)這樣的方式就可以使用這個(gè)函數(shù)。但是,當(dāng)高級(jí)語(yǔ)言被編譯成計(jì)算機(jī)可以識(shí)別的機(jī)器碼時(shí),有一個(gè)問(wèn)題就凸現(xiàn)出來(lái):在CPU中,計(jì)算機(jī)沒(méi)有辦法知道一個(gè)函數(shù)調(diào)用需要多少個(gè)、什么樣的參數(shù),也沒(méi)有硬件可以保存這些參數(shù)。也就是說(shuō),計(jì)算機(jī)不知道怎么給這個(gè)函數(shù)傳遞參數(shù),傳遞參數(shù)的工作必須由函數(shù)調(diào)用者和函數(shù)本身來(lái)協(xié)調(diào)。為此,計(jì)算機(jī)提供了一種被稱為棧的數(shù)據(jù)結(jié)構(gòu)來(lái)支持參數(shù)傳遞。
棧是一種先進(jìn)后出的數(shù)據(jù)結(jié)構(gòu),棧有一個(gè)存儲(chǔ)區(qū)、一個(gè)棧頂指針。棧頂指針指向堆棧中第一個(gè)可用的數(shù)據(jù)項(xiàng)(被稱為棧頂)。用戶可以在棧頂上方向棧中加入數(shù)據(jù),這個(gè)操作被稱為壓棧(Push),壓棧以后,棧頂自動(dòng)變成新加入數(shù)據(jù)項(xiàng)的位置,棧頂指針也隨之修改。用戶也可以從堆棧中取走棧頂,稱為彈出棧(pop),彈出棧后,棧頂下的一個(gè)元素變成棧頂,棧頂指針隨之修改。
函數(shù)調(diào)用時(shí),調(diào)用者依次把參數(shù)壓棧,然后調(diào)用函數(shù),函數(shù)被調(diào)用以后,在堆棧中取得數(shù)據(jù),并進(jìn)行計(jì)算。函數(shù)計(jì)算結(jié)束以后,或者調(diào)用者、或者函數(shù)本身修改堆棧,使堆?;謴?fù)原裝。
在參數(shù)傳遞中,有兩個(gè)很重要的問(wèn)題必須得到明確說(shuō)明:
當(dāng)參數(shù)個(gè)數(shù)多于一個(gè)時(shí),按照什么順序把參數(shù)壓入堆棧
函數(shù)調(diào)用后,由誰(shuí)來(lái)把堆?;謴?fù)原裝
在高級(jí)語(yǔ)言中,通過(guò)函數(shù)調(diào)用約定來(lái)說(shuō)明這兩個(gè)問(wèn)題。常見(jiàn)的調(diào)用約定有:
stdcall
cdecl
fastcall
thiscall
naked call
stdcall調(diào)用約定
stdcall很多時(shí)候被稱為pascal調(diào)用約定,因?yàn)閜ascal是早期很常見(jiàn)的一種教學(xué)用計(jì)算機(jī)程序設(shè)計(jì)語(yǔ)言,其語(yǔ)法嚴(yán)謹(jǐn),使用的函數(shù)調(diào)用約定就是stdcall。在Microsoft C++系列的C/C++編譯器中,常常用PASCAL宏來(lái)聲明這個(gè)調(diào)用約定,類似的宏還有WINAPI和CALLBACK。
stdcall調(diào)用約定聲明的語(yǔ)法為(以前文的那個(gè)函數(shù)為例):
int __stdcall function(int a,int b)
stdcall的調(diào)用約定意味著:1)參數(shù)從右向左壓入堆棧,2)函數(shù)自身修改堆棧 3)函數(shù)名自動(dòng)加前導(dǎo)的下劃線,后面緊跟一個(gè)@符號(hào),其后緊跟著參數(shù)的尺寸
以上述這個(gè)函數(shù)為例,參數(shù)b首先被壓棧,然后是參數(shù)a,函數(shù)調(diào)用function(1,2)調(diào)用處翻譯成匯編語(yǔ)言將變成:
push 2 第二個(gè)參數(shù)入棧
push 1 第一個(gè)參數(shù)入棧
call function 調(diào)用參數(shù),注意此時(shí)自動(dòng)把cs:eip入棧
而對(duì)于函數(shù)自身,則可以翻譯為:
push ebp 保存ebp寄存器,該寄存器將用來(lái)保存堆棧的棧頂指針,可以在函數(shù)退出時(shí)恢復(fù)
mov ebp, esp 保存堆棧指針
mov eax,[ebp + 8H] 堆棧中ebp指向位置之前依次保存有ebp, cs:eip, a, b, ebp +8指向a
add eax,[ebp + 0CH] 堆棧中ebp + 12處保存了b
mov esp, ebp 恢復(fù)esp
pop ebp
ret 8
而在編譯時(shí),這個(gè)函數(shù)的名字被翻譯成_function@8
注意不同編譯器會(huì)插入自己的匯編代碼以提供編譯的通用性,但是大體代碼如此。其中在函數(shù)開(kāi)始處保留esp到ebp中,在函數(shù)結(jié)束恢復(fù)是編譯器常用的方法。
從函數(shù)調(diào)用看,2和1依次被push進(jìn)堆棧,而在函數(shù)中又通過(guò)相對(duì)于ebp(即剛進(jìn)函數(shù)時(shí)的堆棧指針)的偏移量存取參數(shù)。函數(shù)結(jié)束后,ret 8表示清理8個(gè)字節(jié)的堆棧,函數(shù)自己恢復(fù)了堆棧。
cdecl調(diào)用約定
cdecl調(diào)用約定又稱為C調(diào)用約定,是C語(yǔ)言缺省的調(diào)用約定,它的定義語(yǔ)法是:
int function (int a ,int b) //不加修飾就是C調(diào)用約定
int __cdecl function(int a,int b)//明確指出C調(diào)用約定
在寫(xiě)本文時(shí),出乎我的意料,發(fā)現(xiàn)cdecl調(diào)用約定的參數(shù)壓棧順序是和stdcall是一樣的,參數(shù)首先由右向左壓入堆棧。所不同的是,函數(shù)本身不清理堆棧,調(diào)用者負(fù)責(zé)清理堆棧。由于這種變化,C調(diào)用約定允許函數(shù)的參數(shù)的個(gè)數(shù)是不固定的,這也是C語(yǔ)言的一大特色。對(duì)于前面的function函數(shù),使用cdecl后的匯編碼變成:
調(diào)用處
push 1
push 2
call function
add esp, 8 注意:這里調(diào)用者在恢復(fù)堆棧
被調(diào)用函數(shù)_function處
push ebp 保存ebp寄存器,該寄存器將用來(lái)保存堆棧的棧頂指針,可以在函數(shù)退出時(shí)恢復(fù)
mov ebp,esp 保存堆棧指針
mov eax,[ebp + 8H] 堆棧中ebp指向位置之前依次保存有ebp,cs:eip,a,b,ebp +8指向a
add eax,[ebp + 0CH] 堆棧中ebp + 12處保存了b
mov esp,ebp 恢復(fù)esp
pop ebp
ret 注意,這里沒(méi)有修改堆棧
MSDN中說(shuō),該修飾自動(dòng)在函數(shù)名前加前導(dǎo)的下劃線,因此函數(shù)名在符號(hào)表中被記錄為_(kāi)function,但是我在編譯時(shí)似乎沒(méi)有看到這種變化。
由于參數(shù)按照從右向左順序壓棧,因此最開(kāi)始的參數(shù)在最接近棧頂?shù)奈恢茫虼水?dāng)采用不定個(gè)數(shù)參數(shù)時(shí),第一個(gè)參數(shù)在棧中的位置肯定能知道,只要不定的參數(shù)個(gè)數(shù)能夠根據(jù)第一個(gè)后者后續(xù)的明確的參數(shù)確定下來(lái),就可以使用不定參數(shù),例如對(duì)于CRT中的sprintf函數(shù),定義為:
int sprintf(char* buffer,const char* format,...)
由于所有的不定參數(shù)都可以通過(guò)format確定,因此使用不定個(gè)數(shù)的參數(shù)是沒(méi)有問(wèn)題的。
fastcall
fastcall調(diào)用約定和stdcall類似,它意味著:
函數(shù)的第一個(gè)和第二個(gè)DWORD參數(shù)(或者尺寸更小的)通過(guò)ecx和edx傳遞,其他參數(shù)通過(guò)從右向左的順序壓棧
被調(diào)用函數(shù)清理堆棧
函數(shù)名修改規(guī)則同stdcall
其聲明語(yǔ)法為:int fastcall function(int a, int b)
thiscall
thiscall是唯一一個(gè)不能明確指明的函數(shù)修飾,因?yàn)閠hiscall不是關(guān)鍵字。它是C++類成員函數(shù)缺省的調(diào)用約定。由于成員函數(shù)調(diào)用還有一個(gè)this指針,因此必須特殊處理,thiscall意味著:
參數(shù)從右向左入棧
如果參數(shù)個(gè)數(shù)確定,this指針通過(guò)ecx傳遞給被調(diào)用者;如果參數(shù)個(gè)數(shù)不確定,this指針在所有參數(shù)壓棧后被壓入堆棧。對(duì)參數(shù)個(gè)數(shù)不定的,調(diào)用者清理堆棧,否則函數(shù)自己清理堆棧為了說(shuō)明這個(gè)調(diào)用約定,定義如下類和使用代碼:
class A
{
public:
int function1(int a,int b);
int function2(int a,...);
};
int A::function1 (int a,int b)
{
return a+b;
}
#include <stdarg.h>
int A::function2(int a,...)
{
va_list ap;
va_start(ap,a);
int i;
int result = 0;
for(i = 0 ; i < a ; i ++)
{
result += va_arg(ap,int);
}
return result;
}
void callee()
{
A a;
a.function1(1, 2);
a.function2(3, 1, 2, 3);
}
callee函數(shù)被翻譯成匯編后就變成:
//函數(shù)function1調(diào)用
00401C1D push 2
00401C1F push 1
00401C21 lea ecx,[ebp-8]
00401C24 call function1 注意,這里this沒(méi)有被入棧
//函數(shù)function2調(diào)用
00401C29 push 3
00401C2B push 2
00401C2D push 1
00401C2F push 3
00401C31 lea eax, [ebp-8] 這里引入this指針
00401C34 push eax
00401C35 call function2
00401C3A add esp, 14h
可見(jiàn),對(duì)于參數(shù)個(gè)數(shù)固定情況下,它類似于stdcall,不定時(shí)則類似cdecl
naked call
這是一個(gè)很少見(jiàn)的調(diào)用約定,一般程序設(shè)計(jì)者建議不要使用。編譯器不會(huì)給這種函數(shù)增加初始化和清理代碼,更特殊的是,你不能用return返回返回值,只能用插入?yún)R編返回結(jié)果。這一般用于實(shí)模式驅(qū)動(dòng)程序設(shè)計(jì),假設(shè)定義一個(gè)求和的加法程序,可以定義為:
__declspec(naked) int add(int a,int b)
{
__asm mov eax,a
__asm add eax,b
__asm ret
}
注意,這個(gè)函數(shù)沒(méi)有顯式的return返回值,返回通過(guò)修改eax寄存器實(shí)現(xiàn),而且連退出函數(shù)的ret指令都必須顯式插入。上面代碼被翻譯成匯編以后變成:
mov eax,[ebp+8]
add eax,[ebp+12]
ret 8
注意這個(gè)修飾是和__stdcall及cdecl結(jié)合使用的,前面是它和cdecl結(jié)合使用的代碼,對(duì)于和stdcall結(jié)合的代碼,則變成:
__declspec(naked) int __stdcall function(int a,int b)
{
__asm mov eax,a
__asm add eax,b
__asm ret 8 //注意后面的8
}
至于這種函數(shù)被調(diào)用,則和普通的cdecl及stdcall調(diào)用函數(shù)一致。
函數(shù)調(diào)用約定導(dǎo)致的常見(jiàn)問(wèn)題
如果定義的約定和使用的約定不一致,則將導(dǎo)致堆棧被破壞,導(dǎo)致嚴(yán)重問(wèn)題,下面是兩種常見(jiàn)的問(wèn)題:
函數(shù)原型聲明和函數(shù)體定義不一致
DLL導(dǎo)入函數(shù)時(shí)聲明了不同的函數(shù)約定
以后者為例,假設(shè)我們?cè)赿ll種聲明了一種函數(shù)為:
__declspec(dllexport) int func(int a,int b);//注意,這里沒(méi)有stdcall,使用的是cdecl
使用時(shí)代碼為:
typedef int (*WINAPI DLLFUNC)func(int a,int b);
hLib = LoadLibrary(...);
DLLFUNC func = (DLLFUNC)GetProcAddress(...)//這里修改了調(diào)用約定
result = func(1,2);//導(dǎo)致錯(cuò)誤
由于調(diào)用者沒(méi)有理解WINAPI的含義錯(cuò)誤的增加了這個(gè)修飾,上述代碼必然導(dǎo)致堆棧被破壞,MFC在編譯時(shí)插入的checkesp函數(shù)將告訴你,堆棧被破壞