首页 > 代码库 > 条款47: 确保非局部静态对象在使用前被初始化
条款47: 确保非局部静态对象在使用前被初始化
class FileSystem { ... }; // 这个类在你 // 的程序库中FileSystem theFileSystem; // 程序库用户 // 和这个对象交互//////////////////////////////////////////////////////////class Directory { // 由程序库的用户创建public: Directory(); ...};Directory::Directory(){ 通过调用theFileSystem的成员函数 创建一个Directory对象;}
Directory tempDir; // 临时文件目录
现在，初始化顺序的问题变得很明显了：除非theFileSystem在tempDir之前被初始化，否则，tempDir的构造函数将会去使用还没被初始化的theFileSystem。但theFileSystem和tempDir是由不同的人在不同的时间、不同的文件中创建的。怎么可以确认theFileSystem在tempDir之前被创建呢？
在某个特定的被编译单元（即，源文件）中，构造函数可以确保对象在创建时被初始化；但如果在某个被编译单元中，一个对象的初始化要依赖于另一个被编译单元中的另一个对象的值，并且这第二个对象本身也需要初始化，事情就会变得更复杂。
非局部静态对象指的是这样的对象：
· 定义在全局或名字空间范围内
· 在一个类中被声明为static，或
· 在一个文件范围被定义为static。
对于不同被编译单元中的非局部静态对象，你一定不希望自己的程序行为依赖于它们的初始化顺序，因为你无法控制这种顺序。即：你绝对无法控制不同被编译单元中非局部静态对象的初始化顺序。
解决方案：首先，把每个非局部静态对象转移到函数中，声明它为static。其次，让函数返回这个对象的引用。这样，用户将通过函数调用来指明对象。换句话说，用函数内部的static对象取代了非局部静态对象
虽然关于 "非局部" 静态对象什么时候被初始化，C++几乎没有做过说明；但对于函数中的静态对象（即，"局部" 静态对象）什么时候被初始化，C++却明确指出：它们在函数调用过程中初次碰到对象的定义时被初始化。所以，如果你不对非局部静态对象直接访问，而用返回局部静态对象引用的函数调用来代替，就能保证从函数得到的引用指向的是被初始化了的对象。这样做的另一个好处是，如果这个模拟非局部静态对象的函数从没有被调用，也就永远不会带来对象构造和销毁的开销；而对于非局部静态对象来说就没有这样的好事。
class FileSystem { ... }; // 同前FileSystem& theFileSystem() // 这个函数代替了{ // theFileSystem对象 static FileSystem tfs; // 定义和初始化 // 局部静态对象 // (tfs = "the file system") return tfs; // 返回它的引用}class Directory { ... }; // 同前Directory::Directory(){ 同前，除了theFileSystem被 theFileSystem()代替;}Directory& tempDir() // 这个函数代替了{ // tempDir对象 static Directory td; // 定义和初始化 // 局部静态对象 return td; // 返回它的引用}
有两个全局对象，我们知道，放在同一个CPP中时会按序初始化（编译器按序生成构造函数调用），如果这两个全局对象在不同的CPP中，有没有方法能控制其构造函数调用次序呢？(链接问题)
全局对象的初始化次序在C++标准中没有定义。
可以这样做：
假设你需要一个类A的对象a，这么写
A& getA()
{
static A a;
return a;
};
这样能够保证使用a的时候a已经被初始化了。
参考：
http://bbs.csdn.net/topics/30293003
条款47: 确保非局部静态对象在使用前被初始化