拷贝控制 c++ primer 5e

拷贝赋值运算符
与类控制其对象如何初始化一样，类也可以控制其对象如何赋值：

Sales_data trans,accum;
trans=accum;   //使用Sales_data的拷贝赋值运算符

与拷贝构造函数一样，如果类未定义自己的拷贝赋值运算符时，编译器会默认合成一个。

重载赋值运算符
赋值运算符通常应该返回一个指向其左侧运算对象的引用。

合成拷贝赋值运算符
如果一个类未定义自己的拷贝构造赋值运算符，编译器会为它生成一个合成拷贝赋值运算符。
对于某些类，合成拷贝赋值运算符用来禁止该对象的赋值。

ex1.
Sales_data &operator=(const Sales_data &)=delete;  //阻止赋值
~Sales_data()=default;   //使用合成的析构函数

合成拷贝赋值运算符返回一个指向其左侧运算对象的引用。

Sales_data&  
Sales_data::operator=(const Sales_data &rhs) {

    bookNo=rhs.bookNo;
    units_sold=rhs.units_sold;
    revenue=rhs.revenue;
    return *this;

}

析构函数
析构函数是类的一个成员函数，名字由波浪线接类名构成。它没有返回值，也不接受参数。

class Foo{
public :
    ~Foo();
    //...
    };

在一个析构函数中，首先执行函数体，然后销毁成员(成员是在析构函数体之后隐含的析构阶段中被销毁的)，成员按初始化顺序的逆序销毁。
通常情况，析构函数会释放对象在生存期分配的所有资源。
隐式销毁一个内置指针类型的成员不会delete它所指向的成员
调用析构函数
无论任何一个对象被销毁，都会自动调用析构函数。

合成析构函数
如果一个类没有定义自己的析构函数，编译器会为它定义一个合成析构函数，类似拷贝构造函数和赋值拷贝构造函数，对于某些类，合成构造拷贝函数被用来阻止该类型的对象被销毁。（ex1）;
如果不是这种情况，合成析构函数的函数体就为空。

三/五法则
五个操作：拷贝构造函数、拷贝赋值运算符、移动构造函数、移动赋值运算符、析构函数。
一般情况，需要其中一种操作，也会需要所有操作，这些操作通常被看做一个整体。
（1）需要析构函数的类也需要拷贝和赋值操作
当我们决定一个类是否要定义它自己版本的构造函数时，一个基本原则首先确定这个类是否需要析构函数，如果需要，似乎可以肯定他也需要拷贝构造函数和拷贝赋值运算符。

class HasPtr {
public:
    HasPtr(const std::string &s=std::string()):ps(new std::string),i(0) {}
    ~HasPtr() {delete ps;}
    //error：HasPtr需要一个拷贝构造函数和拷贝赋值运算符
};
在这个类的定义中，构造函数分配的内存将在HasPtr对象销毁时释放，error：我们使用了合成构造函数和拷贝构造函数，这些函数简单拷贝指针成员，这样就会使多个HasPtr对象指向相同的内存。delete时出错。
HasPtr f(HasPtr hp){
   HasPtr ret=hp;   //copy HasPtr
   return ret;     //销毁hp and ret
   }
  当f返回时，hp和ret都会被销毁，在两个对象上都会调用HasPtr的析构函数，此析构函数会delete ret 和hp
  中的指针成员，但这两个对象都包含相同的指针值，此代码会导致指针被delete两次，就会出错(...未定义的)。

（2）需要拷贝的类也需要赋值操作，反之亦然