13拷贝控制

13拷贝控制

13.1拷贝、赋值与销毁

13.1.1拷贝构造函数

拷贝构造函数的第一个参数必须是引用类型。

使用拷贝初始化时，我们要求编译器将右侧运算对象拷贝到正在创建的对象中，如果需要的画还要进行类型转换。

在函数调用过程中，具有非引用类型的参数要进行拷贝初始化。拷贝构造函数被用来初始化非引用类型参数。

我们使用explicit就不要考虑是拷贝初始化还是直接初始化了。

13.1.2拷贝赋值运算符

如果运算符是一个成员函数，其左侧运算对象就绑定到隐式的this参数。右侧运算对象作为显示参数传递。赋值运算符应该返回一个指向左侧运算对象的引用。

13.1.3析构函数

构造函数初始化对象的非static数据成员；析构函数释放对象使用的资源，并销毁对象的非static数据成员。对一个给定类只会有唯一一个析构函数。

在一个析构函数中，首先执行函数体，然后销毁成员。成员按初始化顺序的逆序销毁。析构函数释放对象在生存期分配的所有资源。

隐式销毁一个内置指针类型成员不会delete它所指向的对象。

13.1.4三五法则

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

13.1.5使用=default

13.1.6阻止拷贝

为什么拷贝、赋值、销毁的合成版本会阻止其操作？

对某些类来说，这些操作没有合理的意义，所以得采用某种机制阻止拷贝或赋值。例如iostream类阻止了拷贝。

定义删除的函数

析构函数不能是删除的成员，可定义，但带来的后果是灾难性的。

合成的拷贝控制成员可能是删除的。

13.2拷贝控制和资源管理

13.2.1行为像值的类

13.2.2行为像指针的类

定义引用计数来决定什么时候delete。将计算器保存在动态内存中。

13.3交换操作

底层利用std：：swap交换

在赋值运算符中使用swap

13.6对象移动

某些情况下通过对象移动能够“拷贝、赋值”能够节省很多资源。

13.6.1右值引用&&

右值引用必须绑定到右值的引用，利用&&来获得右值引用。

左值=右值；一个左值表达式表示的是一个对象的身份（地址），而右值表达式表示的是对象的值。

常规引用为左值引用。不能将其绑定到要求转换的表达式、字面常量或是返回右值的表达式。

右值引用也不过是对象的另一个名字而已，可以绑定到左值引用不能绑定的对象上，但是不能将一个右值引用直接绑定到一个左值上。

左值持久；右值短暂

左值具有持久的状态，而右值要么是字面常量，要么是在表达式求值过程中创建的临时对象。

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

移动构造函数第一个参数是该类的一个右值引用。直接移动，然后在析构实参。

noexcept（通知标准库不抛出任何异常），必须在头文件的声明中和定义中（如果定义在类外）都指定noexcept。

移动构造函数不分配任何新内存。

移动赋值运算符是先清空本身，在移动，在析构实参。

与拷贝操作不同，移动操作用于不会隐式定义为删除的函数。

用拷贝构造函数代替移动构造函数几乎肯定是安全的（赋值也是如此）。

移动右值拷贝左值，但如果没有移动构造函数，右值也被拷贝。

移动迭代器

一个迭代器一般解引用运算符返回一个指向元素的左值。而移动迭代器的解引用运算符生成有个右值引用。

13.6.3右值引用和成员函数

实参类型决定了新元素是拷贝还是移动到容器中。