清幽靜谷

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


這里的LRESULT在windows中被定義為long型，而CALLBACK則被定義成了__stacall，仔細(xì)看了一下，在WINDEF.H中還包含如下定義：

那么，這里的__stacall、__cdecl到底是什么意思呢，又有什么作用呢？我經(jīng)過查找相關(guān)資料對其有了些許淺顯的了解，這里與大家一起分享。

我們知道，在C語言中假設(shè)我們有這樣一個函數(shù)定義：
那么只要用
這樣的方式就可以對函數(shù)進(jìn)行調(diào)用了。但是，在計(jì)算機(jī)中，當(dāng)高級語言程序被編譯成計(jì)算機(jī)可以識別的機(jī)器碼時，有一個問題就凸現(xiàn)出來：在CPU中，計(jì)算機(jī)沒有辦法知道一個函數(shù)調(diào)用需要多少個參數(shù)、這些參數(shù)是什么樣的，也沒有硬件可以保存這些參數(shù)。也就是說，計(jì)算機(jī)并不知道應(yīng)該怎么給這個函數(shù)傳遞參數(shù)，傳遞參數(shù)的工作必須由函數(shù)調(diào)用者和函數(shù)本身來協(xié)調(diào)。為此，計(jì)算機(jī)提供了一種被稱為棧的數(shù)據(jù)結(jié)構(gòu)來支持函數(shù)的參數(shù)傳遞。

棧是一種先進(jìn)后出的數(shù)據(jù)結(jié)構(gòu)，棧有一個存儲區(qū)、一個棧頂指針。棧頂指針指向堆棧中第一個可用的數(shù)據(jù)項(xiàng)(被稱為棧頂)。用戶可以在棧頂?shù)纳戏较蚨褩Ｖ屑尤霐?shù)據(jù)，這個操作被稱為壓棧(Push)，壓棧以后，棧頂自動變成新加入數(shù)據(jù)項(xiàng)的位置，棧頂指針也隨之修改。用戶也可以從堆棧中取出棧頂元素，這個操作被稱為彈出棧(pop)，彈出棧以后，棧頂?shù)南乱粋€元素變成棧頂，棧頂指針隨之修改。

函數(shù)調(diào)用時，調(diào)用者依次把參數(shù)壓棧，然后調(diào)用函數(shù)，函數(shù)被調(diào)用以后，在堆棧中取出數(shù)據(jù)，并進(jìn)行計(jì)算。函數(shù)計(jì)算結(jié)束以后，或者調(diào)用者、或者函數(shù)本身修改堆棧，使堆棧恢復(fù)原狀。問題的關(guān)鍵就在這里，到底應(yīng)該如何清除棧呢？

函數(shù)調(diào)用需要進(jìn)行參數(shù)傳遞，在參數(shù)傳遞過程中有兩個很重要的問題必須得到明確說明：
    1. 當(dāng)參數(shù)個數(shù)多于一個時，按照什么樣的順序把參數(shù)壓入棧中
    2. 函數(shù)調(diào)用后，由誰來負(fù)責(zé)把堆?；謴?fù)原狀

在高級語言中，函數(shù)調(diào)用約定就是用來說明這兩個問題的。常見的函數(shù)調(diào)用約定有：
        stdcall
        cdecl
        fastcall
        thiscall
        naked call

下面一一進(jìn)行介紹。

一、stdcall調(diào)用約定

stdcall，也可寫作__stdcall，很多時候被稱為pascal調(diào)用約定，因?yàn)閜ascal是早期很常見的一種教學(xué)用計(jì)算機(jī)程序設(shè)計(jì)語言，其語法嚴(yán)謹(jǐn)，使用的函數(shù)調(diào)用約定就是stdcall。幾乎我們寫的每一個WINDOWS API函數(shù)都是__stdcall類型的。在Microsoft C++系列的C/C++編譯器中，常常用PASCAL宏來聲明這個調(diào)用約定，類似的宏還有WINAPI和CALLBACK(如文章開頭引用的在WINDEF.H頭文件中的定義)。

stdcall調(diào)用約定聲明的語法為（以前面的function_add函數(shù)為例）：

stdcall調(diào)用約定意味著：
(1) 參數(shù)從右向左壓入堆棧
(2) 函數(shù)自身修改堆棧
(3) 函數(shù)名自動加前導(dǎo)的下劃線，后面緊跟一個@符號，其后緊跟著參數(shù)的大小

