[VS 2005 IDE : C++Complier] Microsoft-Specific Modifiers' Usage

 

 

__based
{
  该关键字主要用来解决一些和共享内存有关的问题,它允许指针被定义为从某一点(指针)开始算的32位偏移值,
 而不是内存中的绝对位置. 每当用__based指针处理数据,CPU为其加上基地址,以指向真正的位置.

 指针vpBuffer在之后代码中指向一段被分配的内存,则llist相对于vpBuffer重新予以定位.
 // based_pointers1.cpp
 // compile with: /c
 void *vpBuffer;
 struct llist_t {
    void __based( vpBuffer ) *vpData;
    struct llist_t __based( vpBuffer ) *llNext;
 };

  以下代码示范了通过改变__based指针的基指针来改变它的指向
 // based_pointers2.cpp
 // compile with: /EHsc
 #include <iostream>

 int a1[] = { 1,2,3 };
 int a2[] = { 10,11,12 };
 int *pBased;

 typedef int __based(pBased) * pBasedPtr;

 using namespace std;
 int main() {
    pBased = &a1[0];
    pBasedPtr pb = 0;

    cout << *pb << endl;
    cout << *(pb+1) << endl;

    pBased = &a2[0];

    cout << *pb << endl;
    cout << *(pb+1) << endl;
 }

 #OUTPUT$
 1
 2
 10
 11
}

__declspec(...) 配合以下属性以对标准C++语法进行扩充
{
 align(字节数) 类名 //数据对齐
  将类/结构的数据按照设置的字节数对齐,在机器中占用设置字节数的整数倍

 allocate("SegName") 数据名//分配数据到指定的节
   不同于
   #pragma data_seg("SegName",I/O属性)
   //We put some identifier here...
   #pragma data_seg()
  结构,allocate指令强制使编译器将之后的数据放入指定的节,而不考虑数据是否已初始化,
  SegName可以是:
   code_seg
   const_seg
   data_seg
   init_seg
   通过"#pragma data_seg("SegName",I/O属性)"指令定义的seg

 appdomain 数据名 //声明应用程序域变量 {For CLR}

 deprecated(警告内容) 标识符//废弃指定的标识符
   若该标识符在之后的代码处再次使用,则编译器发出当时指定的警告消息.
  独立的"__deprecated"标识符与其等价,但只能产生C4996警告

 dllexport, dllimport//导出/入 DLL
   这两个属性显式地向DLL的客户代码定义它的接口(客户代码可以是可执行文件或另一个DLL),dllexport的对象必须予以定义,而dllimport只可用于声明而不可用于定义。
  使用dllexport声明函数可以免除对模块定义文件(.DEF)的需求,若使用.DEF文件,需要将C++函数声明为extern "C"形式,而使用dllexport则不需要.
  由于static变量默认表示定义,需要通过使用extern __declspec(dllimport)显式告知编译器该变量是一个声明.
  //IM/EXPORT CLASSES
  你可以使用这两个属性来描述一个C++类,使它成为一个可导出的类(客户需拥有相同以及明确的类定义,或者LinkErr),不过纯虚函数是一个例外.
  若一个类被标以__declspec(dllexport),类结构中的任何类模板将隐式地被赋予同样的属性,这表示模板被显式实例化,并且它的成员必须有定义.  
  如果你的导出函数中使用了特定的类型,则必须同时导出该类型.如果导出类型是一个子类型,须同时导出他的(多重继承->复数个)基类型.
  允许导出类型继承自一个导入类型 或 导入类型继承自一个导出类型(然而不推荐使用后者).
  //特别地
  [*] 可以在一个类型的成员和成员函数中有选择地使用dllimport dllexport,此种情况暂不予讨论,请查阅MSDN相关内容.
  [*] 应该使用dllexport替代代码中存在着的__export(16-Bit遗留).
  [*] 当一个项目同时具有这两种属性的声明,则dllexport优先,否则,编译器将发出一个警告.
   
 jitintrinsic  // {For CLR}

 naked 函数名  //不可用于声明
   一般函数调用情况下,进入函数时编译器会产生代码来保存ESI,EDI,EBX,EBP寄存器,退出函数时则产生代码恢复这些寄存器的内容.
  而用__declspec(naked)修饰的函数不产生这种代码.
 
 noalias

 noinline 函数名  //非内联函数
  显示声明一个函数不是内联函数,用于定义类型中的非内联成员函数(成员函数在类型声明中定义将默认为内联函数)

 noreturn 函数名  //函数没有返回值
  显示声明一个函数没有返回值,若使用函数定义中返回某个值,将引起编译器警告

 nothrow 函数名  //函数不抛出异常 SEH
  显示声明一个函数中不抛出异常,若函数定义中抛出一个异常,编译器将忽略它并发出一个警告

 novtable   //没有虚函数表
  将类声明为接口,成员函数皆为纯虚函数

 process 数据名  //实例进程域变量 {For CLR}

 property(get=取值成员函数名,put=赋值成员函数名) 类的成员 //将类的一个成员定义为类的"属性" {For CLR}
  该成员可用'='操作符进行get或set操作,且能控制get和set的权限.(近似于操作符重载)

 restrict 函数名  //将函数及其内部指针变量声明为restrict(C99直接支持restrict关键字)
   只用于限定指针,用于告知编译器,所有修改该指针所指向内容的操作全部都是基于(base on)该指针的,
  即不存在其它进行修改操作的途径;这样的后果是帮助编译器进行更好的代码优化,生成更有效率的汇编代码.
  //例子: x指向的内容只可通过x来修改,即x!=y
  int foo (int* x, int* y)
  {
   *x = 0;
   *y = 1;
   return *x;
  }

 selectany 变量名 // {For 范型编程 类模板}
   允许在.h文件(被用作接口)中初始化一个全局变量(如类中的静态变量)而不是只能放在.cpp中.
  在.h中通过 __declspec(selectany) 变量名 = 初值 来初始化这个全局变量.即使该.h被多次包含,
  链接器将自动剔除多重定义错误.

 thread 全局变量名 //指示编译器为进程中每一个线程分配相互独立的全局变量 {TLS(Thread Local Storage)}
  //例子:
  // declspec_thread.cpp
  // compile with: /LD
  __declspec(thread) class X
  {
   //Some data here...
  } x;      // x is a thread object
  __declspec(thread) X y;  // y declared thread local.
  X z;      // z is not a thread object

 uuid 类型名   //指示编译器将一个GUID与一个类型相关联,在定义处使用该属性只适用于完全COM对象定义.
}

ALIGN的用法说明:
{
 __declspec(align(4)) struct EXAMPLE_A
 {
     BYTE    Data_BYTE;
 };
 #OUTPUT$ sizeof(EXAMPLE_A) = 4

 __declspec(align(4)) struct EXAMPLE_B
 {
     DWORD    Data_DWORD;
 };
 #OUTPUT$ sizeof(EXAMPLE_B) = 4

 __declspec(align(4)) struct EXAMPLE_C
 {
     DWORD    Data_DWORD;
     BYTE    Data_BYTE;
 };
 #OUTPUT$ sizeof(EXAMPLE_C) = 8
}

__restrict 变量名
 类似于__declspec(restrict),特用于修饰某个变量(C99直接支持restrict关键字)

 
__w64 数据名
 指明数据类型在64位平台下会变大

 
__unaligned 指针名
 指定一个指针指向不对齐的数据