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

全局构造/析构函数与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函数注册了析构函数的执行地址.