C++复制构造函数

复制构造函数、赋值操作符、析构函数总称为复制控制

定义：是一种特殊的构造函数，具有单个形参，该形参（常用const修饰）是对该类类型的引用

适用情况：

1）初始化对象 ，根据另一个同类型的对象显式或隐式初始化一个对象

2）作为实参传给函数时，复制这个对象

3）函数返回时，复制对象

4）初始化顺序容器中的元素

5）根据元素初始化列表初始化数组元素

分类解说：

1. 对象的定义形式

C++支持两种初始化：直接初始化（放在圆括号“()”里）和复制初始化（复制初始化使用”=“）。当用于类类型对象时，初始化的直接形式与复制形式有所不同：直接初始化直接调用与实参匹配的构造函数，复制初始化调用复制构造函数。复制初始化首先使用指定的构造函数创建一个临时对象，然后用复制构造函数将那个临时对象复制到正在创建的那个对象。

string strBook = "1-234-5678"; // 复制初始化
string dots(10, '.'); // 直接初始化
string strcopy = string(); // 复制初始化
string str;// 直接初始化

只有指定单个实参（第一个）或者显式创建一个临时对象（第三个）用于复制时，才能使用复制初始化。

声明：这里书写方式的不同，会导致调用形式也不一样的，而且我在调试中发现与C++Primer有些观点不一致，如下

int nObj = 100;
HasPtr p1, p2; //默认构造函数
p1 = HasPtr(&nObj, 10); // 构造函数 和 复制操作符
p2 = HasPtr(p1);  //复制构造函数 和 赋值操作符函数
HasPtr p3 = HasPtr(&nObj, 10);	 //只发生了复制构造函数的调用
HasPtr p4 = HasPtr(p1);  //复制构造函数

先说p3默认默认使用HasPtr提供的构造函数先创建一个临时对象，然后用这个临时对象直接初始化p3，这里调试中发现并没有调用复制构造函数，这里也就是说临时对象就是p1，并没有进行复制，但是书中则是使用了复制构造函数进行复制的，另外p4则是调用了复制构造函数直接初始化p4了；p1与p2首先使用的就是默认构造函数进行初始化的，然后p1，使用了形参为2个的构造函数，然后再调用赋值操作符函数，但是p2却调用了复制构造函数，然后再调用赋值操作符函数，这个与前面说的使用情况是一致的。

2. 形参与返回值

当形参为非引用类型是，将复制实参的值；以非引用类型做返回值时，将返回return语句中值的副本。

string MakePlural(size_t size, const string& strWord, const string& strEnding)
{
return (size == 1)? strWord: (strWord+strEnding); //返回一个临时对象的副本
}

这里形参并没有复制，因为这里使用了const引用，如果是非引用就会复制实参的值。另外在返回值里面，如果size=1那么就会返回strWord值的副本，而不是其本身，因为返回类型不是引用；而size!=1的时候，返回的是一个由strWord+strEnding计算后的临时对象值的副本。

3. 初始化容器元素

可以用表示容量的的单个形参来初始化容器，如下：

vector<string> vec(5);

首先会使用string默认构造函数创建一个临时值来初始化vec，然后使用复制构造函数将临时值复制到vec的每个元素，但是作为一般规则通常是先分配一个空容器，然后再一个个的加入容器。

4. 构造函数与数组元素

sales_item primer_eds[] = {
string("0-201-16578-6"),
string("0-201-16578-1"),
string("0-201-16578-8"),
sales_item()
};

第一个~第三个使用sales_tem的形参为string类型的构造函数初始化为临时对象，然后复制到数组相应位置处；最后一个没有指定实参，使用默认构造函数初始化，然后使用复制构造函数复制到最后一个位置上。

合成复制构造函数：

1）如果我们没有定义，编译器默认会合成一个，与合成的默认构造函数不同，即使我们定义了其他构造函数，也会合成复制构造函数。

2）合成复制构造函数执行逐个成员初始化，合成复制构造函数直接复制内置类型成员的值，类类型成员使用该类的复制构造函数进行复制，复制数组时将复制数组中的每一个元素。

3）可以将合成复制构造函数看作其中每个数据成员在构造函数初始化列表中进行初始化。例如sale_item的类有几个成员：

class sales_item
{
...
private:
string isbn;
unsigned units_sold;
double revenue;
...
};

可以这样写复制构造函数：

sales_item::sales_item(const sales_item &org):
isbn(org.isbn),
units_sold(org.units_sold),
revenue(org.revenue)
{
}

定义自己的复制构造函数：

对于许多类而言，合成复制构造函数只完成必要的工作，只包含类类型成员或者内置类型（非指针）成员的类，无需显式地定义复制构造函数，也可以复制。

需要自己定义复制构造函数的：

1）有些类必须加以控制，这样的类经常有一个数据成员是指针，或者有成员在构造函数中分配其他资源。

2）另一些类在创建新对象时必须做一些特定工作。

注意：

1）形参一般定义为const的引用

2）因为用于向函数传递对象和从函数返回对象，该构造函数一般不应设置为explict

禁止复制：

有些类是不需要复制构造函数的，如果不定义复制构造函数也会默认合成一个，所以为了防止复制必须显示地声明一个复制构造函数为private。然而类的友元和成员仍可以进行复制，如果想连友元和成员中的复制也禁止，可以只声明一个复制构造函数但不定义。

大多数类应定义复制构造函数和默认构造函数，因为不允许复制的类对象只能作为引用传递给函数或者从函数中返回，这里返回是从形参中返回，不是函数体最后的返回值。

如果定义了复制构造函数，也必须定义默认构造函数。