以上述這個函數(shù)為例，參數(shù)b首先被壓棧，然后是參數(shù)a，函數(shù)調(diào)用function_add(1, 2)調(diào)用處翻譯成匯編語言將變成：

      push       2                      // 第二個參數(shù)入棧
      push       1                      // 第一個參數(shù)入棧
      call         function_add    // 調(diào)用參數(shù)，注意此時自動把cs:eip入棧

而對于函數(shù)自身，則可翻譯為：
      push       ebp　　　　　　   // 保存ebp寄存器，該寄存器將用來保存堆棧的棧頂指針，可以在函數(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ù)的名字被翻譯成_function@8

　　注意不同編譯器會插入自己的匯編代碼以提供編譯的通用性，但是大體代碼如此。其中在函數(shù)開始處保留esp到ebp中，在函數(shù)結(jié)束恢復(fù)是編譯器常用的方法。

　　從函數(shù)調(diào)用看，2和1依次被push進(jìn)堆棧，而在函數(shù)中又通過相對于ebp(即剛進(jìn)函數(shù)時的堆棧指針）的偏移量存取參數(shù)。函數(shù)結(jié)束后，ret 8表示清理8個字節(jié)的堆棧，函數(shù)自己恢復(fù)了堆棧。

由于不同的編譯器產(chǎn)生棧的方式不盡相同，調(diào)用者就不一定能夠正常的完成堆棧的清除工作，但函數(shù)本身自己可以解決清除工作，所以，在跨平臺的程序開發(fā)中的函數(shù)調(diào)用，我們通常都使用__stdcall約定，windows下的絕大多數(shù)函數(shù)也都是stdcall調(diào)用。既然如此，為什么還需要__cdecl呢？別著急，接著往下看。

二、cdecl調(diào)用約定

cdecl，也可寫作__cdecl，又稱為C調(diào)用約定，是C/C++語言和MFC程序默認(rèn)缺省的調(diào)用約定，它的定義語法是：

采用__cdecl約定時，函數(shù)參數(shù)按照從右到左的順序入棧，并且由調(diào)用函數(shù)者把參數(shù)彈出棧以清理堆棧。因此，實(shí)現(xiàn)可變參數(shù)的函數(shù)只能使用該調(diào)用約定。由于這種變化，C調(diào)用約定允許函數(shù)的參數(shù)的個數(shù)是不固定的，這也是C語言的一大特色。同時，由于每一個使用__cdecl約定的函數(shù)都要包含清理堆棧的代碼，所以產(chǎn)生的可執(zhí)行文件大小會比較大。__cdecl可以寫成_cdecl。

對于前面的function函數(shù)，使用cdecl后的匯編碼變成：

調(diào)用處
　　push   1
　　push   2
　　call     function
　　add　esp, 8　　　　　 // 注意：這里調(diào)用者在恢復(fù)堆棧

　　被調(diào)用函數(shù)_function處
　　push    ebp　　　　　　// 保存ebp寄存器，該寄存器將用來保存堆棧的棧頂指針，可以在函數(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　　　　　　　　　//  注意，這里沒有修改堆棧

不寫了，累得慌，呵呵 轉(zhuǎn)載兩篇文章吧

__stdcall,__cdecl,_cdecl,_stdcall,。__fastcall,_fastcall 區(qū)別簡介 

1.

今天寫線程函數(shù)時，發(fā)現(xiàn)msdn中對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

幾乎我們寫的每一個WINDOWS API函數(shù)都是__stdcall類型的，首先，需要了解兩者之間的區(qū)別： WINDOWS的函數(shù)調(diào)用時需要用到棧（STACK，一種先入后出的存儲結(jié)構(gòu)）。當(dāng)函數(shù)調(diào)用完成后，棧需要清楚，這里就是問題的關(guān)鍵，如何清除？？ 如果我們的函數(shù)使用了_cdecl，那么棧的清除工作是由調(diào)用者，用COM的術(shù)語來講就是客戶來完成的。這樣帶來了一個棘手的問題，不同的編譯器產(chǎn)生棧的方式不盡相同，那么調(diào)用者能否正常的完成清除工作呢？答案是不能。 如果使用__stdcall，上面的問題就解決了，函數(shù)自己解決清除工作。所以，在跨（開發(fā)）平臺的調(diào)用中，我們都使用__stdcall（雖然有時是以WINAPI的樣子出現(xiàn)）。那么為什么還需要_cdecl呢？當(dāng)我們遇到這樣的函數(shù)如fprintf()它的參數(shù)是可變的，不定長的，被調(diào)用者事先無法知道參數(shù)的長度，事后的清除工作也無法正常的進(jìn)行，因此，這種情況我們只能使用_cdecl。到這里我們有一個結(jié)論，如果你的程序中沒有涉及可變參數(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ù)聲明時加上__cdecl關(guān)鍵字來手工指定。采用__cdecl約定時，函數(shù)參數(shù)按照從右到左的順序入棧，并且由調(diào)用函數(shù)者把參數(shù)彈出棧以清理堆棧。因此，實(shí)現(xiàn)可變參數(shù)的函數(shù)只能使用該調(diào)用約定。由于每一個使用__cdecl約定的函數(shù)都要包含清理堆棧的代碼，所以產(chǎn)生的可執(zhí)行文件大小會比較大。__cdecl可以寫成_cdecl。
__stdcall調(diào)用約定用于調(diào)用Win32 API函數(shù)。采用__stdcall約定時，函數(shù)參數(shù)按照從右到左的順序入棧，被調(diào)用的函數(shù)在返回前清理傳送參數(shù)的棧，函數(shù)參數(shù)個數(shù)固定。由于函數(shù)體本身知道傳進(jìn)來的參數(shù)個數(shù)，因此被調(diào)用的函數(shù)可以在返回前用一條ret n指令直接清理傳遞參數(shù)的堆棧。__stdcall可以寫成_stdcall。
__fastcall約定用于對性能要求非常高的場合。__fastcall約定將函數(shù)的從左邊開始的兩個大小不大于4個字節(jié)（DWORD）的參數(shù)分別放在ECX和EDX寄存器，其余的參數(shù)仍舊自右向左壓棧傳送，被調(diào)用的函數(shù)在返回前清理傳送參數(shù)的堆棧。__fastcall可以寫成_fastcall

3.

__stdcall:

_stdcall 調(diào)用約定相當(dāng)于16位動態(tài)庫中經(jīng)常使用的PASCAL調(diào)用約定。

在32位的VC++5.0中PASCAL調(diào)用約定不再被支持（實(shí)際上它已被定義為__stdcall。除了__pascal外，__fortran和__syscall也不被支持），取而代之的是__stdcall調(diào)用約定。兩者實(shí)質(zhì)上是一致的，即函數(shù)的參數(shù)自右向左通過棧傳遞，被調(diào)用的函數(shù)在返回前清理傳送參數(shù)的內(nèi)存棧，但不同的是函數(shù)名的修飾部分（關(guān)于函數(shù)名的修飾部分在后面將詳細(xì)說明）。

_stdcall是Pascal程序的缺省調(diào)用方式，通常用于Win32 Api中，函數(shù)采用從右到左的壓棧方式，自己在退出時清空堆棧。VC將函數(shù)編譯后會在函數(shù)名前面加上下劃線前綴，在函數(shù)名后加上"@"和參數(shù)的字節(jié)數(shù)。

_cdecl:

_cdecl c調(diào)用約定, 按從右至左的順序壓參數(shù)入棧，由調(diào)用者把參數(shù)彈出棧。對于傳送參數(shù)的內(nèi)存棧是由調(diào)用者來維護(hù)的（正因?yàn)槿绱?，?shí)現(xiàn)可變參數(shù)的函數(shù)只能使用該調(diào)用約定）。另外，在函數(shù)名修飾約定方面也有所不同。

