分享

VC控制全局变量初始化顺序

 9loong 2009-12-09
 

控制全局变量初始化顺序

转自:http://nathan.xuli./cpp_global 

        全局变量的初始化分两种。一种是static initialization,用常量来初始化,在程序被load的时侯就完成了。另一种就是dynamic initialization,简单地说就是需要调一个函数来执行初始化,在CRT的启动代码中会完成这个工作。我要说的就是后一种类型的全局变量。这种类型的全局变量的初始化顺序是由链接器处理translation unit的顺序决定的,对我们而言,它是不定的。所以最好不要写出全局变量初始化顺序有依赖关系的代码。
        
在学习了一些Linker的知识后(参见我的两篇译文Linker In-DepthUnder The Hood: Reduce EXE and DLL Size with LIBCTINY.LIB),我偶而想到了一种可以控制全局变量初始化顺序的方法。关键是使用"#pragma init_seg"指令(只有VC才有吧?不知道别的编译器里是否有对等的东西)。关于#pragma init_seg的用法我就不多说了,请自行查阅MSDN吧,里面还有一个不错的例子。
        
举例说明,假设我有如下的代码:

// a.cpp

CTest1 g_test1 ;

 

// b.cpp

CTest2 g_test2 ;

         在两个cpp文件中分别定义了一个全局变量,你无法明确指出g_test1g_test2谁先谁后,现在假设g_test1g_test2之前初始化,那么修改代码如下:

// a.cpp

#pragma init_seg(".CRT$XCD")
CTest1 g_test1 ;

// b.cpp

#pragma init_seg(".CRT$XCC")
CTest2 g_test2 ;

         我现在可以肯定的说,g_test2g_test1之前初始化!
        
道理其实也很简单,Linker有以下几条规则:

         (1)
指向全局变量初始化代码的指针被放到.CRT$XCU节中。
         (2)
链接器会合并所有相同名字的节。
         (3)
section名字中含有$符号时,链接器把$之前的名字做为最终的节名,$之后的字符串的字典顺序将作为相同名字的节合并时的依据。
        
除此以外,VC的运行时库中已经定义了两个节:.CRT$XCA.CRT$XCZ,并且在每个节中分别定义了一个变量:__xc_a__xc_z。这样.CRT$XCU中的数据以及__xc_a__xc_z就构成一个function pointer table__xc_a__xc_z分别标识头和尾。_initterm函数遍历这个数组,调用每个函数指针,全局变量的初始化工作就是这样完成的。(参考cinitexe.c文件)
        
在上面的代码中,g_test2定义在.CRT$XCC中,g_test1定义在.CRT$XCD中,按照上面的规则,.CRT$XCC将排在.CRT$XCD前面,所以g_test2将在g_test1之前初始化!
        
Microsoft Knowledge Base Article Q104248中也讨论了使用#pragma init_seg控制初始化顺序的方法,但它利用的是链接器三个不同的option所提供的能力,即:#pragma init_seg(compiler)#pragma init_seg(lib)#pragma init_seg(user)。没有我这种方法控制力强。在.CRT$XCA.CRT$XCZ之间还有BY24个级别可供我利用,嘿!

#pragma详解

转自:http://blog./u1/41728/showart_454778.html

#Pragma是预处理指令它的作用是设定编译器的状态或者是指示编译器完成一些特定的动作。#pragma指令对每个编译器给出了一个方法,在保持与CC ++语言完全兼容的情况下,给出主机或操作系统专有的特征。依据定义,编译指示是机器
或操作系统专有的,且对于每个编译器都是不同的。
其格式一般为: #Pragma Para
其中Para 为参数,下面来看一些常用的参数。

(1)message
参数。 Message 参数是我最喜欢的一个参数,它能够在编译信息输出窗
口中输出相应的信息,这对于源代码信息的控制是非常重要的。其使用方法为:
#Pragma message(“
消息文本”)
当编译器遇到这条指令时就在编译输出窗口中将消息文本打印出来。

当我们在程序中定义了许多宏来控制源代码版本的时候,我们自己有可能都会忘记有没有正
确的设置这些宏,此时我们可以用这条指令在编译的时候就进行检查。假设我们希望判断自
己有没有在源代码的什么地方定义了_X86这个宏可以用下面的方法
#ifdef _X86
#Pragma message(“_X86 macro activated!”)
#endif
当我们定义了_X86这个宏以后,应用程序在编译时就会在编译输出窗口里显示“_
X86 macro activated!”
。我们就不会因为不记得自己定义的一些特定的宏而抓耳挠腮了。


(2)
另一个使用得比较多的pragma参数是code_seg。格式如:
#pragma code_seg( [\section-name\[,\section-class\] ] )
它能够设置程序中函数代码存放的代码段,使用没有section-name字符串的#pragmacode_seg可在编译开始时将其复位,当我们开发驱动程序的时候就会使用到它。

(3)#pragma once (
比较常用)
只要在头文件的最开始加入这条指令就能够保证头文件被编译一次,这条指令实际上在VC6
中就已经有了,但是考虑到兼容性并没有太多的使用它。


