Effective C++ 第二章：构造/析构/赋值运算

第二章：构造/析构/赋值运算

条款5：了解C++默默编写并调用哪些函数

编译器会为一个类添加：一个copy构造函数、一个copy assignment操作符和一个析构函数、一个默认构造函数。这些函数都是public和inline的

class Empty{};

相当于

class Empty()
{
public:
      Empty()
	  Empty(const Empty& rhs){...}
	  ~Empty(){...}
	  Empty& operator=(const Empty& rhs){...}
}

条款6：若不想使用编译器自动生成的函数，就该明确拒绝

1. 将这些函数声明为private，可以阻止人们调用它
   如

class HomeForSale{
public:
       ...
private:
       HomeForSale(const HomeForSale&);
	   HomeForSale& operator=(const HomeForSale&);
}

但其实成员函数或者friend函数也是可以调用的。

2. 使用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：复制对象时勿忘其每一个成分

1. 复制时，记得在继承类中调用基类的复制函数。
2. 区别复制赋值和复制构造。
   复制赋值：

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)
{
...
}