c++中__declspec

第一篇：

c++ 中__declspec 的用法

语法说明：

__declspec ( extended-decl-modifier-seq )

扩展修饰符：

1：align(#) 

   用__declspec(align(#))精确控制用户自定数据的对齐方式 ，#是对齐值。

e.g

__declspec(align(32)) 
struct Str1{
int a, b, c, d, e;
};

【转】它与#pragma pack()是一对兄弟，前者规定了对齐的最小值，后者规定了对齐的最大值。同时出现时，前者优先级高。 __declspec(align())的一个特点是，
它仅仅规定了数据对齐的位置，而没有规定数据实际占用的内存长度，当指定的数据被放置在确定的位置之后，其后的数据填充仍然是按照#pragma pack规定的方式填充的，这时候类/结构的实际大小和内存格局的规则是这样的：在__declspec(align())之前，数据按照#pragma pack规定的方式填充，如前所述。当
遇到__declspec(align())的时候，首先寻找距离当前偏移向后最近的对齐点（满足对齐长度为max(数据自身长度,指定值))，然后把被指定的数据类型从这个
点开始填充，其后的数据类型从它的后面开始，仍然按照#pragma pack填充，直到遇到下一个__declspec(align())。当所有数据填充完毕，把结构的整体对
齐数值和__declspec(align())规定的值做比较，取其中较大的作为整个结构的对齐长度。 特别的，当__declspec(align())指定的数值比对应类型长度小
的时候，这个指定不起作用。
2: allocate("segname") 
用__declspec(allocate("segname")) 声明一个已经分配了数据段的一个数据项。它和#pragma 的code_seg， const_seg, data_seg,section,init_seg配合使用，segname必须有这些东东声明。 

e.g
#pragma data_seg("share_data")
int a = 0;
int b;
#pragma data_seg() __declspec(allocate("share_data")) int c = 1;
__declspec(allocate("share_data")) int d;
3. deprecated  
用__declspec(deprecated ) 说明一个函数，类型，或别的标识符在新的版本或未来版本中不再支持，你不应该用这个函数或类型。它和#pragma deprecated作用一样。

e.g
#define MY_TEXT "function is deprecated"
void func1(void) {}
__declspec(deprecated) void func1(int) { printf("func1n");}
__declspec(deprecated("** this is a deprecated function **")) void func2(int) { printf("func2n");}
__declspec(deprecated(MY_TEXT)) void func3(int) { printf("func3");} 
int main()
{  
fun1();  
fun2(); 
fun3();
}
4.dllimport 和dllexport 

用__declspec(dllexport)，__declspec(dllimport)显式的定义dll接口给调用它的exe或dll文件，用 dllexport定义的函数不再需要（.def）文件声明这些函数接口了。注意：若在dll中定义了模板类那它已经隐式的进行了这两种声明，我们只需在 调用的时候实例化即可，呵呵。

e.g 常规方式dll中
class ___declspec(dllexport) 
testdll{  
testdll(){}; 
~testdll(){};
};

调用客户端中声明
#import comment(lib, "**.lib)
class ___declspec(dllimportt) 
testdll{ 
testdll(){};  
~testdll(){};
}; 

e.g 模板类：dll中
template<class t>
class test{
test(){};
~test(){};
}
调用客户端中声明
int main()
{
test< int > b;
return 0;
} 
5. jitintrinsic

用__declspec(jitintrinsic)标记一个函数或元素为64位公共语言运行时。具体用法未见到。
6. __declspec( naked )  

对于没有用naked声明的函数一般编译器都会产生保存现场（进入函数时编译器会产生代码来保存ESI，EDI，EBX，EBP寄存器 ——prolog）和清除现场（退出函数时则产生代码恢复这些寄存器的内容——epilog） 代码，而对于用naked声明的函数一般不会产生这些代码，这个属性对于写设备驱动程序非常有用，我们自己可以写这样一个过程，它仅支持x86 。naked只对函数有效，而对类型定义无效。对于一个标志了naked的函数不能产生一个内联函数即时使用了__forceinline 关键字。 

e.g__declspec ( naked ) func()
{
int i;
int j;
__asm    /* prolog */
{
push ebp
mov    ebp, esp
sub    esp, __LOCAL_SIZE
}
/* Function body */
__asm    /* epilog */
{
mov    esp, ebp
pop    ebp
ret
}
} 
7. restrict 和 noalias 

__declspec(restrict) 和 __declspec(noalias)用于提高程序性能，优化程序。这两个关键字都仅用于函数，restrict针对于函数返回指针，restrict 说明函数返回值没有被别名化，返回的指针是唯一的，没有被别的函数指针别名花，也就是说返回指针还没有被用过是唯一的。编译器一般会去检查指针是否可用和 是否被别名化，是否已经在使用，使用了这个关键字，编译器就不在去检查这些信息了。noalias 意味着函数调用不能修改或引用可见的全局状态并且仅仅修改指针参数直接指向的内存。如果一个函数指定了noalias关键字，优化器认为除参数自生之外， 仅仅参数指针第一级间接是被引用或修改在函数内部。可见全局状态是指没有定义或引用在编码范围外的全部数据集，它们的直至不可以取得。编码范围是指所有源 文件或单个源文件。其实这两个关键字就是给编译器了一种保证，编译器信任他就不在进行一些检查操作了。

e.g
#include <stdio.h>
#include <stdlib.h>
#define M 800#define N 600#define P 700float * mempool, * memptr;
__declspec(restrict) float * ma(int size)
{ 
float * retval;  
   retval = memptr;  
   memptr += size; 
return retval;
}
__declspec(restrict) float * init(int m, int n)
{ 
float * a;  
   int i, j; 
int k=1; 
a = ma(m * n);  
   if (!a) exit(1); 
for (i=0; i<m; i++)       
   for (j=0; j<n; j++)    
   a[i*n+j] = 0.1/k++; 
return a;
}
__declspec(noalias) void multiply(float * a, float * b, float * c)
{ 
int i, j, k; 
for (j=0; j<P; j++)  
   for (i=0; i<M; i++) 
       for (k=0; k<N; k++) 
         c[i * P + j] = a[i * N + k] *    b[k * P + j];
}

int main()
{  
   float * a, * b, * c; 
mempool = (float *) malloc(sizeof(float) * (M*N + N*P + M*P)); 
if (!mempool)    
puts("ERROR: Malloc returned null"); exit(1); 
memptr = mempool;  
   a = init(M, N); 
b = init(N, P); 
c = init(M, P);    
multiply(a, b, c);
} 
8. noinline__declspec(noinline) 

告诉编译器不去内联一个具体函数。
9. noreturn__declspec(noreturn) 

告诉编译器没有返回值.注意添加__declspec(noreturn)到一个不希望返回的函数会导致已没有定义错误. 

10.nothrow__declspec(nothrow) 

用于函数声明,它告诉编译器函数不会抛出异常。

e.g
#define WINAPI __declspec(nothrow) __stdcall
void WINAPI f1();
void __declspec(nothrow) __stdcall f2();
void __stdcall f3() throw();
11.novtable __declspec(novtable)

用在任意类的声明,但是只用在纯虚接口类,因此这样的不能够被自己实例话.它阻止编译器初始化虚表指针在构造和析构类的时候,这将移除对关联到类的虚表的 引用.如果你尝试这实例化一个有novtable关键字的类,它将发生AV(access violation)错误.C++里virtual的缺陷就是vtable会增大代码的尺寸,在不需要实例化的类或者纯虚接口的时候,用这个关键字可以减 小代码的大小.

e.g
#if _MSC_VER >= 1100 && !defined(_DEBUG)
#define AFX_NOVTABLE __declspec(novtable)
#else
#define AFX_NOVTABLE
#endif
....
class AFX_NOVTABLE CObject
{
...
};
这是vc里面的一段代码,我们可以看出编译Release版本时，在CObject前是__declspec(novtable)，在debug版本没有这个限制。


e.g
#include <stdio.h>
struct __declspec(novtable) X
{  
virtual void mf();
};
struct Y : public X 
{ 
void mf() 
{    
printf_s("In Yn"); 
}
};
12.selectany的作用 (转) 

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

e.g
class test
{
public: 
static int t;
};
__declspec(selectany) int test::t = 0; 
13.thread  

thread 用于声明一个线程本地变量. __declspec(thread)的前缀是Microsoft添加给Visual C++编译器的一个修改符。它告诉编译器，对应的变量应该放入可执行文件或DLL文件中它的自己的节中。__declspec(thread)后面的变量 必须声明为函数中（或函数外）的一个全局变量或静态变量。不能声明一个类型为__declspec(thread)的局部变量。

e.g
__declspec(thread) 
class X{
public: 
int I; 
} x; // x is a thread objectX y; // y is not a thread object 

14.uuid__declspec(uuid)

用于编译器关联一个GUID到一个有uuid属性的类或结构的声明或者定义.

e.gstruct __declspec(uuid("00000000-0000-0000-c000-000000000046")) IUnknown;struct __declspec(uuid("{00020400-0000-0000-c000-000000000046}")) IDispatch;我们可以在MFC中查看源码.:)

 

另一篇：

“__declspec”是Microsoft c++中专用的关键字，它配合着一些属性可以对标准C++进行扩充。这些属性有：align、allocate、deprecated、 dllexport、dllimport、 naked、noinline、noreturn、nothrow、novtable、selectany、thread、property和uuid。

1,_declspec
(1)用法一定义接口

#include <IOSTREAM>
using namespace std;

#define interface class __declspec(novtable)

interface ICodec
{
public:
    virtual bool Decode(char * lpDataSrc,unsigned int nSrcLen,char * lpDataDst,unsigned int *pnDstLen);
    virtual bool Encode(char * lpDataSrc,unsigned int nSrcLen,char * lpDataDst,unsigned int *pnDstLen);
};

ICodec 同等于如下：

1class ICodec
2{
3public:
4    virtual bool Decode(char * lpDataSrc,unsigned int nSrcLen,char * lpDataDst,unsigned int *pnDstLen)=0;
5    virtual bool Encode(char * lpDataSrc,unsigned int nSrcLen,char * lpDataDst,unsigned int *pnDstLen)=0;
6};

2,用法二，定义类的属性
属性，是面向对象程序设计中不可缺少的元素，广义的属性是用来描述一个对象所处于的状态。而我们这篇文章所说的属性是狭义的，指能用“=”操作符对类的一个数据进行get或set操作，而且能控制get和set的权

 1#include <IOSTREAM>
 2#include <map>
 3#include <string>
 4#include <CONIO.H>
 5using namespace std;
 6
 7class propertytest
 8{
 9    int m_xvalue;
10    int m_yvalues[100];
11    map<string,string> m_zvalues;
12public:
13    __declspec(property(get=GetX, put=PutX)) int x;
14    __declspec(property(get=GetY, put=PutY)) int y[];
15    __declspec(property(get=GetZ, put=PutZ)) int z[];
16
17    int GetX()
18    {
19        return m_xvalue;
20    };
21    void PutX(int x)
22    {
23        m_xvalue = x;
24    };
25    
26    int GetY(int n)
27    {
28        return m_yvalues[n];
29    };
30
31    void PutY(int n,int y)
32    {
33        m_yvalues[n] = y;
34    };
35
36    string GetZ(string key)
37    {
38        return m_zvalues[key];
39    };
40
41    void PutZ(string key,string z)
42    {
43        m_zvalues[key] = z;
44    };
45
46};
47
48int main(int argc, char* argv[])
49{
50    propertytest test;
51    test.x = 3;
52    test.y[3] = 4;
53    test.z["aaa"] = "aaa";
54    std::cout << test.x <<std::endl;
55    std::cout << test.y[3] <<std::endl;
56    std::cout << test.z["aaa"] <<std::endl;
57
58    getch();
59    return 0;
60}

3,用法三,
_declspec(dllimport)     是说这个函数是从别的DLL导入。我要用。
_declspec(dllexport)   是说这个函数要从本DLL导出。我要给别人用。

如,

#define Test_API __declspec(dllexport)

Class test
{
   public:
   Test_API HRESULT WINAPI Initialize(LPCTSTR filename);
}

 

4. __declspec(align(16)) struct SS{ int a,b; };
 它与#pragma pack()是一对兄弟，前者规定了对齐的最小值，后者规定了对齐的最大值。同时出现时，前者优先级高。 __declspec(align())的一个特点是，它仅仅规定了数据对齐的位置，而没有规定数据实际占用的内存长度，当指定的数据被放置在确定的位置之后，其后的数据填充仍然是按照#pragma pack规定的方式填充的，这时候类/结构的实际大小和内存格局的规则是这样的：在__declspec(align())之前，数据按照#pragma pack规定的方式填充，如前所述。当遇到__declspec(align())的时候，首先寻找距离当前偏移向后最近的对齐点（满足对齐长度为max (数据自身长度,指定值))，然后把被指定的数据类型从这个点开始填充，其后的数据类型从它的后面开始，仍然按照#pragma pack填充，直到遇到下一个__declspec(align())。当所有数据填充完毕，把结构的整体对齐数值和__declspec(align ())规定的值做比较，取其中较大的作为整个结构的对齐长度。 特别的，当__declspec(align())指定的数值比对应类型长度小的时候，这个指定不起作用。

5. #pragma section("segname",read)
    / __declspec(allocate("segname")) int i = 0;
    / int main(){ return 1;};
 此关键词必须跟随code_seg,const_seg,data_seg,init_seg,section关键字之后使用，以上例子使用了section关键字。使用此关键字将告知编译器，其后的变量间被分配在那个数据段。

6. __declspec(deprecated(MY_TEXT)) void func(int) {}
 与pragma deprecated()相同。此声明后，如果在同一作用域中使用func(int)函数，将被提醒c4996警告。

7. __declspec(jitintrinsic)
 用于标记一个函数或元素为64位公共语言运行时。具体用法未见到。

8. __declspec( naked ) int func( formal_parameters ) {}
 此关键字仅用于x86系统，多用于硬件驱动。此关键字可以使编译器在生成代码时不包含任何注释或标记。仅可以对函数的定义使用，不能用于数据声明、定义，或者函数的声明。

9. __declspec(restrict) float * init(int m, int n) {};
   & __declspec(noalias) void multiply(float * a, float * b, float * c) {}；// 优化必用！
 __declspec (restrict)仅适用于返回指针的函数声明，如 __declspec(restrict) void *malloc(size_t size);restrict declspec 适用于返回非别名指针的函数。此关键字用于 malloc 的 C 运行时库实现，因为它决不会返回已经在当前程序中使用的指针值（除非您执行某个非法操作，如在内存已被释放之后使用它）。restrict declspec 为编译器提供执行编译器优化的更多信息。对于编译器来说，最大的困难之一是确定哪些指针会与其他指针混淆，而使用这些信息对编译器很有帮助。有必要指出，这是对编译器的一个承诺，编译器并不对其进行验证。如果您的程序不恰当地使用 restrict declspec，则该程序的行为会不正确。 __declspec(noalias)也是仅适用于函数，它指出该函数是半纯粹的函数。半纯粹的函数是指仅引用或修改局部变量、参数和第一层间接参数。此 declspec 是对编译器的一个承诺，如果该函数引用全局变量或第二层间接指针参数，则编译器会生成将中断应用程序的代码。

10. class X {
   / __declspec(noinline) int mbrfunc() { return 0; /* will not inline*/ };
 在类中声明一个函数不需要内联。

11. __declspec(noreturn) extern void fatal () {}
 不需要返回值。

12. void __declspec(nothrow) __stdcall f2();
 不存在异常抛出。

13. struct __declspec(novtable) X { virtual void mf(); };
    / struct Y : public X {void mf() {printf_s("In Y/n");}};
 此关键字标记的类或结构不能直接实例化，否则将引发AV错误(access violation)。此关键字的声明将阻止编译器对构造和析构函数的vfptr的初始化。可优化编译后代码大小。

12. struct S {   int i;
    / void putprop(int j) {  i = j; }
    / int getprop() { return i; }
    / __declspec(property(get = getprop, put = putprop)) int the_prop;};
  此关键字与C#中get & set属性相同，可定义实现针对一个字段的可读或可写。以上例子，可以使用(如果实例化S为ss)如：ss.the_prop = 156;(此时，ss.i == 156)接着如果：cout<< s.the_prop;(此时将调用getprop，使返回156)。

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

15. __declspec(thread) int in_One_Thread;
 声明in_One_Thread为线程局部变量并具有线程存储时限，以便链接器安排在创建线程时自动分配的存储。

16. struct __declspec(uuid("00000000-0000-0000-c000-000000000046")) IUnknown;
 将具有唯一表示符号的已注册内容声明为一个变量，可使用__uuidof()调用。