重新学习《C++Primer5》第13章-拷贝控制

13.1拷贝、赋值和销毁

13.1.1拷贝构造函数

1.拷贝构造函数：自定义和合成
2.拷贝初始化

• 在使用=号时
• 将一个对象为实参传递给一个非引用类型的形参
• 从一个返回类型为非引用类型的函数返回一个对象
• 用花括号列表初始化一个数组中的元素或一个聚合类中的成员

3.拷贝初始化的限制
explicit的构造函数进行类型转换，直接初始化和拷贝初始化不一样了

13.1.2 拷贝赋值运算符

1.赋值元算法通常应该返回一个指向其左侧运算对象的引用

13.1.3 析构函数

1.当指向一个对象的引用或指针离开作用域时，析构函数不会执行

13.1.4 三/五法则

1.需要析构函数的类也需要拷贝和赋值操作
一般需要定义析构的是包含指针成员，如果使用合成拷贝和赋值，只是简单的拷贝指针成员，意味着可能会存在多个对象指向相同的内存。
2.需要拷贝操作的类也需要赋值，但不一定要析构
e.g:

class Sales_data{
public:
    Sales_data(const Sales_data&);
private:
    string bookno;
    int units_sold = 0;
    double revenue = 0.0;
};
Sales_data::Sales_data(const Sales_data &s)
{
    bookno = s.bookno;
    units_sold = s.units_sold;
    revenue = s.revenue;
}
class HasPtr{
public:
    HasPtr(const string &s = string()) :ps(new string(s)), i(0){}
    HasPtr(const HasPtr&);
private:
    string *ps;
    int i;
};
HasPtr::HasPtr(const HasPtr &hp) :ps(new string(*hp.ps)), i(hp.i){}

13.1.5 使用=default

1.只能对具有合成版本的函数使用

13.1.6 阻止拷贝=delete

1.=delete必须出现在函数第一次声明的时候
2.可以对任何函数指定=delete
3.析构函数不能是删除的成员，也不能删除析构函数
如果析构函数是删除的，不能定义该类型，但可以定义动态分配对象（不能释放指针）
4.如果一个类有数据成员不能默认构造、拷贝、复制或销毁，则对应的成员函数被定义为删除的