_cdecl是C和C＋＋程序的缺省調(diào)用方式。每一個調(diào)用它的函數(shù)都包含清空堆棧的代碼，所以產(chǎn)生的可執(zhí)行文件大小會比調(diào)用_stdcall函數(shù)的大。函數(shù)采用從右到左的壓棧方式。VC將函數(shù)編譯后會在函數(shù)名前面加上下劃線前綴。是MFC缺省調(diào)用約定。

__fastcall:

__fastcall調(diào)用約定是"人"如其名，它的主要特點(diǎn)就是快，因?yàn)樗峭ㄟ^寄存器來傳送參數(shù)的（實(shí)際上，它用ECX和EDX傳送前兩個雙字（DWORD）或更小的參數(shù)，剩下的參數(shù)仍舊自右向左壓棧傳送，被調(diào)用的函數(shù)在返回前清理傳送參數(shù)的內(nèi)存棧），在函數(shù)名修飾約定方面，它和前兩者均不同。

_fastcall方式的函數(shù)采用寄存器傳遞參數(shù)，VC將函數(shù)編譯后會在函數(shù)名前面加上"@"前綴，在函數(shù)名后加上"@"和參數(shù)的字節(jié)數(shù)。

thiscall:

thiscall僅僅應(yīng)用于"C++"成員函數(shù)。this指針存放于CX寄存器，參數(shù)從右到左壓。thiscall不是關(guān)鍵詞，因此不能被程序員指定。

