拷贝控制操作（copy control）

当定义一个类时，我们显示地活着隐式地此类型的对象拷贝、移动、赋值和销毁时做什么。一个类通过五种特殊的成员函数来控制这些操作，包括

• 拷贝构造函数 copy constructor
• 拷贝赋值运算符 copy-assignment operator
• 移动构造函数 move constructor
• 移动赋值运算符 move-assignment operator
• 析构函数 destructor

拷贝构造函数

如果一个构造函数的第一个参数是自身类类型的引用，且任何额外参数都有默认值，则此构造函数是拷贝构造函数。

class Foo
{
public:
    Foo();            //默认构造函数
    Foo(const Foo &); //拷贝构造函数
};

拷贝构造函数的第一个参数必须是引用类型，原因我们稍后解释。虽然我们可以定义一个非const引用的拷贝构造函数，但此参数几乎总是一个const的引用。拷贝构造函数在几种情况下都会被隐式地使用。因此，拷贝构造函数通常不应该是explicit的。

拷贝构造函数被用来初始化非引用类类型参数，这一特性解释了为什么拷贝构造函数自己的参数必须是引用类型。如果其参数不是引用类型，则调用永远也不会成功----为了调用拷贝构造函数，我们拷贝它的实参，但为了拷贝实参，我们又需要调用拷贝构造函数，如此无限循环。

拷贝赋值运算符

class Foo
{
public:
    Foo& operator=(const Foo &); //赋值运算符
};

赋值运算符通常应该返回一个指向其左侧运算对象的引用。

析构函数

什么时候会调用析构函数

• 变量在离开其作用域时被销毁
• 当一个成员被销毁，其成员被销毁
• 容器（无论是标准库容器还是数组）被销毁时，其元素被销毁
• 对于动态分配的对象，当对指向它的指针应用delete运算符时被销毁
• 对于临时对象，当创建它的完成表达式被销毁

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

 

转载于:https://www.cnblogs.com/bootblack/p/11339852.html