C++ Primer第五版笔记——拷贝控制

一个类通过定义五种特殊的成员函数来控制其拷贝、赋值、移动以及销毁操作： 拷贝构造函数、拷贝赋值运算符、移动构造函数、移动赋值运算符和析构函数。这些操作都是拷贝控制操作。
当实现自己的类的时候要想好在做这些操作时的规则，因为编译器通常会自动生成默认的缺失函数，也许并不适用于自己的类。

拷贝、赋值与销毁

拷贝构造函数

拷贝构造函数的第一个参数***必须是一个引用类型***，虽然可以定义为非const类型，但此参数几乎总是const类型的。
定义为引用的原因在于避免无限循环：

//假设类O已经有对象a，现在拷贝初始化对象b，如果参数不为引用的话，那么
O b(a);
//因为形参是对对象的拷贝，所以需要先拷贝a，就相当于
O c(a);
O b(c);
//而此处对c也是同样的处理就会无限拷贝下去了

拷贝初始化

拷贝初始化与直接初始化的不同在于：使用直接初始化时要求编译器使用普通的函数匹配来选择与我们提供的参数最匹配的构造函数，而拷贝初始化要求编译器将右侧运算对象拷贝到正在初始化的对象中，如果需要的化还需要进行类型转换。
拷贝初始化会发生的情况：
1.使用=定义变量时；
2.将对象作为实参传递给一个非引用类型的形参；
3.从一个返回类型为非引用实参的函数返回对象；
4.用花括号列表初始化一个数组中的元素或者一个聚合类中的成员。

explicit修饰构造函数与拷贝初始化限制：

被explicit修饰的构造函数不能进行隐式的类型转换：

Class A{
public:
	//普通的构造函数
	A(int l){
		i = l;
	}
private:
	int i;
};

Class B{
public:
	//修饰的构造函数
	explicit B(int l){
		i = l;
	}
private:
	int i;
};
int main(void){
	//编译器做隐式转换
	//A tmp = A(2);
	//A a(tmp);
	//tmp.~A();
	A a = 2;

	B b = 2;    //错误
	B b = B(2); //如果拷贝构造函数没加explicit，可以这么使用
	B b(2);     //如果拷贝函数也加了explicit，只能这样使用
}

拷贝赋值函数

重载赋值运算符

重载复制运算符必须定义为成员函数，其左侧运算对象将绑定到this参数，其右侧运算对象作为显示参数传递，其参数与其所在类的类型相同：

class Foo{
public:
	Foo& operator=(const FOO& );	
};

析构函数：

析构函数与构造函数功能相反:释放对象使用的资源，并销毁对象的非static数据成员，成员按照***初始化顺序的逆序***进行销毁。析构函数无返回值，不接受参数。
调用析构函数的时间：
1.变量在离开其作用域时；
2.当一个对象被销毁，它的成员被销毁；
3.容器被销毁，其元素被销毁；
4.对于动态分配的对象，当指向它的指针被销毁时；
5.对于临时对象，当创建它的完整表达式结束时。

析构函数自身并不直接销毁成员，成员是在析构函数体之后的析构阶段中被销毁的，在整个对象的销毁过程中，析构函数体是作为成员销毁步骤之外的另一部分而进行的。

三/五法则:

由于拷贝控制操作是由三个特殊的成员函数来完成的，所以我们称此为“C++三法则”。在较新的 C++11
标准中，为了支持移动语义，又增加了移动构造函数和移动赋值运算符，这样共有五个特殊的成员函数，所以又称为“C++五法则”。也就是说，“三法则”是针对较旧的
C++89 标准说的，“五法则”是针对较新的 C++11 标准说的。为了统一称呼，后来人们干把它叫做“C++ 三/五法则”。

C++语言并不要求定义所有的拷贝控制操作，但又一下原则需要注意：
1.需要析构函数的类也需要拷贝和赋值操作；
2.需要拷贝操作的类也需要赋值操作，反之亦然；

default和阻止拷贝：

default可以显示的让编译器调用合成的函数；
对于某些类来说，拷贝和赋值是没有意义的，定义时需要采用某种机制阻止拷贝或赋值。

定义default以及删除的函数：

在新标准下，可以通过将拷贝构造函数和拷贝赋值运算符定义为删除的函数来阻止拷贝，删除函数是一种虽然被声明，但是却不能以任何方式使用的函数。在函数的参数列表后面加上=delete来指出我们希望将它定义为删除的：

stuct A{
	A() = default;                   //使用合成的默认的构造函数
	A(const A&) = delete;            //阻止拷贝
	A& operator=(const A&) = delete  //阻止赋值
	~A() = default;                  //使用合成的默认的析构函数
};

=delete与=default不同之处在于：
1.=delete必须出现在函数第一次声明的时候，因为编译器需要提前知道一个函数时删除的，已阻止对它的操作；
2.可以对任何函数使用=delete，但=default只能作用与编译器可以合成的默认构造函数或拷贝控制成员。

析构函数不能是删除的成员：

因为析构函数被删除，就无法销毁此类型的对象了。
对于一个删除了析构函数的类型，编译器将不允许定义该类型的变量或创建该类型的临时对象。
如果一个类的某个成员删除了析构函数，也不能定义该类的变量或者临时对象。