Effective C++ 学习笔记(三)
条款08 别让异常逃离析构函数
在C++中,不要尽量不要让析构函数中可能会抛出异常,会导致过早结束程序,或发生不明确的行为。
(1)析构函数决定不要吐出异常,如果一个被析构函数调用的函数抛出异常,析构函数应该捕捉异常,然后吞下他们(不传播)或结束程序。
(2)如果客户需要对某个操作函数运行期间抛出的异常做出反应,那么class应该提供一个普通函数(而非在析构函数中)执行该操作
条款 09 绝不在构造和析构过程中调用virtual函数
原因:
(1)如果在构造函数中有virtual函数,那么在基类的派生类构造期间,先触发基类的构造函数,这时候调用的虚函数失去了多态的性质
(2)同样在析构函数中,首先触发子类析构函数,当子类析构完时,析构基类,此时调用的虚函数是属于基类中的虚函数
即在基类的构造和析构函数中调用虚函数,并不会下降到派生类。
如要在基类中表现出子类的信息,一种做法是,在派生类的构造函数中,通过基类的构造函数将信息传上去,并且将基类的相关函数设为虚函数。
*条款10 令operator= 返回一个 reference to this
为了适应连等的模式:
x = y = z=15 => x = (y = (z = 15))
赋值采用的是右结合律
15 赋值给z 更新的z赋值给y 更新的y赋值给x …
class widget
{
public:
Widget& operator=(const Widget& rhs)
{
.....
return *this;
}
}
包括对 += -= 等的重载都要返回*this
条款11 在operator= 中处理“自我赋值”
自我赋值发生在 X = X 这种,别名如数组下标或者指针
解决方法:
class widget
{
public:
Widget& operator=(const Widget& rhs)
{
int* pOrig = pb;
pb = new int(*rhs.pb);
delete pOrig;
return *this;
}
//copy and swap;
Widget& operator=(const Widget& rhs)
{
Widget temp(rhs); //为rhs制作一份副本
swap(temp);
return *this;
}
void swap(Widget& rhs)
{
}
private:
int *pb;
}
条款12 复制对象时勿忘其每一个成分
自己声明了类的拷贝构造和复制拷贝构造函数后,编译器将不管你是否考虑到了所有成员的拷贝。
(1)如果像class中添加了成员,则应该马上修改copying函数
(2)当为派生类写copying函数时,应当很小心的复制其base class成分,那些成分大多是private的,所以无法在派生类中直接访问他们,应该在派生类的copying函数中调用相应的base class函数
(3)不应该令拷贝赋值函数中调用拷贝构造函数,反之也不要尝试。应该将共同的机能封装成一个private函数,分别调用。