程序员的自我修养: 全局构造/析构函数是怎样调用的?

全局构造/析构函数与C/C++运行库

主要以MSVC CRT来说:

大致的过程如下:

mainCRTStartup(){..._initterm(__xc_a, __xc_z);}typedef void (__cdecl * _PVFV)();static void __cdecl _initterm(_PVFV* pfbegin, _PVFV* pfend){while(pfbegin < pfend){if(*pfbegin != NULL)(**pfbegin)();++pfbegin;}}//__xc_a, __xc_z的定义_CRTALLOC(".CRT$XCA") _PVFV __xc_a[] = {NULL};_CRTALLOC(".CRT$XCZ") _PVFV __xc_z[] = {NULL};//_CRTALLOC的定义#pragma section(".CRT$XCA", long, read)#pragma section(".CRT$XCZ", long, read)...#define _CRTALLOC(x) __declspec(allocate(x))

__xc_a, __xc_z分别处于两个特殊的段里, 并具有long,read属性.
因此这两条pragma指令实际在obj文件里生成了名为.CRT$XCA和.CRT$XCAZ的两个段.
__declspec(allocate(x))将其分别分配到对应段中

当链接的时候,链接器会将所有相同属性的段合并,注意的是,合并到输出段时,是根据字符表顺序依次排序.
由于.CRT$XC*这些段的属性都是只读的,且名字很相近,最后往往被放到只读段中,成为.rdata的一部分.
这样就形成了存储所有全局初始化函数的地址的数组.

还有:.CRT$XC*段中存放的是该obj文件的全局初始化函数的地址.所以最后形成的是一个函数地址数组.

 

#include <iostream>using namespace std;#define SECNAME ".CRT$XCV"#pragma section(SECNAME, long, read)void foo(){cout << "hello world!" << endl;}typedef void (__cdecl * _PVFV)();__declspec(allocate(SECNAME)) _PVFV dummy[] = {foo, foo};int main(){return 0;}

结果: Hello world!

 

MSVC CRT 析构

是当调用初始化函数的时候,用atexit函数注册了析构函数的执行地址.