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

电玩女神 2022-07-12 23:45 150阅读 0赞

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