第十三章：拷贝控制

1.拷贝控制操作

• 拷贝构造函数
• 移动构造函数　　　　　//用同类型的对象初始化本对象
• 拷贝赋值运算符
• 移动赋值运算符　　　　//将一个对象赋予同类型的另一个对象
• 析构函数　　　　　　　//销毁对象
  注意点：
  ①如果一个类没有定义所有这些拷贝控制成员，编译器会自动为它定义缺失的操作。
  ②声明后加＝default来显示要求编译器生成合成的版本，只能对具有合成版本的成员函数使用（默认构造函数&拷贝控制成员）。
  ③声明后加**=delete来定义删除的函数，来阻止该函数的调用，可以对任何函数使用，与=default不同。
  ④< utility >头文件中的move函数调用均采用std::move**
  ⑤swap(a,b);　//若a和b均为内置类型，此时会调用标准库std::swap，否则按照匹配程度最优的调用

class A
{
public:
	A(const A &a){}                   //拷贝构造函数
	A(const A &&a){}                  //移动构造函数
	A& operator=(const A &a){}        //拷贝赋值运算符
	A& operator=(const A &&a){}       //移动赋值运算符
	~A(){}                            //析构函数
};

2.拷贝构造函数

定义：
构造函数的第一个参数为自身类类型的引用，且任何额外参数都有默认值。编译器生成的合成拷贝构造函数为浅拷贝。

使用拷贝构造函数的情况：
　　①用=定义变量时　　　　　　　　　　　 　　　//Ｔa = b;
　　②非引用参数传递　　　　　　　　　　　　　　// fcn(T v); fcn(a); 这也是参数第一个为&的原因，否则出现死循环
　　③非引用函数返回　　　　　　　　　　　　　　// fcn(){… return v;}
　　④列表初始化数组元素　　　　　　　　　　　　// T arr[size] = {…}
　　⑤容器元素用非emplace添加　　　　　　　　　// insert()|push()
　　⑥直接初始化时编译器根据参数匹配调用　　　　// T a(b);编译器使用普通函数匹配

3.拷贝赋值运算符

A a1,a2;
a1 = a2;          //将一个对象赋予同类型的另一个对象

合成的拷贝赋值运算符类似合成的拷贝构造函数。

4.析构函数

当变量离开作用域、对象销毁时成员销毁、容器销毁时其元素销毁、delete对象指针，析构函数调用，成员按初始化的逆序销毁。
　　一个类自定义了析构函数，基本也需要自定义拷贝赋值运算符和拷贝构造函数，反过来却不一定。

5.移动构造函数和移动赋值运算符

从给定对象窃取资源而不是拷贝资源（指针的移交,之前的指针变量需置nullptr），一般均声明为noexcept（不抛异常，置于参数列表与初始化列表开始的:中间）
　　如果一个类定义了自己的拷贝构造函数、拷贝赋值运算符或析构函数，编译器就不会为它合成移动构造函数和移动赋值运算符了。
　　移动迭代器解引用生成一个右值引用，通过调用标准库的make_move_iterator函数可将一个普通迭代器转换为一个移动迭代器。copy(make_move_iterator(b),make_move_iterator(e),d);

6.简易的SmartPoint

template<typename T>
class SmartPoint
{
public:
	SmartPoint():users(new size_t(1)),p(new T()){}                        //默认构造函数
	explicit SmartPoint(T *q):users(new size_t(1)),p(q){}                 //内置指针构造函数
	SmartPoint(const SmartPoint &sp):users(sp.users),p(sp.p){++*users;}   //拷贝构造函数
	SmartPoint& operator=(const SmartPoint &sp);                          //赋值运算符重载
	~ SmartPoint();                                                       //析构函数
private:
	size_t *users;
	T *p;
};
template<typename T>
SmartPoint<T>& SmartPoint<T>::operator=(const SmartPoint &sp)       
{
	++*sp.users;    //先对右边指针引用计数+1，解决自我复制存在的问题
	if (--*users==0)
	{
		delete users;
		delete p;
	}
	users = sp.users;
	p = sp.p;
	return *this;
}
template<typename T>
SmartPoint<T>::~ SmartPoint()
{
	if (--*users==0)
	{
		delete users;
		delete p;
	}
}

7.引用限定符

• 引用限定符可以为 &或&&（成员函数参数列表后），且必须同时出现在函数的声明和定义中。
• 可以和const结合使用，const限定符置前，引用置后，二者均可以作为重载区分。
• &表示仅能通过左值调用该函数，&&表示仅能通过右值调用该函数，const &均可。
• 如果一个成员函数有引用限定符，则具有相同参数列表的所有版本都必须有引用限定符。