在 C++ 中,同一个翻译单位(.cpp文件)里的全局对象的初始化顺序是先定义的对象先初始化(同时也后析构),但 C++ 标准并没有规定不同翻译单位间全局对象的初始化顺序。按照这个分析,以下的代码可能工作,也可能不工作(cout 是 C++ 用于输出的全局对象,和我们自己的对象位于不同的翻译单位):
class A {
A() {
cout << "A::A()";
}
~A() {
cout << "A::~A()";
}
};
A a;
OK,你会说这段代码绝对运行正确,也就是说 cout 总是比我们的对象先初始化以及后析构。这是有原因的——虽然 C++ 标准并没有明确规定,但各 C++ 编译器都按照类似的方式实现了对全局对象初始化顺序的控制,否则的话,C++ 库就无法按照预期的方式工作了(如果不允许在全局对象构造函数中使用 cout 可能不少程序员会疯掉)。
Visual C++ 提供了 #pragma init_seg 这样一个编译指令来控制一个翻译单位中对象的初始化顺序。打开 Visual C++ 自带的 CRT 源代码文件 cout.cpp,你会发现如下的语句: