Dll(动态链接库)学习笔记

 

dll(dynamic link libraries)专题：

比较大的应用程序都由很多模块组成，这些模块分别完成相对独立的功能，它们彼此协作来完成整个软件系统的工作。可能存在一些模块的功能较为通用，在构造其它软件系统时仍会被使用。在构造软件系统时，如果将所有模块的源代码都静态编译到整个应用程序exe文件中，会产生一些问题：一个缺点是增加了应用程序的大小，它会占用更多的磁盘空间，程序运行时也会消耗较大的内存空间，造成系统资源的浪费；另一个缺点是，在编写大的exe程序时，在每次修改重建时都必须调整编译所有源代码，增加了编译过程的复杂性，也不利于阶段性的单元测试。

 

windows系统平台上提供了一种完全不同的较有效的编程和运行环境，你可以将独立的程序模块创建为较小的dll(dynamic linkable library)文件，并可对它们单独编译和测试。在运行时，只有当exe程序确实要调用这些dll模块的情况下，系统才会将它们装载到内存空间中。这种方式不仅减少了exe文件的大小和对内存空间的需求，而且使这些dll模块可以同时被多个应用程序使用。windows自己就将一些主要的系统功能以dll模块的形式实现。

 

一般来说，dll是一种磁盘文件，以.dll、.drv、.fon、.sys和许多以.exe为扩展名的系统文件都可以是dll。它由全局数据、服务函数和资源组成，在运行时被系统加载到进程的虚拟空间中，成为调用进程的一部分。如果与其它dll之间没有冲突，该文件通常映射到进程虚拟空间的同一地址上。dll模块中包含各种导出函数，用于向外界提供服务。dll可以有自己的数据段，但没有自己的堆栈，使用与调用它的应用程序相同的堆栈模式；一个dll在内存中只有一个实例；dll实现了代码封装性；dll的编制与具体的编程语言及编译器无关。

 

在win32环境中，每个进程都复制了自己的读/写全局变量。如果想要与其它进程共享内存，必须使用内存映射文件或者声明一个共享数据段。dll模块需要的堆栈内存都是从运行进程的堆栈中分配出来的。windows在加载dll模块时将进程函数调用与dll文件的导出函数相匹配。windows操作系统对dll的操作仅仅是把dll映射到需要它的进程的虚拟地址空间里去。dll函数中的代码所创建的任何对象（包括变量）都归调用它的线程或进程所有.

 

一、关于调用方式：

 

1、静态调用方式：由编译系统完成对dll的加载和应用程序结束时dll卸载的编码（如还有其它程序使用该dll，则windows对dll的应用记录减1，直到所有相关程序都结束对该dll的使用时才释放它），简单实用，但不够灵活，只能满足一般要求。

 

隐式的调用：需要把产生动态连接库时产生的.lib文件加入到应用程序的工程中，想使用dll中的函数时，只须说明一下。隐式调用不需要调用loadlibrary()和freelibrary()。程序员在建立一个dll文件时，链接程序会自动生成一个与之对应的lib导入文件。该文件包含了每一个dll导出函数的符号名和可选的标识号，但是并不含有实际的代码。lib文件作为dll的替代文件被编译到应用程序项目中。当程序员通过静态链接方式编译生成应用程序时，应用程序中的调用函数与lib文件中导出符号相匹配，这些符号或标识号进入到生成的exe文件中。lib文件中也包含了对应的dll文件名（但不是完全的路径名），链接程序将其存储在exe文件内部。当应用程序运行过程中需要加载dll文件时，windows根据这些信息发现并加载dll，然后通过符号名或标识号实现对dll函数的动态链接。所有被应用程序调用的dll文件都会在应用程序exe文件加载时被加载在到内存中。可执行程序链接到一个包含dll输出函数信息的输入库文件(.lib文件)。操作系统在加载使用可执行程序时加载dll。可执行程序直接通过函数名调用dll的输出函数，调用方法和程序内部其他的函数是一样的。

 

2、动态调用方式：是由编程者用api函数加载和卸载dll来达到调用dll的目的，使用上较复杂，但能更加有效地使用内存，是编制大型应用程序时的重要方式。

 

显式的调用：是指在应用程序中用loadlibrary或mfc提供的afxloadlibrary显式的将自己所做的动态连接库调进来，动态连接库的文件名即是上面两个函数的参数，再用getprocaddress()获取想要引入的函数。自此，你就可以象使用如同本应用程序自定义的函数一样来调用此引入函数了。在应用程序退出之前，应该用freelibrary或mfc提供的afxfreelibrary释放动态连接库。直接调用win32 的loadlibary函数，并指定dll的路径作为参数。loadlibary返回hinstance参数，应用程序在调用getprocaddress函数时使用这一参数。getprocaddress函数将符号名或标识号转换为dll内部的地址。程序员可以决定dll文件何时加载或不加载，显式链接在运行时决定加载哪个dll文件。使用dll的程序在使用之前必须加载（loadlibrary）加载dll从而得到一个dll模块的句柄，然后调用getprocaddress函数得到输出函数的指针，在退出之前必须卸载dll(freelibrary)。

 

windows将遵循下面的搜索顺序来定位dll：
1．包含exe文件的目录，
2．进程的当前工作目录，
3．windows系统目录，
4．windows目录，
5．列在path环境变量中的一系列目录。

 

二、mfc中的dll：

 

a、non-mfc dll:指的是不用mfc的类库结构，直接用c语言写的dll，其输出的函数一般用的是标准c接口，并能被非mfc或mfc编写的应用程序所调用。

 

b、regular dll:和下述的extension dlls一样，是用mfc类库编写的。明显的特点是在源文件里有一个继承cwinapp的类。其又可细分成静态连接到mfc和动态连接到mfc上的。

 

静态连接到mfc的动态连接库只被vc的专业般和企业版所支持。该类dll应用程序里头的输出函数可以被任意win32程序使用，包括使用mfc的应用程序。输入函数有如下形式：
extern c export yourexportedfunction( );
如果没有extern ＆#8220;c＆#8221;修饰，输出函数仅仅能从c 代码中调用。
dll应用程序从cwinapp派生，但没有消息循环。

 

动态链接到mfc的规则dll应用程序里头的输出函数可以被任意win32程序使用，包括使用mfc的应用程序。但是，所有从dll输出的函数应该以如下语句开始：
afx_manage_state(afxgetstaticmodulestate( ))
此语句用来正确地切换mfc模块状态。

 

regular dll能够被所有支持dll技术的语言所编写的应用程序所调用。在这种动态连接库中，它必须有一个从cwinapp继承下来的类，dllmain函数被mfc所提供，不用自己显式的写出来。

 

c、extension dll:用来实现从mfc所继承下来的类的重新利用，也就是说，用这种类型的动态连接库，可以用来输出一个从mfc所继承下来的类。它输出的函数仅可以被使用mfc且动态链接到mfc的应用程序使用。可以从mfc继承你所想要的、更适于你自己用的类，并把它提供给你的应用程序。你也可随意的给你的应用程序提供mfc或mfc继承类的对象指针。extension dll使用mfc的动态连接版本所创建的，并且它只被用mfc类库所编写的应用程序所调用。extension dlls 和regular dlls不一样，它没有一个从cwinapp继承而来的类的对象，所以，你必须为自己dllmain函数添加初始化代码和结束代码。

 

和规则dll相比，有以下不同：

 

1、它没有一个从cwinapp派生的对象；
2、它必须有一个dllmain函数；
3、dllmain调用afxinitextensionmodule函数，必须检查该函数的返回值，如果返回0，dllmmain也返回0；
4、如果它希望输出cruntimeclass类型的对象或者资源(resources)，则需要提供一个初始化函数来创建一个cdynlinklibrary对象。并且，有必要把初始化函数输出；
5、使用扩展dll的mfc应用程序必须有一个从cwinapp派生的类，而且，一般在initinstance里调用扩展dll的初始化函数。

 

三、dll入口函数：

 

1、每一个dll必须有一个入口点，dllmain是一个缺省的入口函数。dllmain负责初始化(initialization)和结束(termination)工作，每当一个新的进程或者该进程的新的线程访问dll时，或者访问dll的每一个进程或者线程不再使用dll或者结束时，都会调用dllmain。但是，使用terminateprocess或terminatethread结束进程或者线程，不会调用dllmain。

 