naked call:

采用1-4的調(diào)用約定時，如果必要的話，進(jìn)入函數(shù)時編譯器會產(chǎn)生代碼來保存ESI，EDI，EBX，EBP寄存器，退出函數(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ù)前的關(guān)鍵字有效。它們對應(yīng)的命令行參數(shù)分別為/Gz、/Gd和/Gr。缺省狀態(tài)為/Gd，即__cdecl。

要完全模仿PASCAL調(diào)用約定首先必須使用__stdcall調(diào)用約定，至于函數(shù)名修飾約定，可以通過其它方法模仿。還有一個值得一提的是WINAPI宏，Windows.h支持該宏，它可以將出函數(shù)翻譯成適當(dāng)?shù)恼{(diào)用約定，在WIN32中，它被定義為__stdcall。使用WINAPI宏可以創(chuàng)建自己的APIs。

名字修飾約定

1、修飾名(Decoration name)
“C”或者“C++”函數(shù)在內(nèi)部（編譯和鏈接）通過修飾名識別。修飾名是編譯器在編譯函數(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)用約定的不同而不同，下面分別說明。

a、C編譯時函數(shù)名修飾約定規(guī)則：

__stdcall調(diào)用約定在輸出函數(shù)名前加上一個下劃線前綴，后面加上一個“@”符號和其參數(shù)的字節(jié)數(shù)，格式為_functionname@number。

__cdecl調(diào)用約定僅在輸出函數(shù)名前加上一個下劃線前綴，格式為_functionname。

__fastcall調(diào)用約定在輸出函數(shù)名前加上一個“@”符號，后面也是一個“@”符號和其參數(shù)的字節(jié)數(shù)，格式為@functionname@number。

它們均不改變輸出函數(shù)名中的字符大小寫，這和PASCAL調(diào)用約定不同，PASCAL約定輸出的函數(shù)名無任何修飾且全部大寫。

b、C++編譯時函數(shù)名修飾約定規(guī)則：

__stdcall調(diào)用約定：
1、以“?”標(biāo)識函數(shù)名的開始，后跟函數(shù)名；
2、函數(shù)名后面以“@@YG”標(biāo)識參數(shù)表的開始，后跟參數(shù)表；
3、參數(shù)表以代號表示：
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--表示指針，后面的代號表明指針類型，如果相同類型的指針連續(xù)出現(xiàn)，以“0”代替，一個“0”代表一次重復(fù)；
4、參數(shù)表的第一項(xiàng)為該函數(shù)的返回值類型，其后依次為參數(shù)的數(shù)據(jù)類型,指針標(biāo)識在其所指數(shù)據(jù)類型前；
5、參數(shù)表后以“@Z”標(biāo)識整個名字的結(jié)束，如果該函數(shù)無參數(shù)，則以“Z”標(biāo)識結(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ù)表的開始標(biāo)識由上面的“@@YG”變?yōu)?#8220;@@YA”。

__fastcall調(diào)用約定：
規(guī)則同上面的_stdcall調(diào)用約定，只是參數(shù)表的開始標(biāo)識由上面的“@@YG”變?yōu)?#8220;@@YI”。
VC++對函數(shù)的省缺聲明是“__cedcl“,將只能被C/C++調(diào)用.

CB在輸出函數(shù)聲明時使用4種修飾符號
//__cdecl
cb的默認(rèn)值，它會在輸出函數(shù)名前加_，并保留此函數(shù)名不變，參數(shù)按照從右到左的順序依次傳遞給棧，也可以寫成_cdecl和cdecl形式。
//__fastcall
她修飾的函數(shù)的參數(shù)將盡肯呢感地使用寄存器來處理，其函數(shù)名前加@，參數(shù)按照從左到右的順序壓棧；
//__pascal
它說明的函數(shù)名使用Pascal格式的命名約定。這時函數(shù)名全部大寫。參數(shù)按照從左到右的順序壓棧；
//__stdcall
使用標(biāo)準(zhǔn)約定的函數(shù)名。函數(shù)名不會改變。使用__stdcall修飾時。參數(shù)按照由右到左的順序壓棧，也可以是_stdcall；