(4)#pragma hdrstop
表示预编译头文件到此为止,后面的头文件不进行预编译。BCB可以预
编译头文件以加快链接的速度,但如果所有头文件都进行预编译又可能占太多磁盘空间,所
以使用这个选项排除一些头文件。
有时单元之间有依赖关系,比如单元A依赖单元B,所以单元B要先于单元A编译。你可以用#p
ragma startup
指定编译优先级,如果使用了#pragma package(smart_init) BCB就会根据优先级的大小先后编译。


(5)#pragma resource \*.dfm\
表示把*.dfm文件中的资源加入工程。*.dfm中包括窗体
外观的定义。

(6
#pragma warning( disable : 4507 34; once : 4385; error : 164 )
等价于:

#pragma warning(disable:4507 34) //
不显示450734号警告信息
#pragma warning(once:4385) // 4385
号警告信息仅报告一次
#pragma warning(error:164) //
164号警告信息作为一个错误。
同时这个pragma warning 也支持如下格式:
#pragma warning( push [ ,n ] )
#pragma warning( pop )
这里n代表一个警告等级(1---4)
#pragma warning( push )
保存所有警告信息的现有的警告状态。
#pragma warning( push, n)
保存所有警告信息的现有的警告状态,并且把全局警告
等级设定为n
#pragma warning( pop )
向栈中弹出最后一个警告信息,在入栈和出栈之间所作的
一切改动取消。例如:
#pragma warning( push )
#pragma warning( disable : 4705 )
#pragma warning( disable : 4706 )
#pragma warning( disable : 4707 )
//.......
#pragma warning( pop )
在这段代码的最后,重新保存所有的警告信息(包括470547064707)

7pragma comment(...)
该指令将一个注释记录放入一个对象文件或可执行文件中。

常用的lib关键字,可以帮我们连入一个库文件。

8·通过#pragma pack(n)改变C编译器的字节对齐方式
C语言中,结构是一种复合数据类型,其构成元素既可以是基本数据类型(如int
long
float等)的变量,也可以是一些复合数据类型(如数组、结构、联合等)的
数据单元。在结构中,编译器为结构的每个成员按其自然对界(alignment)条件分
配空间。各个成员按照它们被声明的顺序在内存中顺序存储,第一个成员的地址和
整个结构的地址相同。
例如,下面的结构各成员空间分配情况:
struct test
{
        char x1;
        short x2;
        float x3;
        char x4;
};
       
结构的第一个成员x1,其偏移地址为0,占据了第1个字节。第二个成员x2
short
类型,其起始地址必须2字节对界,因此,编译器在x2x1之间填充了一个
空字节。结构的第三个成员x3和第四个成员x4恰好落在其自然对界地址上,在它
们前面不需要额外的填充字节。在test结构中,成员x3要求4字节对界,是该结构
所有成员中要求的最大对界单元,因而test结构的自然对界条件为4字节,编译器
在成员x4后面填充了3个空字节。整个结构所占据空间为12字节。更改C编译器的
缺省字节对齐方式
      
在缺省情况下,C编译器为每一个变量或是数据单元按其自然对界条件分配
空间。一般地,可以通过下面的方法来改变缺省的对界条件:
  · 使用伪指令#pragma pack (n)C编译器将按照n个字节对齐。
        ·
使用伪指令#pragma pack (),取消自定义字节对齐方式。
       
另外,还有如下的一种方式:
        · __attribute((aligned (n)))
,让所作用的结构成员对齐在n字节自然边界上。
如果结构中有成员的长度大于n,则按照最大成员的长度来对齐。
        · __attribute__ ((packed))
,取消结构在编译过程中的优化对齐,按照实际
占用字节数进行对齐。
以上的n = 1, 2, 4, 8, 16... 第一种方式较为常见。
应用实例
  在网络协议编程中,经常会处理不同协议的数据报文。一种方法是通过指针偏移的
方法来得到各种信息,但这样做不仅编程复杂,而且一旦协议有变化,程序修改起来
也比较麻烦。在了解了编译器对结构空间的分配原则之后,我们完全可以利用这
一特性定义自己的协议结构,通过访问结构的成员来获取各种信息。这样做,
不仅简化了编程,而且即使协议发生变化,我们也只需修改协议结构的定义即可,
其它程序无需修改,省时省力。下面以TCP协议首部为例,说明如何定义协议结构。
其协议结构定义如下:
#pragma pack(1) //
按照1字节方式进行对齐
struct TCPHEADER
{
        short SrcPort; // 16
位源端口号
        short DstPort; // 16
位目的端口号
        int SerialNo; // 32
位序列号
        int AckNo; // 32
位确认号
        unsigned char HaderLen : 4; // 4
位首部长度
        unsigned char Reserved1 : 4; //
保留6位中的4
        unsigned char Reserved2 : 2; //
保留6位中的2
        unsigned char URG : 1;
        unsigned char ACK : 1;
        unsigned char PSH : 1;
        unsigned char RST : 1;
        unsigned char SYN : 1;
        unsigned char FIN : 1;
        short WindowSize; // 16
位窗口大小
        short TcpChkSum; // 16
TCP检验和
        short UrgentPointer; // 16
位紧急指针
};
#pragma pack() //
取消1字节对齐方式 

指定连接要使用的库
比如我们连接的时候用到了 WSock32.lib,你当然可以不辞辛苦地把它加入到你的工程中。但是我觉得更方便的方法是使用 #pragma 指示符,指定要连接的库:
#pragma comment(lib, "WSock32.lib")

 

附加:

每种CC++的实现支持对其宿主机或操作系统唯一的功能。例如,一些程序需要精确控制超出数据所在的储存空间,或着控制特定函数接受参数的方式。#pragma指示使每个编译程序在保留CC++语言的整体兼容性时提供不同机器和操作系统特定的功能。编译指示被定义为机器或操作系统特定的,并且通常每种编译程序是不同的。

语法:

#pragma token_string

“token_string”是一系列字符用来给出所需的特定编译程序指令和参数。数字符号“#”必须是包含编译指令的行中第一个非空白字符;而空白字符可以隔开数字符号“#”和关键字“pragma”。在#pragma后面,写任何翻译程序能够作为预处理符号分析的文本。#pragma的参数类似于宏扩展。

如果编译程序发现它不认得一个编译指示,它将给出一个警告,可是编译会继续下去。

为了提供新的预处理功能,或者为编译程序提供由实现定义的信息,编译指示可以用在一个条件语句内。CC++编译程序可以识别下列编译程序指令。

alloc_text

comment

init_seg*

optimize

auto_inline

component

inline_depth

pack

bss_seg

data_seg

inline_recursion

pointers_to_members*

check_stack

function

intrinsic

setlocale

code_seg

hdrstop

message

vtordisp*

const_seg

include_alias

once

warning

*仅用于C++编译程序。

1  alloc_text

#pragma alloc_text( "textsection", function1, ... )

命名特别定义的函数驻留的代码段。该编译指示必须出现在函数说明符和函数定义之间。

alloc_text编译指示不处理C++成员函数或重载函数。它仅能应用在以C连接方式说明的函数——就是说,函数是用extern "C"连接指示符说明的。如果你试图将这个编译指示应用于一个具有C++连接方式的函数时,将出现一个编译程序错误。

由于不支持使用__based的函数地址,需要使用alloc_text编译指示来指定段位置。由textsection指定的名字应该由双引号括起来。

alloc_text编译指示必须出现在任何需要指定的函数说明之后,以及这些函数的定义之前。

alloc_text编译指示中引用的函数必须和该编译指示处于同一个模块中。如果不这样做,使以后一个未定义的函数被编译到一个不同的代码段时,错误会也可能不会被捕获。即使程序一般会正常运行,但是函数不会分派到应该在的段。

alloc_text的其它限制如下:

它不能用在一个函数内部。

它必须用于函数说明以后,函数定义以前。

2  auto_inline

#pragma auto_inline( [{on | off}] )

当指定off时将任何一个可以被考虑为作为自动嵌入扩展候选的函数排除出该范围。为了使用auto_inline编译指示,将其紧接着写在一个函数定义之前或之后(不是在其内部)。该编译指示将在其出现以后的第一个函数定义开始起作用。auto_inline编译指示对显式的inline函数不起作用。

3  bss_seg

#pragma data_seg( ["section-name"[, "section-class"] ] )

为未初始化数据指定缺省段。data_seg编译指示除了工作于已初始化数据而不是未初始化的以外具有一样的效果。在一些情况下,你能使用bss_seg将所有未初始化数据安排在一个段中来加速你的装载时间。

#pragma bss_seg( "MY_DATA" )

将导致把#pragma语句之后的未初始化的数据安排在一个叫做MY_DATA的段中。

bss_seg编译指示分配的数据不包含任何关于其位置的信息。

第二个参数section-class是用于兼容2.0版本以前的Visual C++的,现在将忽略它。

4  check_stack

#pragma check_stack([ {on | off}] )

#pragma check_stack{+ | –}

如果指定off(或者“-”)指示编译程序关闭堆栈探测,或者指定on(或“+”)打开堆栈探测。如果没有给出参数,堆栈探测将根据默认设置决定。该编译指示将在出现该指示之后的第一个函数开始生效。堆栈探测既不是宏和能够生成嵌入代码函数的一部分。

如果你没有给出check­_stack编译指示的参数,堆栈检查将恢复到在命令行指定的行为。详细情况见编译程序参考。#pragma check_stack/Gs选项的互相作用情况在表2.1中说明。

2.1 使用check_stack编译指示

编译指示

/Gs选项编译?

行为

#pragma check_stack()#pragma check_stack

后续的函数关闭堆栈检查

#pragma check_stack()#pragma check_stack

后续的函数打开堆栈检查

#pragma check_stack(on)#pragma check_stack(+)

是或者否

后续的函数打开堆栈检查

#pragma check_stack(off)#pragma check_stack(-)

是或者否

后续的函数关闭堆栈检查

5  code_seg

#pragma code_seg( ["section-name"[,"section-class"] ] )

指定分配函数的代码段。code_seg编译指示为函数指定默认的段。你也能够像段名一样指定一个可选的类名。使用没有段名字符串的#pragma code_seg将恢复分配到编译开始时候的状态。

6  const_seg

#pragma const_seg( ["section-name"[, "section-class"] ] )

指定用于常量数据的默认段。data_seg编译指示除了可以工作于所有数据以外具有一样的效果。你能够使用该编译指示将你的常量数据保存在一个只读的段中。

#pragma const_seg( "MY_DATA" )

导致在#pragma语句后面的常量数据分配在一个叫做MY_DATA的段中。

const_seg编译指示分配的数据不包含任何关于其位置的信息。

第二个参数section-class是用于兼容2.0版本以前的Visual C++的,现在将忽略它。

7  comment

#pragma comment( comment-type [, commentstring] )

将描述记录安排到目标文件或可执行文件中去。comment-type是下面说明的五个预定义标识符中的一个,用来指定描述记录的类型。可选的commentstring是一个字符串文字值用于为一些描述类型提供附加的信息。因为commentstring是一个字符串文字值,所以它遵从字符串文字值的所有规则,例如换码字符、嵌入的引号(")和联接。

7-1  compiler

在目标文件中放置编译程序名和版本号。该描述记录被连接程序忽略。如果你为这个记录类型提供一个commentstring参数,编译程序将生成一个警告。

7-2  exestr

commentstring放置到目标文件中去。在连结时,这个字符串再被放到可执行文件去中。当可执行文件被装载时这个字符串不会被装入内存,然而,它可以被一个能够在文件中搜索可打印字符串的程序找到。该描述记录的一个用处是在可执行文件中嵌入版本号或者类似的信息。

7-3  lib

将一个库搜索记录放置到目标文件中去。该描述类型必须有包含你要连接程序搜索的库名(和可能的路径)的commentstring参数。因为在目标文件中该库名先于默认的库搜索记录,所以连接程序将如同你在命令行输入这些库一样来搜索它们。你可以在一个源文件中放置多个库搜索记录,每个记录将按照它们出现在源文件中的顺序出现在目标文件中。

7-4  linker

在目标文件中放置连接程序选项。你可以用这个描述类型指定连接程序选项来代替在Project Setting对话框中Link页内的选项。例如,你可以指定/include选项以强迫包含一个符号:

#pragma comment(linker, "/include:__mySymbol")

7-5  user

在目标文件中包含一个普通描述记录。commentstring参数包含描述的文本。该描述记录将被连接程序忽略。

 

下面的编译指示导致连接程序在连接时搜索EMAPI.LIB库。连接程序首先在当前工作目录然后在LIB环境变量指定的路径中搜索。

#pragma comment( lib, "emapi" )

下面的编译指示导致编译程序将其名字和版本号放置到目标文件中去。

The following pragma causes the compiler to place the name and version number of the compiler in the object file:

#pragma comment( compiler )

注意,对于具有commentstring参数的描述记录,你可以使用其它用作字符串文字量的宏来提供宏扩展为字符串文字量。你也能够联结任何字符串文字量和宏的组合来扩展成为一个字符串文字量。例如,下面的语句是可以接受的:

#pragma comment( user, "Compiled on " __DATE__ " at " __TIME__ )

8  component

#pragma component( browser, { on | off }[, references [, name ]] )

#pragma component( minrebuild, on | off )

 

从源文件内控制浏览信息和依赖信息的收集。

8-1  浏览信息(Browser

你可以将收集打开或关闭,你也可以指定收集时忽略特别的名字。

使用onoff在编译指示以后控制浏览信息的收集。例如:

#pragma component(browser, off)

终止编译程序收集浏览信息。

注意,为了用这个编译指示打开浏览信息的收集,必须先从Project Setting对话框或者命令行允许浏览信息。

references选项可以有也可以没有name参数。使用没有name参数的references选项将打开或者关闭引用信息的收集(然而继续收集其它浏览信息)。例如:

#pragma component(browser, off, references)

终止编译程序收集引用信息。

使用有nameoff参数的references选项将阻止从浏览信息窗口中出现引用到的名字。用这个语法将忽略你不感兴趣的名字和类型从而减少浏览信息文件的大小。例如:

#pragma component(browser, off, references, DWORD)

从这一点以后忽略DWORD的引用。你能够用on恢复DWORD的引用收集:

#pragma component(browser, on, references, DWORD)

这是唯一的方法可以恢复收集指定名字的引用,你必须显式地打开任何你关闭的名字。

为了防止预处理程序扩展名字(就像扩展NULL0),用引号括起来:

#pragma component(browser, off, references, "NULL")

8-2  最小化重建(Minimal Rebuild

Visual C++的最小化重建功能要求编译程序创建并保存需要大量磁盘空间的C++类依赖信息。为了节省磁盘空间,你能够在你不需要收集依赖信息时使用#pragma component(minrebuild,off),例如,没有改变过头文件。在未修改过的类之后插入#pragma component(minrebuild,on)重新打开依赖信息。

详见Enable Minimal Rebuild(/Gm)编译程序选项。

9  data_seg

#pragma data_seg( ["section-name"[, "section-class"] ] )

指定数据的默认段。例如:

#pragma data_seg( "MY_DATA" )

导致在#pragma语句后分配的数据保存在一个叫做MY_DATA的段中。

data_seg编译指示分配的数据不包含任何关于其位置的信息。

第二个参数section-class是用于兼容2.0版本以前的Visual C++的,现在将忽略它。

10  function

#pragma function( function1 [, function2, ...] )

指定必须生成对编译指示中参数列表内函数的调用。如果你使用intrinsic编译指示(或者/Oi)来告诉编译程序生成内含函数(内含函数如同嵌入代码一样生成,不作为一个函数调用),你能够用function编译指示显式地强迫函数调用。当遇到一个function编译指示,它将在其后面遇到的第一个包含有内含函数的函数定义处生效。其持续作用到源文件的尾部或者出现对同一个内含函数指定intrinsic编译指示。function编译指示只能用于函数外——在全局层次。

为了列出具有内含形式的函数表,参见#pragma intrinsic

11  hdrstop

#pragma hdrstop [( "filename" )] 

控制预编译头文件的工作方式。filename是要使用或者创建(依赖于是否指定了/Yu/Yc)预编译头文件的名字。如果 filename不包括一个指定路径,将假定预编译头文件和源文件处于同一个目录中。当指定自动预编译头文件选项/YX时,所有指定的文件名将被忽略。

如果有/YX或者/Yc选项,而且CC++文件包含了一个hdrstop编译指示时,编译程序保存编译指示之前的编译状态。编译指示之后的编译状态不被保存。

hdrstop编译选项不能出现在一个头文件内。它只能出现在源文件的文件级,它也不能出现在任何数据或者函数的说明或定义之中。

注意,除非指定没有文件名的/YX选项或者/Yu/Yc选项,否则hdrstop编译指示将被忽略。

用一个文件名命名要保存编译状态的预编译头文件。在hdrstopfilename之间的空格是可选的。在hdrstop编译指示中的文件名是一个字符串,这样它服从于CC++的字符串规则。特别的,你必须像下面例子里面显示的用引号括起来。

#pragma hdrstop( "c:\projects\include\myinc.pch" )

预编译头文件的文件名按照如下规则决定,按照优先次序:

/Fp编译程序选项的参数;

#pragma hdrstopfilename参数;

原文件名的基本文件名加上.PCH扩展名。

12  include_alias

#pragma include_alias( "long_filename", "short_filename" )

#pragma include_alias( <long_filename>, <short_filename> )

指定作为long_filename别名的short_filename。一些文件系统允许超出8.3FAT文件系统限制的长头文件名。编译程序不能简单地将长文件名截断为8.3名字,因为长头文件名的前8个字符可能不是唯一的。无论何时编译程序遇到long_filename串,它代替short_filename,并且用short_filename搜索头文件。这个编译指示必须出现在相应的#include指示之前。例如:

// First eight characters of these two files not unique.

#pragma include_alias( "AppleSystemHeaderQuickdraw.h", "quickdra.h" )

#pragma include_alias( "AppleSystemHeaderFruit.h", "fruit.h" )

#pragma include_alias( "GraphicsMenu.h", "gramenu.h" )

 

#include "AppleSystemHeaderQuickdraw.h"

#include "AppleSystemHeaderFruit.h"

#include "GraphicsMenu.h"

这个别名在搜索时精确匹配,包括拼写和双引号、尖括号。include_alias编译指示在文件名上执行简单的字符串匹配,不进行其它的文件名验证。例如,给出下列指示:

#pragma include_alias("mymath.h", "math.h")

#include "./mymath.h"

#include "sys/mymath.h"

并不执行别名替代,因为头文件名字符串没有精确匹配。另外,在/Yu/Yc/YX编译程序选项,或hdrstop编译指示中作为参数的头文件名不被替换。例如,如果你的源文件包含下列指示:

#include <AppleSystemHeaderStop.h>

相应的编译程序选项必须是:

/YcAppleSystemHeaderStop.h

你能够用include­_alias编译指示将任何头文件映射到其它文件。例如:

#pragma include_alias( "api.h", "c:\version1.0\api.h" )

#pragma include_alias( <stdio.h>, <newstdio.h> )

#include "api.h"

#include <stdio.h>

不要混淆用双引号和尖括号括起来的文件名。例如,给出上面的#pragma include_alias指示时,在下面的#include指示中编译程序不执行替换。

#include <api.h>

#include "stdio.h"

还有,下面的指示将产生一个错误:

#pragma include_alias(<header.h>, "header.h")  // Error

注意,在错误信息中报告的文件名,或者预定义宏__FILE__的值,是执行替换以后的文件名。例如,在下列指示之后:

#pragma include_alias( "VeryLongFileName.H", "myfile.h" )

#include "VeryLongFileName.H"

文件VeryLongFileName.H产生下列错误信息:

myfile.h(15) : error C2059 : syntax error

还要注意的是不支持传递性。给出下面的指示:

#pragma include_alias( "one.h", "two.h" )

#pragma include_alias( "two.h", "three.h" )

#include "one.h"

编译程序将搜索two.h而不是three.h

13  init_seg

C++特有

#pragma init_seg({ compiler | lib | user | "section-name" [, "func-name"]} )

指定影响启动代码执行的关键字或代码段。因为全局静态对象的初始化可以包含执行代码,所以你必须指定一个关键字来定义什么时候构造对象。在使用需要初始化的动态连接库(DLL)或程序库时使用init_seg编译指示是尤其重要的。

init_seg编译指示的选项有:

13-1  compiler

Microsoft C运行时间库保留。在这个组中的对象将第一个构造。

13-2  lib

用于第三方类库开发者的初始化。在这个组中的对象将在标记为构造compiler的对象之后,其它对象之前构造。

13-3  user

用于任何其它用户。在这个组中的对象将最后构造。

13-4  section-name

允许显式地指定初始化段。在用户指定的section-name中的对象将不会隐式地构造,而它们的地址将会被放置在由section-name命名的段中。

13-5  func-name

指定当程序退出时,作为atexit函数调用的函数。这个函数必须具有和atexit函数相同的形式:

int funcname(void (__cdecl *)(void));

如果你需要延迟初始化,你能够选择指定显式的段名。随后你必须调用每个静态对象的构造函数。

14  inline_depth

#pragma inline_depth( [0... 255] )

通过控制能够被扩展的一系列函数调用(从0255次)来控制嵌入函数扩展的发生次数,这个编译指示控制用inline__inline标记的或在/Ob2选项下能自动嵌入的嵌入函数。

inline_depth编译指示控制能够被扩展的一系列函数调用。例如,如果嵌入深度是4,并且如果A调用B然后调用C,所有的3次调用都将做嵌入扩展。然而,如果设置的最近一次嵌入深度是2,则只有AB被扩展,而C仍然作为函数调用。

为了使用这个编译指示,你必须设置编译程序选项/Ob1或者2。用这个编译指示指定的深度设定在该指示后面的第一个函数开始生效。如果你在括号内不指定一个值,inline_depth设置嵌入深度到默认值8

在扩展时,嵌入深度可以被减少而不能被增加。如果嵌入深度是6,同时在扩展过程中预处理程序遇到一个inline_depth编译指示设置为8,则深度保持为6

嵌入深度0将拒绝嵌入扩展,深度255将设置在嵌入扩展时没有限制。如果用一个没有指定值的编译指示,则使用为默认值。

15  inline_recursion

#pragma inline_recursion( [{on | off}] )

控制直接或者相互间的递归函数调用式的嵌入扩展。用这个编译指示控制用inline__inline标记的或在/Ob2选项下能自动嵌入的嵌入函数。使用这个编译指示需要设置编译程序选项/Ob1或者2。默认的inline_recursion状态是off。这个编译指示在出现该编译指示之后第一个函数调用起作用,并不影响函数的定义。

inline_recursion编译指示控制如何扩展递归函数。如果inline_recursionoff,并且如果一个嵌入函数调用了它自己(直接的或者间接的),函数将仅仅扩展一次。如果inline_recursionon,函数将扩展多次直到达到inline_depth的值或者容量限制。

16  intrinsic

#pragma intrinsic( function1 [, function2, ...] )

指定对在编译指示参数表中函数调用是内含的。编译程序像嵌入代码一样生成内含函数,而不是函数调用。下面列出了具有内含形式的库函数。一旦遇到intrinsic编译指示,它从第一个包含指定内含函数的函数定义开始起作用。作用持续到源文件尾部或者出现包含相同内含函数的function编译指示。intrinsic编译指示只能用在函数定义外——在全局层次。

下列函数具有内含形式:

_disable

_enable

_inp

_inpw

_lrotl

_lrotr

_outp

_outpw

_rotl

_rotr

_strset

abs

fabs

labs

memcmp

memcpy

memset

strcat

strcmp

strcpy

strlen

 

 

 

使用内含函数的程序更快,因为它们没有函数调用的额外代价,然而因为有附加的代码生成,可能比较大。

注意,_allocasetjmp函数总是内含的,这个行为不受intrinsic编译指示影响。

下列浮点函数没有内含形式。然而它们具有直接将参数通过浮点芯片传送而不是推入程序堆栈的版本。

acos

asin

cosh

fmod

pow

sinh

tanh

 

 

 

 

 

当你同时指定/Oi/Og编译程序选项(或者任何包含/Og/Ox/O1/O2的选项)时下列浮点函数具有真正的内含形式。

atan

exp

log10

sqrt

atan2

log

sin

tan

cos      

 

 

 

你可以用编译程序选项/Op/Za来覆盖真内含浮点选项的生成。在这种情况下,函数会像一般库函数一样被生成,同时直接将参数通过浮点芯片传送而不是推入程序堆栈。

17  message

#pragma message( messagestring )

不中断编译,发送一个字符串文字量到标准输出。message编译指示的典型运用是在编译时显示信息。

下面的代码段用message编译指示在编译过程中显示一条信息:

#if _M_IX86 == 500

#pragma message( "Pentium processor build" )

#endif

messagestring参数可以是一个能够扩展成字符串文字量的宏,并且你能够用字符串文字量和宏的任何组合来构造。例如,下面的语句显示被编译文件的文件名和文件最后一次修改的日期和时间。

#pragma message( "Compiling " __FILE__ )

#pragma message( "Last modified on " __TIMESTAMP__ )

18  once

#pragma once

指定在创建过程中该编译指示所在的文件仅仅被编译程序包含(打开)一次。该编译指示的一种常见用法如下:

//header.h

#pragma once

// Your C or C++ code would follow:

19  optimize

仅在专业版和企业版中存在

#pragma optimize( "[optimization-list]", {on | off} )

代码优化仅有Visual C++专业版和企业版支持。详见Visual C++ Edition

指定在函数层次执行的优化。optimize编译选项必须在函数外出现,并且在该编译指示出现以后的第一个函数定义开始起作用。onoff参数打开或关闭在optimization-list指定的选项。

optimization-list能够是0或更多个在表2.2中给出的参数:

2.2   optimize编译指示的参数

参数

优化类型

a

假定没有别名。

g

允许全局优化。

p

增强浮点一致性。

s t

指定更短或者更快的机器代码序列。

w

假定在函数调用中没有别名。

y

在程序堆栈中生成框架指针。

这些和在/O编译程序选项中使用的是相同的字母。例如:

#pragma optimize( "atp", on )

用空字符串("")的optimize编译指示是一种特别形式。它要么关闭所有的优化选项,要么恢复它们到原始(或默认)的设定。

#pragma optimize( "", off )

.

.

.

#pragma optimize( "", on )

20  pack

#pragma pack( [ n] )

指定结构和联合成员的紧缩对齐。尽管用/Zp选项设定整个翻译单元的结构和联合成员的紧缩对齐,可以用pack编译指示在数据说明层次设定紧缩对齐。从出现该编译指示后的第一个结构或者联合说明开始生效。这个编译指示不影响定义。

当你使用#pragma pack(n),其中n1248或者16,第一个以后的每个结构成员保存在较小的成员类型或者n字节边界上。如果你使用没有参数的#pragma pack,结构成员将被紧缩到由/Zp指定的值。默认的/Zp紧缩的大小是/Zp8

编译程序还支持下面的增强语法:

#pragma pack( [ [ { push | pop}, ] [  identifier, ] ] [ n ] )

该语法允许你将使用不同紧缩编译指示的组件合并到同一个翻译单元内。

每次出现有push参数的pack编译指示将保存当前的紧缩对齐值到一个内部的编译程序堆栈。编译指示的参数列表从左向右读取。如果你使用了push,当前紧缩值被保存。如果你提供了一个n值,这个值将成为新的紧缩值。如果你指定了一个你选定的标示符,这个标示符将和新的紧缩值关联。

每次出现有pop参数的pack编译指示从内部编译程序堆栈顶部取出一个值并将那个值作为新的紧缩对齐。如果你用了pop,而内部编译程序堆栈是空的,对齐值将从命令行得到,同时给出一个警告。如果你用了pop并指定了n的值,那个值将成为新的紧缩值。如果你用了pop并指定了一个标示符,将移去所有保存在堆栈中的的值直到匹配的找到匹配的标示符,和该标示符关联的紧缩值也被从堆栈中移出来成为新的紧缩值。如果没有找到匹配的标示符,将从命令行获取紧缩值并产生一个1级警告。默认的紧缩对齐是8

pack编译指示的新的增强功能允许你编写头文件保证在使用头文件之前和其后的紧缩值是一样的:

/* File name: include1.h

*/

#pragma pack( push, enter_include1 )

/* Your include-file code ... */

#pragma pack( pop, enter_include1 )

/* End of include1.h */

在前面的例子中,进入头文件时将当前紧缩值和标示符enter_include1关联并推入,被记住。在头文件尾部的pack编译选项移去所有在头文件中可能遇到的紧缩值并移去和enter_include1关联的紧缩值。这样头文件保证了在使用头文件之前和其后的紧缩值是一样的。

新功能也允许你在你的代码内用pack编译指示为不同的代码,例如头文件设定不同的紧缩对齐。

#pragma pack( push, before_include1 )

#include "include1.h"

#pragma pack( pop, before_include1 )

在上一个例子中,你的代码受到保护,防止了在include.h中的任何紧缩值的改变。

21  pointers_to_members

C++特有

#pragma pointers_to_members(pointer-declaration, [most-general-representation] )

指定是否能够在相关类定义之前说明一个指向类成员的指针,并且用于控制指针的大小和解释指针的代码。你能够在你的源代码中使用pointers_to_members编译知识来代替/vmx编译程序选项。

pointer-declaration参数指出是否在相关函数定义之前或其后你已经说明了一个指向成员的指针。pointer-declaration参数是下面两个符号之一:

参数

说明

full_generality

生成安全的,但是有时不能优化的代码。如果有一些指向成员的指针在相关类定义之前说明,你要用full_generality。这个参数总是使用由most-general-representation指定的指针表示方式。

best_case

对于所有指向成员的指针用最佳的表示方式生成安全的,优化的代码。需要在说明一个指向类成员指针之前定义类。默认是best_case

most-general-representaion参数指出在一个翻译单元中编译程序能够安全引用任何指向类成员指针的最小指针表示方式。这个参数可以是下列之一:

参数

说明

single_inheritance

最普通的表示方式是单继承,指向成员函数。如果用于指向具有多重或者虚拟继承方式类成员的指针,将产生一个错误。

multi_inheritance

最普通的表示方式是多重继承,指向成员函数。如果用于指向具有虚拟继承方式类成员的指针,将产生一个错误。

virtual_inheritance

最普通的表示方式是虚拟继承,指向成员函数。不会产生错误。当使用#pragma pointers_to_members (full_generality)时这是默认的参数。

22  setlocale

#pragma setlocale( "locale-string" )

定义用于翻译宽字符常数和字符串文字量时用的地区(国家和语言)。由于用于从多字节字符转换到宽字符的算法根据地区或者由于在运行可执行程序不同的地方进行编译而不同,这个编译指示提供一种在编译时指定目标地区的方式。这保证宽字符字符串将以正确的格式保存。默认的locale-string“C”“C”地区将字符串中的每个字符作为wchar_t(即unsigned int)映射其值。

23  vtordisp

C++特有

#pragma vtordisp({on | off} )

允许隐藏的附加vtordisp构造函数/析构函数替换成员。vtordisp编译指示仅能够用于具有虚拟基类的代码。如果派生类从一个虚拟基类重载了一个虚拟函数,并且如果派生类的构造函数或析构函数用指向虚拟基类的指针调用了这个函数,编译程序将根据虚拟基类在类中引入一个附加的隐藏“vtordisp”域。

vtodisp编译选项影响它后面的类布局。/vd0/vd1选项为整个模块指定了相同的行为。指定off将禁止隐藏的vtordisp成员,指定on(默认)将在它们需要的时候允许vtordisp。仅在不可能出现类的构造函数和析构函数通过this指针调用其指向对象中的虚拟函数时才关闭vtordisp

#pragma vtordisp( off )

class GetReal : virtual public { ... };

#pragma vtordisp( on )

24  warning

#pragma warning( warning-specifier : warning-number-list [,warning-specifier : warning-number-list...] )

#pragma warning( push[ , n ] )

#pragma warning( pop )

允许有选择地修改编译程序警告信息的行为。

warning-specifier能够是下列值之一:

warning-specifier

含义

once

只显示指定信息一次。

default

对指定信息应用默认的编译程序选项。

1,2,3,4

对指定信息引用给定的警告等级。

disable

不显示指定信息。

error

对指定信息作为错误显示。

warning-number_list能够包含任何警告编号。如下,在一个编译指示中可以指定多个选项:

#pragma warning( disable : 4507 34; once : 4385; error : 164 )

这等价于:

#pragma warning( disable : 4507 34 )  // Disable warning messages

                                            //  4507 and 34.

#pragma warning( once : 4385 )         // Issue warning 4385

                                            //  only once.

#pragma warning( error : 164 )         // Report warning 164

                                            //  as an error.

对于那些关于代码生成的,大于4699的警告标号,warning编译指示仅在函数定义外时有效。如果指定的警告编号大于4699并且用于函数内时被忽略。下面例子说明了用warning编译指示禁止、然后恢复有关代码生成警告信息的正确位置:

int a;

#pragma warning( disable : 4705 )

void func()

{

    a;

}

#pragma warning( default : 4705 )

warning编译指示也支持下面语法:

#pragma warning( push [ ,n ] )

#pragma warning( pop )

这里n表示警告等级(14)。

warning(push)编译指示保存所有警告的当前警告状态。warning(push,n)保存所有警告的当前状态并将全局警告等级设置为n

warning(pop)弹出最后一次推入堆栈中的警告状态。任何在pushpop之间改变的警告状态将被取消。考虑下面的例子:

#pragma warning( push )

#pragma warning( disable : 4705 )

#pragma warning( disable : 4706 )

#pragma warning( disable : 4707 )

// Some code

#pragma warning( pop )

在这些代码的结束,pop恢复了所有警告的状态(包括470547064707)到代码开始时候的样子。

当你编写头文件时,你能用pushpop来保证任何用户修改的警告状态不会影响正常编译你的头文件。在头文件开始的地方使用push,在结束地方使用pop。例如,假定你有一个不能顺利在4级警告下编译的头文件,下面的代码改变警告等级到3,然后在头文件的结束时恢复到原来的警告等级。

#pragma warning( push, 3 )

// Declarations/ definitions

#pragma warning( pop )

 

    本站是提供个人知识管理的网络存储空间,所有内容均由用户发布,不代表本站观点。请注意甄别内容中的联系方式、诱导购买等信息,谨防诈骗。如发现有害或侵权内容,请点击一键举报。
    转藏 分享 献花(0

    0条评论

    发表

    请遵守用户 评论公约

    类似文章 更多