【Primer C++学习笔记】13. 拷贝控制

13. 拷贝控制

一个类通过定义五种特殊的成员函数（拷贝控制函数）控制对象拷贝、移动、赋值和销毁：

• 拷贝构造函数：当用同类型的另一个对象初始化本对象时的操作
• 拷贝赋值运算符：将一个对象赋予同类型的另一个对象时的操作
• 移动构造函数：当用同类型的另一个对象初始化本对象时的操作
• 移动赋值运算符：将一个对象赋予同类型的另一个对象时的操作
• 析构函数：对象销毁时的操作

13.1 拷贝、赋值与销毁

13.1.1 拷贝构造函数

拷贝构造函数：第一个参数是自身类类型的引用、且额外参数都有默认值的构造函数

 

13.1.2 拷贝赋值运算符

拷贝赋值运算符：接受一个与其所在类相同类型的参数

 

operator：重载运算符本质上是函数，名字由operator后接要定义的运算符符号组成（重载赋值运算符写作operator=的函数）

13.1.3 析构函数

析构函数是类的一个成员函数，没有返回值也不接受参数。

 

13.1.4 三/五法则 

有三个基本操作（拷贝构造函数、拷贝赋值运算符和析构函数）可以控制类的拷贝操作，这些操作通常被看作一个整体（在新标准下还包括一个移动构造函数和一个移动赋值运算符）：

• 需要析构函数的类也需要拷贝和赋值操作
• 需要拷贝操作的类也需要赋值操作，反之亦然

---

13.2 拷贝控制和资源管理

为了定义拷贝控制成员需要首先确定此类型对象的拷贝语义，可以通过使类的行为看起来像一个值、指针定义拷贝操作：

• 类的行为像一个值（独立的状态）：拷贝时副本和原对象完全独立，改变副本不会改变原对象；
• 类的行为像一个指针（共享状态）：拷贝时副本和原对象使用相同的底层数据；

以HasPtr类为例，它有两个成员一个int和一个string指针。

13.2.1 行为像值的类

对于类管理的资源，每个对象都应该拥有一份自己的拷贝，因此HasPtr需要：

• 定义一个拷贝构造函数：完成string的拷贝而不是拷贝string指针；
• 定义一个析构函数：释放string
• 定义一个拷贝赋值运算符：释放对象当前的string，并从右侧运算对象拷贝string

 

13.2.2 定义行为像指针的类

需要定义拷贝构造函数和拷贝赋值运算符，拷贝指针成员本身而不是它指向的string，析构函数不能单方面释放关联的string，只有当最后一个指向stirng的HasPtr销毁时才可以释放string。

---

13.3 交换操作

如果类使用了重排元素顺序的算法，定义swap是很有必要的，可以在类上定义一个自己版本的swap重载swap的默认行为：

将swap定义为friend以便访问HasPtr的private数据成员，将其声明为inline函数并绑定到两个指针成员。

---

13.4 拷贝控制示例

13.5 动态内存管理类

13.6 对象移动