dllmain的函数原型：
bool apientry dllmain(handle hmodule,dword ul_reason_for_call,lpvoid lpreserved)
{
switch(ul_reason_for_call)
{
case dll_process_attach:
.......
case dll_thread_attach:
.......
case dll_thread_detach:
.......
case dll_process_detach:
.......
return true;
}
}

 

参数：
hmoudle：是动态库被调用时所传递来的一个指向自己的句柄(实际上，它是指向_dgroup段的一个选择符)；
ul_reason_for_call：是一个说明动态库被调原因的标志。当进程或线程装入或卸载动态连接库的时候，操作系统调用入口函数，并说明动态连接库被调用的原因。它所有的可能值为：
dll_process_attach: 进程被调用；
dll_thread_attach: 线程被调用；
dll_process_detach: 进程被停止；
dll_thread_detach: 线程被停止；
lpreserved：是一个被系统所保留的参数。

 

2、_dllmaincrtstartup

 

为了使用＆#8220;c＆#8221;运行库(crt，c run time library)的dll版本（多线程），一个dll应用程序必须指定_dllmaincrtstartup为入口函数，dll的初始化函数必须是dllmain。

 

_dllmaincrtstartup完成以下任务：当进程或线程捆绑(attach)到dll时为＆#8220;c＆#8221;运行时的数据(c runtime data)分配空间和初始化并且构造全局＆#8220;c ＆#8221;对象，当进程或者线程终止使用dll(detach)时，清理c runtime data并且销毁全局＆#8220;c ＆#8221;对象。它还调用dllmain和rawdllmain函数。

 

rawdllmain在dll应用程序动态链接到mfc dll时被需要，但它是静态的链接到dll应用程序的。在讲述状态管理时解释其原因。

 

四、关于约定：

 

动态库输出函数的约定有两种：调用约定和名字修饰约定。

 

1)调用约定(calling convention)：决定函数参数传送时入栈和出栈的顺序，由调用者还是被调用者把参数弹出栈，以及编译器用来识别函数名字的修饰约定。

 

函数调用约定有多种，这里简单说一下：

 

1、__stdcall调用约定相当于16位动态库中经常使用的pascal调用约定。在32位的vc 5.0中pascal调用约定不再被支持（实际上它已被定义为__stdcall。除了__pascal外，__fortran和__syscall也不被支持），取而代之的是__stdcall调用约定。两者实质上是一致的，即函数的参数自右向左通过栈传递，被调用的函数在返回前清理传送参数的内存栈，但不同的是函数名的修饰部分（关于函数名的修饰部分在后面将详细说明）。

 

_stdcall是pascal程序的缺省调用方式，通常用于win32 api中，函数采用从右到左的压栈方式，自己在退出时清空堆栈。vc将函数编译后会在函数名前面加上下划线前缀，在函数名后加上@和参数的字节数。

 

2、c调用约定（即用__cdecl关键字说明）按从右至左的顺序压参数入栈，由调用者把参数弹出栈。对于传送参数的内存栈是由调用者来维护的（正因为如此，实现可变参数的函数只能使用该调用约定）。另外，在函数名修饰约定方面也有所不同。

 

_cdecl是c和c＋＋程序的缺省调用方式。每一个调用它的函数都包含清空堆栈的代码，所以产生的可执行文件大小会比调用_stdcall函数的大。函数采用从右到左的压栈方式。vc将函数编译后会在函数名前面加上下划线前缀。是mfc缺省调用约定。

 

3、__fastcall调用约定是＆#8220;人＆#8221;如其名，它的主要特点就是快，因为它是通过寄存器来传送参数的（实际上，它用ecx和edx传送前两个双字（dword）或更小的参数，剩下的参数仍旧自右向左压栈传送，被调用的函数在返回前清理传送参数的内存栈），在函数名修饰约定方面，它和前两者均不同。

 

_fastcall方式的函数采用寄存器传递参数，vc将函数编译后会在函数名前面加上@前缀，在函数名后加上@和参数的字节数。

 

4、thiscall仅仅应用于＆#8220;c ＆#8221;成员函数。this指针存放于cx寄存器，参数从右到左压。thiscall不是关键词，因此不能被程序员指定。

 

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。

 

2)名字修饰约定

 

1、修饰名(decoration name)

 

＆#8220;c＆#8221;或者＆#8220;c ＆#8221;函数在内部（编译和链接）通过修饰名识别。修饰名是编译器在编译函数定义或者原型时生成的字符串。有些情况下使用函数的修饰名是必要的，如在模块定义文件里头指定输出＆#8220;c ＆#8221;重载函数、构造函数、析构函数，又如在汇编代码里调用＆#8220;c＆#8221;＆#8221;或＆#8220;c ＆#8221;函数等。

 

修饰名由函数名、类名、调用约定、返回类型、参数等共同决定。

 

2、名字修饰约定随调用约定和编译种类(c或c )的不同而变化。函数名修饰约定随编译种类和调用约定的不同而不同，下面分别说明。

 

a、c编译时函数名修饰约定规则：

 

__stdcall调用约定在输出函数名前加上一个下划线前缀，后面加上一个＆#8220;@＆#8221;符号和其参数的字节数，格式为。

 

__cdecl调用约定仅在输出函数名前加上一个下划线前缀，格式为_functionname。

__fastcall调用约定在输出函数名前加上一个＆#8220;@＆#8221;符号，后面也是一个＆#8220;@＆#8221;符号和其参数的字节数，格式为@functionname@number。

 

它们均不改变输出函数名中的字符大小写，这和pascal调用约定不同，pascal约定输出的函数名无任何修饰且全部大写。

 

b、c 编译时函数名修饰约定规则：

 

__stdcall调用约定：
1、以＆#8220;?＆#8221;标识函数名的开始，后跟函数名；
2、函数名后面以＆#8221;标识参数表的开始，后跟参数表；
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--表示指针，后面的代号表明指针类型，如果相同类型的指针连续出现，以＆#8220;0＆#8221;代替，一个＆#8220;0＆#8221;代表一次重复；
4、参数表的第一项为该函数的返回值类型，其后依次为参数的数据类型,指针标识在其所指数据类型前；
5、参数表后以＆#8221;标识整个名字的结束，如果该函数无参数，则以＆#8220;z＆#8221;标识结束。

 

其格式为＆#8221;或＆#8221;，例如
int test1（char *var1,unsigned long）＆#8221;
void test2（） ＆#8221;

 

__cdecl调用约定：
规则同上面的_stdcall调用约定，只是参数表的开始标识由上面的＆#8221;变为＆#8221;。

 

__fastcall调用约定：
规则同上面的_stdcall调用约定，只是参数表的开始标识由上面的＆#8221;变为＆#8221;。

 

vc 对函数的省缺声明是__cedcl,将只能被c/c 调用.

五、关于dll的函数：

 

动态链接库中定义有两种函数：导出函数(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项是必须的，其他可以省略。

 

对于＆#8220;c＆#8221;函数来说，entryname可以等同于函数名；但是对＆#8220;c ＆#8221;函数（成员函数、非成员函数）来说，entryname是修饰名。可以从.map映像文件中得到要输出函数的修饰名，或者使用dumpbin /symbols得到，然后把它们写在.def文件的输出模块。dumpbin是vc提供的一个工具。

 

如果要输出一个＆#8220;c ＆#8221;类，则把要输出的数据和成员的修饰名都写入.def模块定义文件。

 

2、在命令行输出

 

对链接程序link指定/export命令行参数，输出有关函数。

 

3、使用mfc提供的修饰符号_declspec(dllexport)

 

在要输出的函数、类、数据的声明前加上_declspec(dllexport)的修饰符，表示输出。__declspec(dllexport)在c调用约定、c编译情况下可以去掉输出函数名的下划线前缀。extern c使得在c 中使用c编译方式成为可能。在＆#8220;c ＆#8221;下定义＆#8220;c＆#8221;函数，需要加extern ＆#8220;c＆#8221;关键词。用extern c来指明该函数使用c编译方式。输出的＆#8220;c＆#8221;函数可以从＆#8220;c＆#8221;代码里调用。

例如，在一个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)。

 

在程序里加入预编译指令，或在开发环境的项目设置里也可以达到设置数据段属性的目的.必须给这些变量赋初值,否则编译器会把没有赋初始值的变量放在一个叫未被初始化的数据段中。