#pragma init_seg

// pragma_directive_init_seg.cpp
#include <stdio.h>
#pragma warning(disable : 4075)
//定义一个保存全局对象析构函数的指针的数组，供程序结束前显示调用来销毁全局对象：
typedef void (__cdecl *PF)(void); //析构函数必须是无参数、无返回值
int cxpf = 0; // 我们需要调用的析构函数的数量
PF pfx[200]; // 保存析构函数的指针的数组.
//编译器调用该函数，把pragma init_seg语句作用范围内的全局变量的析构函数全部登记入dtor函数指针数组
int myexit (PF pf) {
    pfx[cxpf++] = pf;
    return 0;
}
//全局对象的类型定义
struct A 
{
    A(int i) 
    {
        value=i;
        printf("A():%d\n",i);
    }
    ~A() 
    {
        printf("~A():%d\n",value);
    }
    int value;
};
// 由于在pragma init_seg语句之前，这个全局变量的ctor & dtor仍然由CRT启动代码来调用，
/* CRT startup code，就是在main函数(或者WinMain函数)之前和之后执行的代码，
完成运行环境初始化与事后的清理释放工作*/
A aaaa(1);

//下述四行语句，模仿了编译器与链接器默认构建全局变量初始化的.CRT的开头和结尾函数指针的行为方式，
//构建了用户自己的.mine节来保存全局变量初始化函数指针表的开头和结尾。
//节(Section)名字必须不多于8个字符；
//在$号之前具有相同字符串的节，将被链接器合并为同一个节，合并顺序依照$号之后字符串的字典序；
// InitSegStart与InitSegEnd作为边界值，使得我们可以发现那些真正的需被调用的全局变量初始化函数
#pragma section(".mine$a", read)
__declspec(allocate(".mine$a")) const PF InitSegStart = (PF)1;
#pragma section(".mine$z",read)
__declspec(allocate(".mine$z")) const PF InitSegEnd = (PF)1;

// InitializeObjects是由程序显示调用执行，来初始化pragma init_seg语句作用下的那些全局变量
// 编译时，每个节是256个字符。链接器合并这些节时，以256个字节为单位，对于空闲的字节填入0
// 所以调用函数指针前，必须与0值做比较，排除这些0值
void InitializeObjects () 
{
    const PF *x = &InitSegStart;
    for (++x ; x < &InitSegEnd ; ++x)
        if (*x) (*x)();
}
//DestroyObjects由程序显示调用执行，销毁pragma init_seg语句作用下的那些全局变量
void DestroyObjects () 
{
    while (cxpf>0) 
    {
        --cxpf;
        (pfx[cxpf])();
    }
}
//从这条pragma init_seg语句起，所有全局变量、静态变量不再由编译器、链接器默认处理其初始化与析构，
//而是由程序自身来显示执行其初始化、析构：
#pragma init_seg(".mine$m", myexit)
A bbbb(2); //全局变量
A cccc(3); //全局变量
int main () 
{
    InitializeObjects(); //显示初始化pragma init_seg语句作用下的那些全局变量
    DestroyObjects(); //显示销毁pragma init_seg语句作用下的那些全局变量
}

程序运行结果：
A():1
A():2
A():3
~A():3
~A():2
~A():1