[effictive c++] 条款04 确定对象被使用前已被初始化

成员初始化

在c和c++ 中,使用为初始化的类型常常会引发不可预料的错误,从而使得我们要花费巨大的时间用于调试查找问题,所以确定对象被使用前已被初始化是个很好的习惯。

永远在使用之前对对象进行初始化。对于无任何成员的内置类型,你必须手工完成初始化操作。因为c++不保证初始化他们。

内置类型意外的其他东西,初始化责任落在构造函数身上。但要注意区分构造函数中的变量是赋值还是初始化。举个例子

class PhoneNumber{...};
class ABEntry{
public:
	ABEntry(const std::string &name, const strd::string& address, const std::list<PhoneNumber>& phones);
private:
	std::string theName;
	std::string theAddress;
	std::list<PhoneNumber> thePhones;
	int numTimesConsulted;

};

ABEntry::ABEntryconst std::string &name, const strd::string& address, const std::list<PhoneNumber>& phones)
{
	theName = name;		//这些都是赋值
	theAddress = address;		//而非初始化
	thePhones = phones;                 //注意区分
	numTimesConsulted = 0;
}

上述构造函数中的变量是赋值,而非初始化。这么做可以使得变量是你期望的数值,但这并不是一个好的做法。那么如何判断是赋值和初始化呢?c++规定,变量的初始化应在进入构造函数体之前。所以上面的构造函数先对各个变量执行了default初始化,然后又对变量进行了赋值。(ps:内置类型 变量不保证一定在赋值动作前获得初指

ABEntry构造函数一个极好的写法是用member initialization list(成员初值列表),具体如下:

ABEntry::ABEntryconst std::string &name, const strd::string& address, const std::list<PhoneNumber>& phones)
:theName(name),
theAddress(address),
thePhones(phones),
numTimesConsulted(0)
{}

这个版本的构造函数是在进入构造函数之前进行了初始化,构造函数体内则无需在进行赋值。这样就省去了赋值操作的开销,效率通常更高。为什么我这里用"通常"更高? 因为内置类型如numTimesConsulted ,其初始化和赋值的代价相同,为了一致性,通常将其也用成员初值列表初始化。

有些情况下,即使变量属于内置类型也一定要用成员初值列表,例如成员变量是const或references,他们不能被赋值,只能被初始化。


classes拥有多个构造函数,且每个构造函数都有自己的成员初值列表时怎么办?

如果classes存在许多成员变量或base classes , 会导致许多重复的初值列,同时也加重了开发人员的工作。这种情况下可以在初值列中遗漏那些“赋值像初始化一样好”的成员变量,改为赋值操作,并将赋值操作移往某个函数内(通常是private 函数),供所有构造函数使用。这样就可以省去很多无谓的重复劳动。


成员初始化次序

下面我们来说一说成员初始化的次序。c++中成员初始化的次序总是相同的:base classes早于derived classes被初始化,class成员总是按照声明次序进行初始化。所以为了避免不必要的麻烦,成员初值列的顺序最好与声明顺序一致。


总结

  • 为内置对象进行手工初始化,因为c++不保证初始化他们
  • 构造函数使用成员初值列,而不要在构造函数本体内使用赋值操作,初始列列出变量的顺序应该和他们在class中生命顺序一致。

参考自《effictive c++ 》

郑重声明:本站内容如果来自互联网及其他传播媒体,其版权均属原媒体及文章作者所有。转载目的在于传递更多信息及用于网络分享,并不代表本站赞同其观点和对其真实性负责,也不构成任何其他建议。