動態鏈接庫中定義有兩種函數:導出函數(export function)和內部函數(internal function)。
導出函數可以被其它模塊調用,內部函數在定義它們的DLL程序內部使用。
輸出函數的方法有以下幾種:
1、傳統的方法
在模塊定義文件的EXPORT部分指定要輸入的函數或者變量。語法格式如下:
entryname[=internalname] [@ordinal[NONAME]] [DATA] [PRIVATE]
其中:
entryname是輸出的函數或者數據被引用的名稱;
internalname同entryname;
@ordinal表示在輸出表中的順序號(index);
NONAME僅僅在按順序號輸出時被使用(不使用entryname);
DATA表示輸出的是數據項,使用DLL輸出數據的程序必須聲明該數據項爲_declspec(dllimport)。
上述各項中,只有entryname項是必須的,其他可以省略。
對於“C”函數來說,entryname可以等同於函數名;但是對“C++”函數(成員函數、非成員函數)
來說,entryname是修飾名。可以從.map映像文件中得到要輸出函數的修飾名,或者使用
DUMPBIN /SYMBOLS得到,然後把它們寫在.def文件的輸出模塊。DUMPBIN是VC提供的一個工具。
如果要輸出一個“C++”類,則把要輸出的數據和成員的修飾名都寫入.def模塊定義文件。
2、在命令行輸出
對鏈接程序LINK指定/EXPORT命令行參數,輸出有關函數。
3、使用MFC提供的修飾符號_declspec(dllexport)
在要輸出的函數、類、數據的聲明前加上_declspec(dllexport)的修飾符,表示輸出。__declspec
(dllexport)在C調用約定、C編譯情況下可以去掉輸出函數名的下劃線前綴。extern "C"使得在C++中
使用C編譯方式成爲可能。在“C++”下定義“C”函數,需要加extern “C”關鍵詞。用extern "C"來
指明該函數使用C編譯方式。輸出的“C”函數可以從“C”代碼裏調用。
例如,在一個C++文件中,有如下函數:
extern "C" {void __declspec(dllexport) __cdecl Test(int var);}
其輸出函數名爲:Test
MFC提供了一些宏,就有這樣的作用。
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
AFX_EXT_API:#ifdef _AFXEXT
AFX_API_EXPORT
#else
AFX_API_IMPORT
AFX_EXT_DATA:#ifdef _AFXEXT
AFX_DATA_EXPORT
#else
AFX_DATA_IMPORT
像AFX_EXT_CLASS這樣的宏,如果用於DLL應用程序的實現中,則表示輸出(因爲_AFX_EXT被定義,通
常是在編譯器的標識參數中指定該選項/D_AFX_EXT);如果用於使用DLL的應用程序中,則表示輸入
(_AFX_EXT沒有定義)。
要輸出整個的類,對類使用_declspec(_dllexpot);要輸出類的成員函數,則對該函數使用
_declspec(_dllexport)。如:
class AFX_EXT_CLASS CTextDoc : public CDocument
{
…
}
extern "C" AFX_EXT_API void WINAPI InitMYDLL();
這幾種方法中,最好採用第三種,方便好用;其次是第一種,如果按順序號輸出,調用效率會高些;
最次是第二種。
六、模塊定義文件(.DEF)
模塊定義文件(.DEF)是一個或多個用於描述DLL屬性的模塊語句組成的文本文件,每個DEF文件至少必
須包含以下模塊定義語句:
* 第一個語句必須是LIBRARY語句,指出DLL的名字;
* EXPORTS語句列出被導出函數的名字;將要輸出的函數修飾名羅列在EXPORTS之下,這個名字必須與
定義函數的名字完全一致,如此就得到一個沒有任何修飾的函數名了。
* 可以使用DESCRIPTION語句描述DLL的用途(此句可選);
* ";"對一行進行註釋(可選)。
七、DLL程序和調用其輸出函數的程序的關係
1、dll與進程、線程之間的關係
DLL模塊被映射到調用它的進程的虛擬地址空間。
DLL使用的內存從調用進程的虛擬地址空間分配,只能被該進程的線程所訪問。
DLL的句柄可以被調用進程使用;調用進程的句柄可以被DLL使用。
DLL使用調用進程的棧。
2、關於共享數據段
DLL定義的全局變量可以被調用進程訪問;DLL可以訪問調用進程的全局數據。使用同一DLL的每一個
進程都有自己的DLL全局變量實例。如果多個線程併發訪問同一變量,則需要使用同步機制;對一個
DLL的變量,如果希望每個使用DLL的線程都有自己的值,則應該使用線程局部存儲(TLS,Thread
Local Strorage)。
在程序里加入預編譯指令,或在開發環境的項目設置裏也可以達到設置數據段屬性的目的.必須給
這些變量賦初值,否則編譯器會把沒有賦初始值的變量放在一個叫未被初始化的數據段中。
rivershan原創於2002年9月18日
__declspec(dllimport)和__declspec(dllexport)的區別,以及有關c/c++調用約定
LL可以使用兩種方法將公共符號導入到應用程序中或從 DLL 導出函數:
生成 DLL 時使用模塊定義 (.DEF) 文件。
在主應用程序的函數定義中使用 __declspec(dllimport) 或 __declspec(dllexport) 關鍵字。
使用 .DEF 文件
模塊定義 (.DEF) 文件是包含一個或多個描述各種 DLL 屬性的 Module 語句的文本文件。如果不使用 __declspec(dllimport) 或 __declspec(dllexport) 導出 DLL 函數,則 DLL 需要 .DEF 文件。
可以使用 .DEF 文件導入到應用程序中或從 DLL 導出。
使用 __declspec
32 位版的 Visual C++ 用 __declspec(dllimport) 和 __declspec(dllexport) 取代以前在 16 位版的 Visual C++ 中使用的 __export 關鍵字。
不使用 __declspec(dllimport) 也能正確編譯代碼,但使用 __declspec(dllimport) 使編譯器可以生成更好的代碼。編譯器之所以能夠生成更好的代碼,是因爲它十分清楚函數是否在 DLL 中,因此可以生成跳過間接級別的代碼,而在跨 DLL 邊界的函數中通常存在這些間接代碼。但是,必須使用 __declspec(dllimport) 才能導入 DLL 中使用的變量。
如果有正確的 .DEF 文件 EXPORTS 節,則不需要 __declspec(dllexport)。添加 __declspec(dllexport) 是爲了提供不使用 .DEF 文件從 .EXE 或 .DLL 導出函數的簡單方法。
Win32 可移植可執行文件格式旨在最小化爲修改導入而必須訪問的頁數。爲此,它將所有程序的所有導入地址都放在一個稱爲“導入地址表”的位置。這使得加載程序在訪問這些導入時可以只修改一兩頁。
/////////////////////////////////////////////////////////////////////////////////////
__stdcall,__cdecl,__fastcall,thiscall,naked call
被這些修飾關鍵字修飾的函數,其參數都是從右向左通過堆棧傳遞的(__fastcall的前面部分由ecx,edx傳),函數調用在返回前要清理堆棧,但由調用者還是被調用者清理不一定。
1、_stdcall是Pascal程序的缺省調用方式,通常用於Win32 Api中,函數採用從右到左的壓棧方式, 自己在退出時清空堆棧。
VC將函數編譯後會在函數名前面加上下劃線前綴,在函數名後加上"@"和參數的字節數。
int f(void *p) -->> _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可以直接加在要輸出的函數前,也可以在編譯環境的Setting.../C/C++ /Code Generation項選擇。當加在輸出函數前的關鍵字與編譯環境中的選擇不同時,直接加在輸出函數前的關鍵字有效。它們對應的命令行參數分別爲/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調用約定在輸出函數名前加上一個下劃線前綴,後面加上一個“@”符號和其參數的字節數,格式爲_functionname@number。
__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++調用.
CB在輸出函數聲明時使用4種修飾符號
//__cdecl
cb的默認值,它會在輸出函數名前加_,並保留此函數名不變,參數按照從右到左的順序依次傳遞給棧,也可以寫成_cdecl和cdecl形式。
//__fastcall
她修飾的函數的參數將盡肯呢感地使用寄存器來處理,其函數名前加@,參數按照從左到右的順序壓棧;
//__pascal
它說明的函數名使用Pascal格式的命名約定。這時函數名全部大寫。參數按照從左到右的順序壓棧;
//__stdcall
使用標準約定的函數名。函數名不會改變。使用__stdcall修飾時。參數按照由右到左的順序壓棧,也可以是_stdcall;