?

对于部分内容会在接下来的文章中详细介绍

1，什么是类的拷贝控制

当我们定义一个类的时候，为了让我们定义的类类型像内置类型（char,int,double等）一样好用，我们通常需要考下面几件事：

Q1：用这个类的对象去初始化另一个同类型的对象。

Q2：将这个类的对象赋值给另一个同类型的对象。

Q3：让这个类的对象有生命周期，比如局部对象在代码部结束的时候，需要销毁这个对象。

因此C++就定义了5种拷贝控制操作，其中2个移动操作是C++11标准新加入的特性：

拷贝构造函数（copy constructor）

移动构造函数（move constructor）

拷贝赋值运算符（copy-assignment operator）

移动赋值运算符（move-assignment operator）

析构函数 （destructor）

前两个构造函数发生在Q1时，中间两个赋值运算符发生在Q2时，而析构函数则负责类对象的销毁。

但是对初学者来说，既是福音也是灾难的是，如果我们没有在定义的类里面定义这些控制操作符，编译器会自动的为我们合成一个版本。这有时候看起来是好事，但是编译器不是万能的，它的行为在很多时候并不是我们想要的。

所以，在实现拷贝控制操作中，最困难的地方是认识到什么时候需要定义这些操作。

2，拷贝构造函数

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

class Foo{ 
public: 
    Foo(); 
    Foo(const Foo&); 
};

我们从上面代码中可以注意到几个问题：

1，我们把形参定义为const类型，虽然我们也可以定义非const的形参，但是这样做基本上没有意义的，因为函数的功能只涉及到成员的复制操作。

2，形参是本身类类型的引用，而且必须是引用类型。为什么呢？

我们知道函数实参与形参之间的值传递，是通过拷贝完成的。那么当我们将该类的对象传递给一个函数的形参时，会调用该类的拷贝构造函数，而拷贝构造函数本身也是一个函数，因为是值传递而不是引用，在调用它的时候也需要调用类的拷贝构造函数（它自身），这样无限循环下去，无法完成。

3，拷贝构造函数通过不是explict的。

如果我们没有定义拷贝构造函数，编译器会为我们定义一个，这个函数会从给定的对象中依次将每个非static成员拷贝到正在创建的对象中。成员自身的类型决定了它是如何被拷贝的：类类型的成员，会使用其拷贝构造函数来拷贝；内置类型则直接拷贝；数组成员会逐元素地拷贝。

区分直接初始化与拷贝初始化：

string name(name_str);        //直接初始化 
string name = string(name_str);    // 拷贝初始化 
string name = name_str;        // 拷贝初始化

直接初始化是要求编译器使用普通的函数匹配来选择与我们提供的参数最匹配的构造函数；当我们使用拷贝初始化时，我们要求编译器将右侧运算对象拷贝到正在创建的对象中，如果需要的话还要进行类型转换（第三行代码隐藏了一个C风格字符串转换为string类型）。

3，拷贝赋值运算符

拷贝赋值运算符是一个对赋值运算符的重载函数，它返回左侧运算对象的引用。

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

与拷贝构造函数一样，如果没有给类定义拷贝赋值运算符，编译器将为它合成一个。

4，析构函数

析构函数是由波浪线接类名构成，它没有返回值，也不接受参数。因为没有参数，所以它不存在重载函数，也就是说一个类只有一个析构函数。

析构函数做的事情与构造函数相反，那么我们先回忆一个构造函数都做了哪些事：

1，按成员定义的顺序创建每个成员。

2，根据成员初始化列表初始化每个成员。

3，执行构造函数函数体。

而析构函数中不存在类似构造函数中初始化列表的东西来控制成员如何销毁，析构部分是隐式的。成员如何销毁依赖于成员自身的类型，如果是类类型则调用本身的析构函数，如果是内置类型则会自动销毁。而如果是一个指针，则需要手动的释放指针指向的空间。与普通指针不同的是，智能指针是一个类，它有自己的析构函数。

那么什么时候会调用析构函数呢？在对象销毁的时候：

变量在离开其作用域时被销毁；当一个对象被销毁时，其成员被销毁。容器被销毁时，成员被销毁。对于动态分配的对象，当对指向它的指针应用delete运算符时被销毁。对于临时对象，当创建它的赛事表达式结束时被销毁。

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

5，定义拷贝控制操作的原则

在第1点里有提过，在定义类的时候处理拷贝控制最困难的在于什么时候需要自己定义，什么时候让编译器自己合成。

那么我们可以有下面2点原则:

如果一个类需要定义析构函数，那么几乎可以肯定它也需要一个拷贝构造函数和一个拷贝赋值函数，反过来不一定成立。

如果一个类需要一个拷贝构造函数，几乎可以肯定它也需要一个拷贝赋值函数，反之亦然。

为什么析构函数与拷贝构造函数与赋值函数关系这么紧密呢，或者说为什么我们在讨论拷贝控制(5种)的时候要把析构函数一起放进来呢？

首先，我们思考什么时候我们一定要自己来定义析构函数，比如：类里面有动态分配内存。

class HasPtr 
{ 
public: 
    HasPtr(const string&s = string()) :ps(new string(s), i(0)){} 
    ~HasPtr(){ delete ps; } 
private: 
    int i; 
    string* ps; 
};

我们知道如果是编译器自动合成的析构函数，则不会去delete指针变量的，所以ps指向的内存将无法释放，所以一个主动定义的析构函数是需要的。那么如果没有给这个类定义拷贝构造函数和拷贝赋值函数，将会怎么样？

编译器自动合成的版本，将简单的拷贝指针成员，这意味着多个HasPtr对象可能指向相同的内存。

HasPtr p(some values); 
f(p);        // 当f结束时，p.ps指向的内存被释放 
HasPtr q(p);// 现在p和q都指向无效内存

6，使用=default和=delete

我们可以使用=default来显式地要求编译器生成合成的版本。合成的函数将隐式地声明为内联的，如果我们不希望合成的成员是内联的，应该只对成员的类外定义使用=default。

有的时候我们定义的某些类不需要拷贝构造函数和拷贝赋值运算符，比如iostream类就阻止拷贝，以避免多个对象写入或读取相同的IO缓冲。

新的标准里，我们可以在拷贝构造函数和拷贝赋值运算符函数的参数列表后面加上=delete用来指出我们希望将它定义为删除的，这样的函数称为删除函数。