第二章:构造/析构/赋值运算
条款5:了解C++默默编写并调用哪些函数
编译器会为一个类添加:一个copy构造函数、一个copy assignment操作符和一个析构函数、一个默认构造函数。这些函数都是public和inline的
class Empty{};
相当于
class Empty()
{
public:
Empty()
Empty(const Empty& rhs){...}
~Empty(){...}
Empty& operator=(const Empty& rhs){...}
}
条款6:若不想使用编译器自动生成的函数,就该明确拒绝
- 将这些函数声明为private,可以阻止人们调用它
如
class HomeForSale{
public:
...
private:
HomeForSale(const HomeForSale&);
HomeForSale& operator=(const HomeForSale&);
}
但其实成员函数或者friend函数也是可以调用的。
- 使用Uncopyable类
class Uncopyable{
protected:
Uncopyable(){} //允许derived对象构造和析构
~Uncopyable(){}
private:
Uncopyable(const Uncopyable&); //阻止copying
Uncopyable& operator=(const Uncopyable&);
};
//阻止某个类的对象被拷贝,可以继承Uncopyable:
class HomeForSale: private Uncopyable{
...
};
条款7:为多态基类声明virtual析构函数
一个派生对象由一个基类指针所指向,那么销毁基类指针时会产生一个“局部销毁”的情况。造成资源泄漏等问题。
class TimeKeeper
{...}
class WaterClock:public TimeKeeper{...}
TimeKeeper* ptk = new WaterClock();
delete ptk; //问题所在
解决办法:解base class 添加一个virtual析构函数。
class TimeKeeper{
public:
TimeKeeper();
virtual ~TimeKeeper();
...
}
任何class只要带有virtual函数都几乎确定应该也有一个virtual析构函数。
每一个带有virtual函数的class都有一个相应的vtbl,虚函数表。当对象调用某一virtual函数,实际被调用的函数取决于该对象的vptr所指的那个vtbl,编译器在其中寻找适合的函数指针。
条款8:别让异常逃离析构函数
如果程序遭遇一个“于析构期间发生的错误”后无法继续执行,“强迫结束程序”是个合理选项。毕竟可以阻止异常从析构函数传播出去。
析构函数绝对不要吐出异常。如果一个被析构函数调用的函数可能抛出异常,析构函数应该捕捉任何异常,然后吞下它们(不传播)或结束程序。
条款9:绝不在构造和析构过程中调用virtual函数
在构造和析构期间不要调用virtual函数,因为这类调用从不下降至derived class。
explicit(明确的):阻止不应该允许的,经过转换构造函数进行的隐式转换的发生。
条款10:令operator=返回一个reference to *this
令赋值(assignment)操作符返回一个reference to *this.
class Widget{
public:
...
Widget& operator += (const Widget& rhs)
{
...
return *this;
}
Widget& operator = (int rhs)
{
...
return *this;
}
}
条款11:在operator=中处理“自我赋值”
Widget& Widget::operator=(const Widget& rhs)
{
if(this == rhs) return *this; //证同测试,如果是自我赋值,就不做任何事情
...
}
条款12:复制对象时勿忘其每一个成分
- 复制时,记得在继承类中调用基类的复制函数。
- 区别复制赋值和复制构造。
复制赋值:
class PriorityCustomer: public Customer{...}
PriorityCustomer& PriorityCustomer::operator=(const PriorityCustomer& rhs)
{
Customer::operator=(rhs); //调用base class成分进行赋值动作
priority = rhs.priority;
}
复制构造:
PriorityCustomer::PriorityCustomer(const PriorityCustomer& rhs):Customer(rhs), priority(rhs.priority)
{
...
}