__declspec

最新推荐文章于 2024-06-05 18:25:58 发布

liu4584945

最新推荐文章于 2024-06-05 18:25:58 发布

阅读量2.7k

点赞数

分类专栏： window 文章标签： deprecated dll 编译器 thread microsoft class

本文链接：https://blog.csdn.net/liu4584945/article/details/6225109

版权

window 专栏收录该内容

3 篇文章 0 订阅

订阅专栏

__cdecl和__stdcall都是函数调用规范(还有一个__fastcall),规定了参数出入栈的顺序和方法,
如果只用VC编程的话可以不用关心,但是要在C++和Pascal等其他语言通信的时候就要注意了,只有用相同的方法才能够调用成功.
另外,像printf这样接受可变个数参数的函数只有用cdecl才能够实现.

__declspec主要是用于说明DLL的引出函数的,在某些情况下用__declspec(dllexport)在DLL中生命引出函数,比用传统的DEF文件方便一些.在普通程序中也可以用__declspec(dllimport)说明函数是位于另一个DLL中的导出函数.

例子不太好举啊,其实就是在函数声明的时候多加一个关键字,比如很多API函数就是象这样声明的:
int   WINAPI   MessageBoxA(HWND,LPCSTR,LPSTR,UINT);
而WINAPI实际上就是__stdcall.
大多数API都采用__stdcall调用规范,这是因为几乎所有的语言都支持__stdcall调用.相比之下,__cdecl只有在C语言中才能用.但是__cdecl调用有一个特点,就是能够实现可变参数的函数调用,比如printf,这用__stdcall调用是不可能的.
__fastcall这种调用规范比较少见,但是在Borland   C++   Builder中比较多的采用了这种调用方式.
如果有共享代码的需要,比如写DLL,推荐的方法是用__stdcall调用,因为这样适用范围最广.如果是C++语言写的代码供Delphi这样的语言调用就必须声明为__stdcall,因为Pascal不支持cdecl调用(或许Delphi的最新版本能够支持也说不定,这个我不太清楚).在其他一些地方,比如写COM组件,几乎都用的是stdcall调用.在VC或Delphi或C++Builder里面都可以从项目设置中更改默认的函数调用规范,当然你也可以在函数声明的时候加入__stdcall,__cdecl,__fastcall关键字来明确的指示本函数用哪种调用规范.
__declspec一般都是用来声明DLL中的导出函数.这个关键字也有一些其他的用法,不过非常罕见.

关于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项是必须的，其他可以省略。

对于“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)。

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

extern   "C"   指示编译器用C语言方法给函数命名。

在制作DLL导出函数时由于C++存在函数重载，因此
__declspec(dllexport)   function(int,int)   在DLL会被decorate，例如被decorate成为   function_int_int，而且不同的编译器decorate的方法不同，造成了在用GetProcAddress取得function地址时的不便，使用extern   "C"时，上述的decorate不会发生，因为C没有函数重载，但如此一来被extern"C"修饰的函数，就不具备重载能力，可以说extern   和   extern   "C"不是以回事。

__declspec(dllexport)   声明一个导出函数，是说这个函数要从本DLL导出。我要给别人用。一般用于dll中
__declspec(dllimport)   声明一个导入函数，是说这个函数是从别的DLL导入。我要用。一般用于使用某个dll的exe中
_declspec(thread)可以降低程序员的负担，又能做到线程局部存储的要求。VC++允许一个变量或结构被声明为“具有线程局部性”。例如，下面的声明，如果放在一个DLL之中，将产生出一个全局变量，对每一个进程而言独一无二：
DWORD   gProgressCounter；
但是如果这样声明，它就是对每一个线程独一无二：
_declspec(thread)     DWORD   gProgressCounter;  
每一个以这种方式声明对象的EXE和DLL，将在可执行文件中有一个特殊的节区(section),内含所有的线程局部变量。当EXE或DLL被载入时，操作系统会认识这个节区并适当的处理之。这个节区会被操作系统社定为“对每一个线程具有局部性”。
当一个EXE被载入时，操作系统扫描可执行文件以及所有静态链接(implicity   linked)的DLLs，以便找出所有的线程局部节区。所有节区的大小被加总在一起以求出每个线程启动时应该配置的内存数量。

__declspec用于指定所给定类型的实例的与Microsoft相关的存储方式。其它的有关存储方式的修饰符如static与extern等是C和C++语言的ANSI规范，而__declspec是一种扩展属性的定义。扩展属性语法简化并标准化了C和C++语言关于Microsoft的扩展。

用法：__declspec ( extended-decl-modifier )

extended-decl-modifier参数如下，可同时出现，中间有空格隔开:

align （C++）

allocate

appdomain

deprecated （C++）

dllimport

dllexport