VC++對函數(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);

   修飾符的書寫順序如上。

4、extern "C"的作用：如果Add(int a, int b)是在c語言編譯器編譯，而在c++文件使用，則需要在c++文件中聲明：extern "C" Add(int a, int b)，因?yàn)閏編譯器和c++編譯器對函數(shù)名的解釋不一樣（c++編譯器解釋函數(shù)名的時候要考慮函數(shù)參數(shù)，這樣是了方便函數(shù)重載，而在c語言中不存在函數(shù)重載的問題），使用extern "C"，實(shí)質(zhì)就是告訴c++編譯器，該函數(shù)是c庫里面的函數(shù)。如果不使用extern "C"則會出現(xiàn)鏈接錯誤。

一般象如下使用：

#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)，并修飾類名，從而導(dǎo)出類，AFX_API_EXPORT來修飾函數(shù)，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負(fù)責(zé)初始化(Initialization)和結(jié)束(Termination)工作，每當(dāng)一個新的進(jìn)程或者該進(jìn)程的新的線程訪問DLL時，或者訪問DLL的每一個進(jìn)程或者線程不再使用DLL或者結(jié)束時，都會調(diào)用DLLMain。但是，使用TerminateProcess或TerminateThread結(jié)束進(jìn)程或者線程，不會調(diào)用DLLMain。

7、一個DLL在內(nèi)存中只有一個實(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)程的線程所訪問。

DLL的句柄可以被調(diào)用進(jìn)程使用；調(diào)用進(jìn)程的句柄可以被DLL使用。

DLLDLL可以有自己的數(shù)據(jù)段，但沒有自己的堆棧，使用調(diào)用進(jìn)程的棧，與調(diào)用它的應(yīng)用程序相同的堆棧模式。

2)、關(guān)于共享數(shù)據(jù)段

DLL定義的全局變量可以被調(diào)用進(jìn)程訪問；DLL可以訪問調(diào)用進(jìn)程的全局?jǐn)?shù)據(jù)。使用同一DLL的每一個進(jìn)程都有自己的DLL全局變量實(shí)例。如果多個線程并發(fā)訪問同一變量，則需要使用同步機(jī)制；對一個DLL的變量，如果希望每個使用DLL的線程都有自己的值，則應(yīng)該使用線程局部存儲(TLS，Thread Local Strorage)。

論函數(shù)調(diào)用約定

在C語言中，假設(shè)我們有這樣的一個函數(shù)：
　　
　　int function(int a,int b)
　　
　　調(diào)用時只要用result = function(1,2)這樣的方式就可以使用這個函數(shù)。但是，當(dāng)高級語言被編譯成計(jì)算機(jī)可以識別的機(jī)器碼時，有一個問題就凸現(xiàn)出來：在CPU中，計(jì)算機(jī)沒有辦法知道一個函數(shù)調(diào)用需要多少個、什么樣的參數(shù)，也沒有硬件可以保存這些參數(shù)。也就是說，計(jì)算機(jī)不知道怎么給這個函數(shù)傳遞參數(shù)，傳遞參數(shù)的工作必須由函數(shù)調(diào)用者和函數(shù)本身來協(xié)調(diào)。為此，計(jì)算機(jī)提供了一種被稱為棧的數(shù)據(jù)結(jié)構(gòu)來支持參數(shù)傳遞。

　　棧是一種先進(jìn)后出的數(shù)據(jù)結(jié)構(gòu)，棧有一個存儲區(qū)、一個棧頂指針。棧頂指針指向堆棧中第一個可用的數(shù)據(jù)項(xiàng)（被稱為棧頂）。用戶可以在棧頂上方向棧中加入數(shù)據(jù)，這個操作被稱為壓棧(Push)，壓棧以后，棧頂自動變成新加入數(shù)據(jù)項(xiàng)的位置，棧頂指針也隨之修改。用戶也可以從堆棧中取走棧頂，稱為彈出棧(pop)，彈出棧后，棧頂下的一個元素變成棧頂，棧頂指針隨之修改。

