条款05:了解C++默默编写并调用哪些函数
即使自己没有声明,编译器也会声明一个copy
构造函数、一个copy assignment
操作符和一个析构函数,编译器也会为你声明一个default
构造函数。
class Empty();
//等价于
class Empty() {
public:
Empty() {...} //default构造函数
Empty(const Empty& rhs) {...} //copy构造函数
~Empty() {...} //析构函数
Empty& operator = (const Empty& rhs) {...} // copy assignment操作符
}
条款06:若不想使用编译器自动生成的函数,就该明确地拒绝
编译器能自动生成某些函数,比如copy
构造函数或copy assignment
操作符,可将相应的成员函数声明为private
并且不予实现。或者使用像uncopyable
这样的base class
也是一种做法。
class Uncopyable {
protected: // 允许derived对象构造和析构
Uncopyable() {}
~Uncopyable() {}
private:
Uncopyable(const Uncopyable&); //但阻止copying
Uncopyable& operator=(const Uncopyable&);
};
为阻止HomeForSale
对象背靠背,可以继承Uncopyable
class HomeForSale: private Uncopyable { // class不再声明copy构造函数或copy assign操作符
};
条款07:为多态基类声明virtual
析构函数
总结
polymorphic
(带多态性质的)base classes
应该声明一个virtual
析构函数。如果class带有任何virtual
函数,它就应该拥有一个virtual
析构函数classes
的设计目的不是作为base classes
使用,或不是未来具备多态性,就不该声明virtual
析构函数
条款08:别让异常逃离析构函数
总结
- 析构函数绝对不要吐出异常。如果一个被析构函数调用的函数可能被抛出异常,析构函数应该捕捉任何异常,然后吞下它们(不传播)或结束程序
- 如果客户需要对某个操作函数运行期间抛出的异常做出反应,那么class应该提供一个普通函数(而非在析构函数中)执行该操作
class DBConn {
public:
...
void close() //供客户使用的新函数
{
db.close();
closed = true;
}
~DBConn() {
if (!closed) {
try { //关闭连接(如果客户不那么做的话)
db.close();
}
catch (...) { //如果关闭动作失败,记录下来并结束程序或吞下异常
制作运转记录,记下对close的调用失败
...
}
}
}
}