Effective C++ 条款04 笔记

条款04：确定对象被使用前已先被初始化

1. 简单的初始化

int x = 0;                                  //初始化
const char* text = "A C-style string";      //初始化
double d;
std::cin>>d;                        //input stream 的方式初始化

class PhoneNumber {...};
class ABEntry {
public:
    ABEntry {const std::string& name, const std::string& address, const std::list<PhoneNumber>& phones};
private:
    std::string theName;
    std::string theAddress;
    std::list<PhoneNumber> thePhones;
    int numTimesConsulted;
};
ABEntry::ABEntry(const std::string& name, const std::string& address, const std::list<PhoneNumber>& phones)
{
    theName = name;       //赋值而非初始化
    theAddress = address;
    thePhones = phones;
    numTimesConsulted = 0;
}

初始化的时间应该在执行默认构造函数之前。 

ABEntry::ABEntry(const std::string& name, const std::string& address, const std::list<PhoneNumber>& phones):
    theName(name),             //这些都是初始化
    theAddress(address),
    thePhones(phones),
    numTimesConsulted(0)
{ }

直接使用成员初值列的方法进行初始化方法更加高效，因为不用再进入默认构造函数再进行赋值操作，而是直接进行调用成员函数的拷贝构造函数进行拷贝构造。

还有一些规定，总是在初值列中列出所有成员变量，防止以后忘记。

成员初始化次序：base classes更早于derived classes，class的成员变量总是以声明次序被初始化，即使它们在成员初值列中以不同的次序出现。

2. non-local static 对象的初始化

static 对象在内存中的.data区或者.bss区函数内的 static 对象被称为 local static 对象（因为它们对函数而言是local，其他 static 对象都被称为 non-local static。C++ 对不同 “定义于不同编译单元内的 non-local static 对象” 的初始化次序并无明确定义。

编译单元（translation unit）：产出单一目标文件的那些源码。基本上它是单一源码文件加上其所含入的头文件。

// 隶属于不同文件
class FileSystem {
public:
    ...
    std::size_t numDisks() const;
    ...
};
extern FileSystem tfs;


// 隶属于不同文件
class Directory {
public:
    Directory( params );
    ...
};
Directory::Director( params )
{
    ...
    std::size_t disks =  tfs.numDisk();
    ...
}
Directory tempDir( params );

如果 tfs 在调用 tempDir 之前尚未被初始化，那么tempDir 就会调用未初始化的 tfs，这显然不符合逻辑。 它们的初始化顺序和“模板隐式具现化”有关。 

使用设计模式中的单例模式可以解决这个问题。

class FileSystem { ... };
FileSystem& tfs()
{
    static FileSystem fs;
    return fs;
}



class Directory { ... };
Directory::Directory { params }
{
    ...
    std::size_t disks = tfs().numDisks();
    ...
}
Directory& tempDir()
{
    static Directory td;
    return td;
}

在用的时候调用对象，这样就不会再别的时候引起构造和析构成本。

总结

为内置型对象进行手工初始化，因为 C++不保证初始化它们。

构造函数最后使用成员初值列，而不要在构造函数本体内使用赋值操作。初值列列出的成员变量，其排列次序应该和它们在 class 中的声明次序相同。

为免除“跨编译单元之初始化次序” 问题，请以 local static 对象替换 non-local static 对象。