jitintrinsic

naked （C++）

noalias

noinline

noreturn

nothrow （C++）

novtable

process

property（C++）

restrict

selectany

thread

uuid（C++）

1.__declspec关键字应该出现在简单声明的前面。对于出现在*或&后面或者变量声明中标识符的前面的__declspec，编译器将忽略并且不给出警告。

2.要注意区分__declspec是修饰类型还是修饰变量：

__declspec(align(8)) struct Str b;修饰的是变量b。其它地方定义的struct Str类型的变量将不受__declspec(align(8))影响。

__declspec(align(8)) struct Str {};修饰的是struct Str类型。所有该类型的变量都受__declspec(align(8))影响。

align：

格式：__declspec(align(n)) declarator

其中，n是对齐参数，其有效值是的整数次幂（从到字节），如，，，，或。参数declarator是要设置对齐方式的数据。

1.使用__declspec(align(n))来精确控制用户自定义数据的对齐方式。你可以在定义struct，union，class或声明变量时使用__declspec(align(n))。

2.不能为函数参数使用__declspec(align(n))。

3.如果未使用__declspec(align(#))，编译器将根据数据大小按自然边界对齐。如字节整数按字节边界对齐；字节double按字节边界对齐。类或结构体中的数据，将取数据本身的自然对齐方式和#pragma pack(n)设置的对齐系数中的最小值进行对齐。

4.__declspec(align(n))和#pragma pack(n)是一对兄弟，前者规定了对齐系数的最小值，后者规定了对齐系数的最大值。

5.当两者同时出现时，前者拥有更高的优先级。即，当两者同时出现且值矛盾时，后者将不起作用。

6.当变量size大于等于#pragma pack(n)指定的n，而且__declspec(align(n))指定的数值n比对应类型长度小的时候，这个__declspec(align(n))指定将不起作用。

7.当#pragma pack(n)指定的值n大于等于所有数据成员size的时候，这个值n将不起作用。

allocate：

格式：__declspec(allocate("segname")) declarator

为数据指定存储的数据段。数据段名必须为以下列举中的一个：

code_seg

const_seg

data_seg

init_seg

section

appdomain：

指定托管程序中的每个应用程序域都要有一份指定全局变量或静态成员变量的拷贝。

deprecated：

与#pragma deprecated()的作用相同。用于指定函数的某个重载形式是不推荐的。当在程序中调用了被deprecated修饰的函数时，编译器将给出C4996警告，并且可以指定具体的警告信息。该警告信息可以来源于定义的宏。

例如：

// compile with: /W3

#define MY_TEXT "function is deprecated"

void func1(void) {}

__declspec(deprecated) void func1(int) {}

__declspec(deprecated("** this is a deprecated function **")) void func2(int) {}

__declspec(deprecated(MY_TEXT)) void func3(int) {}

int main() {

func1();

func1(1); // C4996，警告信息：warning C4996: 'func1': was declared deprecated

func2(1); // C4996，警告信息：warning C4996: 'func2': ** this is a deprecated function **

func3(1); // C4996，警告信息：warning C4996: 'func3': function is deprecated

}

dllimport，dllexport：

格式：

__declspec( dllimport ) declarator

__declspec( dllexport ) declarator

分别用来从dll导入函数，数据，或对象以及从dll中导出函数，数据，或对象。相当于定义了dll的接口，为它的客户exe或dll定义可使用的函数，数据，或对象。

将函数声明成dllexport就可以免去定义模块定义(.DEF)文件。

dllexport代替了__export关键字。

被声明为dllexport的C++函数导出时的函数名将会按照C++规则经过处理。如果要求不按照C++规则进行名字处理，请使用.def文件或使用extern "C"。

jitintrinsic：

格式：__declspec(jitintrinsic)

用于标记一个函数或元素是位通用语言运行时(CLR)。主要用于Microsoft提供的某些库中。

使用jitintrinsic会在函数签名中加入MODOPT(IsJitIntrinsic)。

naked：

格式：__declspec(naked) declarator

此关键字仅用于x86系统，多用于虚拟设备驱动。此关键字可以使编译器在生成代码时不包含任何注释或标记。仅可以对函数的定义使用，不能用于数据声明、定义，或者函数的声明。

noalias：

仅适用于函数，它指出该函数是半纯粹的函数。半纯粹的函数是指仅引用或修改局部变量、参数和第一层间接参数。它是对编译器的一个承诺，如果该函数引用全局变量或第二层间接指针参数，则编译器会生成中断应用程序的代码。

restrict：

格式：__declspec(restrict) return_type f();

仅适用于返回指针的函数声明或定义，如，CRT的malloc函数：__declspec(restrict) void *malloc(size_t size);它告诉编译器该函数返回的指针不会与任何其它的指针混淆。它为编译器提供执行编译器优化的更多信息。对于编译器来说，最大的困难之一是确定哪些指针会与其它指针混淆，而使用这些信息对编译器很有帮助。有必要指出，这是对编译器的一个承诺，编译器并不对其进行验证。如果您的程序不恰当地使用__declspec(restrict)，则该程序的行为会不正确。

noinline：

因为在类定义中定义的成员函数默认都是inline的，__declspec(naked)用于显式指定类中的某个函数不需要inline(内联)。如果一个函数很小而且对系统性能影响不大，有必要将其声明为非内敛的。例如，用于处理错误情况的函数。

noreturn：

一个函数被__declspec(noreturn)所修饰，那么它的含义是告诉编译器，这个函数不会返回，其结果是让编译器知道被修饰为__declspec(noreturn)的函数之后的代码不可到达。

如果编译器发现一个函数有无返回值的代码分支，编译器将会报C4715警告，或者C2202错误信息。如果这个代码分支是因为函数不会返回从而无法到达的话，可以使用约定__declspec(noreturn)来避免上述警告或者错误。

将一个期望返回的函数约定为__declspec(noreturn)将导致未定义的行为。

在下面的这个例子中，main函数没有从else分支返回，所以约定函数fatal为__declspec(noreturn)来避免编译或警告信息。

__declspec(noreturn) extern void fatal () {}

int main() {

if(1)

return 1;

else if(0)

return 0;

else

fatal();

}

nothrow:

格式：return-type __declspec(nothrow) [call-convention] function-name ([argument-list])

可用于函数声明。告诉编译器被声明的函数以及函数内部调用的其它函数都不会抛出异常。

novtable：

可用于任何类声明中，但最好只用于纯接口类，即类本身从不实例化。此关键字的声明将阻止编译器对构造和析构函数的vfptr的初始化。可优化编译后代码大小。

如果试图实例化一个用__declspec(novtable)声明的类然后访问类中成员，则会在运行时产生访问错误(access violation，即AV)。

process：

表示你的托管应用程序进程应该拥有一份指定全局变量，静态成员变量，或所有应用程序域共享的静态本地变量的拷贝。在使用/clr:pure进行编译时，应该使用__declspec(process)，因为使用/clr:pure进行编译时，在默认情况下，每个应用程序域拥有一份全局和静态变量的拷贝。在使用/clr进行编译时，不必使用__declspec(process)，因为使用/clr进行编译时，在默认情况下，每个进程有一份全局和静态变量的拷贝。

只有全局变量，静态成员变量，或本地类型的本地静态变量可以用__declspec(process)修饰。

在使用/clr:pure进行编译时，被声明为__declspec(process)的变量同时也应该声明为const类型。

如果想每个应用程序域拥有一份全局变量的拷贝时，请使用appdomain。

property：

格式：

__declspec( property( get=get_func_name ) ) declarator

__declspec( property( put=put_func_name ) ) declarator

__declspec( property( get=get_func_name, put=put_func_name ) ) declarator

该属性可用于类或结构定义中的非静态“虚数据成员”。实际上就是做了一个映射，把你的方法映射成属性，以供访问。get和put就是属性访问的权限，一个是读的权限，一个是写的权限。当编译器看到被property修饰的数据成员出现在成员选择符("." 或"->")的右边的时候，它将把该操作转换成get或put方法。该修饰符也可用于类或结构定义中的空数组。

用法如下：

struct S {

int i;

void putprop(int j) {

i = j;

}

int getprop() {

return i;

}

__declspec(property(get = getprop, put = putprop)) int the_prop;

};

int main() {

S s;

s.the_prop = 5;

return s.the_prop;

}

selectany：

格式：__declspec(selectany) declarator

在MFC，ATL的源代码中充斥着__declspec(selectany)的声明。selectany可以让我们在.h文件中初始化一个全局变量而不是只能放在.cpp中。比如有一个类，其中有一个静态变量，那么我们可以在.h中通过类似__declspec(selectany) type class::variable = value;这样的代码来初始化这个全局变量。既是该.h被多次include，链接器也会为我们剔除多重定义的错误。对于template的编程会有很多便利。

用法如下：

__declspec(selectany) int x1=1; //正确，x1被初始化，并且对外部可见

const __declspec(selectany) int x2 =2; //错误，在C++中，默认情况下const为static；但在C中是正确的，其默认情况下const不为static

extern const __declspec(selectany) int x3=3; //正确，x3是extern const，对外部可见

extern const int x4;

const __declspec(selectany) int x4=4; //正确，x4是extern const，对外部可见

extern __declspec(selectany) int x5; //错误，x5未初始化，不能用__declspec(selectany)修饰

class X {

public:

X(int i){i++;};

int i;

};