　　函數(shù)調(diào)用時，調(diào)用者依次把參數(shù)壓棧，然后調(diào)用函數(shù)，函數(shù)被調(diào)用以后，在堆棧中取得數(shù)據(jù)，并進(jìn)行計(jì)算。函數(shù)計(jì)算結(jié)束以后，或者調(diào)用者、或者函數(shù)本身修改堆棧，使堆?；謴?fù)原裝。

　　在參數(shù)傳遞中，有兩個很重要的問題必須得到明確說明：
　　
　　當(dāng)參數(shù)個數(shù)多于一個時，按照什么順序把參數(shù)壓入堆棧
　　函數(shù)調(diào)用后，由誰來把堆?；謴?fù)原裝
　　在高級語言中，通過函數(shù)調(diào)用約定來說明這兩個問題。常見的調(diào)用約定有：

　　stdcall
　　cdecl
　　fastcall
　　thiscall
　　naked call

 

　　stdcall調(diào)用約定
　　stdcall很多時候被稱為pascal調(diào)用約定，因?yàn)閜ascal是早期很常見的一種教學(xué)用計(jì)算機(jī)程序設(shè)計(jì)語言，其語法嚴(yán)謹(jǐn)，使用的函數(shù)調(diào)用約定就是stdcall。在Microsoft C++系列的C/C++編譯器中，常常用PASCAL宏來聲明這個調(diào)用約定，類似的宏還有WINAPI和CALLBACK。

　　stdcall調(diào)用約定聲明的語法為(以前文的那個函數(shù)為例）：
　　
　　int __stdcall function(int a,int b)
　　
　　stdcall的調(diào)用約定意味著：1）參數(shù)從右向左壓入堆棧，2）函數(shù)自身修改堆棧 3)函數(shù)名自動加前導(dǎo)的下劃線，后面緊跟一個@符號，其后緊跟著參數(shù)的尺寸

　　以上述這個函數(shù)為例，參數(shù)b首先被壓棧，然后是參數(shù)a，函數(shù)調(diào)用function(1,2)調(diào)用處翻譯成匯編語言將變成：

　　push 2　　　　　　　 第二個參數(shù)入棧
　　push 1　　　　　　　 第一個參數(shù)入棧
　　call function　　　　調(diào)用參數(shù)，注意此時自動把cs:eip入棧

　　而對于函數(shù)自身，則可以翻譯為：
　　push ebp　　　　　　 保存ebp寄存器，該寄存器將用來保存堆棧的棧頂指針，可以在函數(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ù)的名字被翻譯成_function@8

　　注意不同編譯器會插入自己的匯編代碼以提供編譯的通用性，但是大體代碼如此。其中在函數(shù)開始處保留esp到ebp中，在函數(shù)結(jié)束恢復(fù)是編譯器常用的方法。

　　從函數(shù)調(diào)用看，2和1依次被push進(jìn)堆棧，而在函數(shù)中又通過相對于ebp(即剛進(jìn)函數(shù)時的堆棧指針）的偏移量存取參數(shù)。函數(shù)結(jié)束后，ret 8表示清理8個字節(jié)的堆棧，函數(shù)自己恢復(fù)了堆棧。

　　
　　cdecl調(diào)用約定
　　cdecl調(diào)用約定又稱為C調(diào)用約定，是C語言缺省的調(diào)用約定，它的定義語法是：

　　int function (int a ,int b)　//不加修飾就是C調(diào)用約定
　　int __cdecl function(int a,int b)//明確指出C調(diào)用約定

　　在寫本文時，出乎我的意料，發(fā)現(xiàn)cdecl調(diào)用約定的參數(shù)壓棧順序是和stdcall是一樣的，參數(shù)首先由右向左壓入堆棧。所不同的是，函數(shù)本身不清理堆棧，調(diào)用者負(fù)責(zé)清理堆棧。由于這種變化，C調(diào)用約定允許函數(shù)的參數(shù)的個數(shù)是不固定的，這也是C語言的一大特色。對于前面的function函數(shù)，使用cdecl后的匯編碼變成：

　　調(diào)用處
　　push 1
　　push 2
　　call function
　　add　esp, 8　　　　　注意：這里調(diào)用者在恢復(fù)堆棧

　　被調(diào)用函數(shù)_function處
　　push ebp　　　　　　 保存ebp寄存器，該寄存器將用來保存堆棧的棧頂指針，可以在函數(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　　　　　　　　　注意，這里沒有修改堆棧

　　MSDN中說，該修飾自動在函數(shù)名前加前導(dǎo)的下劃線，因此函數(shù)名在符號表中被記錄為_function，但是我在編譯時似乎沒有看到這種變化。

　　由于參數(shù)按照從右向左順序壓棧，因此最開始的參數(shù)在最接近棧頂?shù)奈恢?，因此?dāng)采用不定個數(shù)參數(shù)時，第一個參數(shù)在棧中的位置肯定能知道，只要不定的參數(shù)個數(shù)能夠根據(jù)第一個后者后續(xù)的明確的參數(shù)確定下來，就可以使用不定參數(shù)，例如對于CRT中的sprintf函數(shù)，定義為：
　　int sprintf(char* buffer,const char* format,...)
　　由于所有的不定參數(shù)都可以通過format確定，因此使用不定個數(shù)的參數(shù)是沒有問題的。

