通常这是一个面试题,如何让一段代码跑在main()函数前面。一个熟练的C++开发者能够轻易给出答案,即 静态初始化

在C里面又如何呢,有没有办法做到这点?下面讲一个VC里的方法。

int initBeforeMain()
{
 printf( "initBeforeMain (%p)\r\n", initBeforeMain );
 return 0;
}

int init2BeforeMain()
{
 printf( "init2BeforeMain (%p)\r\n", init2BeforeMain );
 return 0;
}

int initBreak()
{
 DebugBreak();
 return 0;
}

typedef int (*pInit)();

// for C

// put following table between __xi_a and __xi_z

#pragma data_seg( ".CRT$XIU" )
pInit start[] = {initBeforeMain, init2BeforeMain, initBreak, };
#pragma data_seg()

// for C++

// put following table between __xc_a and __xc_z

#pragma data_seg( ".CRT$XCU" )
pInit start2[] = {initBeforeMain, init2BeforeMain, initBreak, };
#pragma data_seg()

// for C

// put following pointer between __xi_a and __xi_z but after start

#pragma data_seg( ".CRT$XIU" )
pInit start3 = initBreak;
#pragma data_seg()

int main( int argc, char* argv[] ) {}


在调试器里执行一下,看看效果如何,有没有给你surprise。

解释上面代码之前先说一些背景知识,众所周知,开发者所写的入口函数一般都不是真正的入口,编译器会提供自己的入口函数,再调用开发者的。逻辑很简单,如下:

CRTEntry() { {__CRTInit}; UserEntry(); {__CRTUninit}; }

__CRTInit中做一些初始化工作,包括C库,C的初始化函数,C++库,C++的初始化函数等。C和C++分别有一张表来保存初始化函数指针,每个表又使用2个指针来明确范围,__CRTInit会依次调用这2个表中的函数。

C初始化函数表:[__xi_a, __xi_z)

C++初始化函数表: [__xc_a, __xc_z)

现在对照代码注释,就会明白上述那段代码的作用。通过特殊的段名称“.CRT$XIU”,“.CRT$XCU”,链接器会把start表放在“C初始化函数表”中,类似这样,[__xi_a, ..., start, ..., __xi_z),同理,start2表会被链接器放在“C++初始化函数表”中,象这样,[__xc_a, ..., start2, ..., __xc_z),而最后一个start3变量所对应的指针还是会被放在“C初始化函数表”中,在上面例子中,会放在start之后,[__xi_a, ..., start, ..., start3, ..., __xi_z),这里的start3的位置即函数指针initBreak的位置。

最初发布在这:http://user.qzone.qq.com/31731705/blog/1302771059,包含一些贴图的结果,这贴图不方便,因此只写文字了,想看图的可以访问链接。