　　fastcall
　　fastcall調(diào)用約定和stdcall類似，它意味著：
　　
　　函數(shù)的第一個和第二個DWORD參數(shù)（或者尺寸更小的）通過ecx和edx傳遞，其他參數(shù)通過從右向左的順序壓棧
　　被調(diào)用函數(shù)清理堆棧
　　函數(shù)名修改規(guī)則同stdcall
　　其聲明語法為：int fastcall function(int a, int b)

　　thiscall
　　thiscall是唯一一個不能明確指明的函數(shù)修飾，因?yàn)閠hiscall不是關(guān)鍵字。它是C++類成員函數(shù)缺省的調(diào)用約定。由于成員函數(shù)調(diào)用還有一個this指針，因此必須特殊處理，thiscall意味著：

　　參數(shù)從右向左入棧
　　如果參數(shù)個數(shù)確定，this指針通過ecx傳遞給被調(diào)用者；如果參數(shù)個數(shù)不確定，this指針在所有參數(shù)壓棧后被壓入堆棧。對參數(shù)個數(shù)不定的，調(diào)用者清理堆棧，否則函數(shù)自己清理堆棧為了說明這個調(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沒有被入棧

　　//函數(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
　　
　　可見，對于參數(shù)個數(shù)固定情況下，它類似于stdcall，不定時則類似cdecl

　　naked call
　　這是一個很少見的調(diào)用約定，一般程序設(shè)計(jì)者建議不要使用。編譯器不會給這種函數(shù)增加初始化和清理代碼，更特殊的是，你不能用return返回返回值，只能用插入?yún)R編返回結(jié)果。這一般用于實(shí)模式驅(qū)動程序設(shè)計(jì)，假設(shè)定義一個求和的加法程序，可以定義為：

　　__declspec(naked) int　add(int a,int b)
　　{
　　　 __asm mov eax,a
　　　 __asm add eax,b
　　　 __asm ret
　　}

　　注意，這個函數(shù)沒有顯式的return返回值，返回通過修改eax寄存器實(shí)現(xiàn)，而且連退出函數(shù)的ret指令都必須顯式插入。上面代碼被翻譯成匯編以后變成：

　　mov eax,[ebp+8]
　　add eax,[ebp+12]
　　ret 8

　 注意這個修飾是和__stdcall及cdecl結(jié)合使用的，前面是它和cdecl結(jié)合使用的代碼，對于和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)致的常見問題
　　如果定義的約定和使用的約定不一致，則將導(dǎo)致堆棧被破壞，導(dǎo)致嚴(yán)重問題，下面是兩種常見的問題：

　　函數(shù)原型聲明和函數(shù)體定義不一致
　　DLL導(dǎo)入函數(shù)時聲明了不同的函數(shù)約定
　　以后者為例，假設(shè)我們在dll種聲明了一種函數(shù)為：

　　__declspec(dllexport) int func(int a,int b);//注意，這里沒有stdcall，使用的是cdecl
　　使用時代碼為：

　　typedef int (*WINAPI DLLFUNC)func(int a,int b);
　　hLib = LoadLibrary(...);

　　DLLFUNC func = (DLLFUNC)GetProcAddress(...)//這里修改了調(diào)用約定
　　result = func(1,2);//導(dǎo)致錯誤

　　由于調(diào)用者沒有理解WINAPI的含義錯誤的增加了這個修飾，上述代碼必然導(dǎo)致堆棧被破壞，MFC在編譯時插入的checkesp函數(shù)將告訴你，堆棧被破壞