拷贝构造——参考《C++Primer》第十三章

一、背景回顾

上篇博客我们自写动态数组，发现有很多地方我们以前未曾遇到过，比如什么时候用const，函数返回值用引用还是用值？为啥重写函数必须有const和非const之分。这周我专门查阅了 《C++Primer》 一书，并且根据相关习题，理解了关于拷贝控制的知识。直接罗列知识点，是十分愚蠢的做法，笔者容易失去疲倦，读者容易困乏。所以我们以小项目为驱动，直接看项目来加深对知识点的理解。

二、拷贝构造

2.1 特征

代码特征： 参数列表中：第一个参数是自身类型的引用，其余任何额外参数都有默认值。

class Foo{
	Foo();
	Foo(const Foo&);//拷贝构造
};

思考：为啥拷贝构造需要传入的是 const且是引用类型？
这里你需要知道一个知识点：参数以值的形式传参的时候，就会调用拷贝构造函数。
“如果参数不是引用类型，则调用永远也不会成功——为了调用拷贝构造，我们需要拷贝实参，我们又要调用拷贝构造，如此无限循环，子子孙孙无穷尽也。”

2.2 IDE合成的拷贝构造函数

即使我们定义了其他构造函数，编译器也会为我们合成一个拷贝构造函数。一般情况下：合成拷贝构造函数 用来将其参数的成员逐个拷贝到正在创建的对象中，而且它还比较强大，可以自动拷贝数组中的元素，当然如果是一个类数组，它又会调用该类的拷贝构造函数来进行拷贝。

2.3 初始化&&赋值

参考Nmoek的博客
初始化是从类型的描述开始，赋值是两个已存在对象之间开始的。

初始化和赋值是包含和被包含的关系。初始化和赋值都能够使得变量具有确定的值。
给变量初始化一定是给变量赋值，但给变量赋值不一定是初始化。

2.4拷贝初始化&&直接初始化

简单直接：使用等号的就是拷贝初始化反之则是拷贝初始化。 当然：前提都是两项都是初始化。要和赋值区分开来

string s5 = "hiya";    //拷贝初始化
string s6("hiya");     //直接初始化
string s7(10, 'c');    //直接初始化，s7的内容是cccccccccc

2.5 调用：“拷贝初始化”的情况

①等号=
②将一个对象作为实参，传递给非引用类型的形参
③从一个返回类型为非引用类型的函数返回一个对象。
④从花括号列表初始化一个数组钟的元素或者聚合类的成员。
⑤初始化某些容器的时候

三、代码例子

本例子是《C++Primer习题集》13.13答案：建议F11单步调试跟一下：

#include<stdio.h>
#include<iostream>
#include<vector>
using namespace std;
#include <initializer_list>
struct X
{
	X()
	{
		std::cout << "构造函数X()" << std::endl;
	}
	X(const X&)
	{
		std::cout << "拷贝构造函数X(const X&)" << std::endl;
	}
	X& operator=(const X& rhs)
	{
		std::cout << "拷贝赋值运算符=(const X&)" << std::endl;
		return *this;
	}
	~X()
	{
		std::cout << "析构函数~X()" << std::endl;
	}
};
void f1(X x)
{
}
void f2(X& x)
{
}
int main()
{
	cout << "局部变量:" << endl;
	X x;
	cout << endl;

	cout << "非引用参数传递：" << endl;
	f1(x);
	cout << endl;

	cout << "引用参数传递：" << endl;
	f2(x);
	cout << endl;

	cout << "动态分配" << endl;
	X* px = new X;
	cout << endl;

	cout << "添加到容器中：" << endl;
	vector<X> vx;
	vx.push_back(x);
	cout << endl;

	cout << "释放动态分配对象：" << endl;
	delete px;
	cout << endl;

	cout << "间接初始化和赋值：" << endl;
	X y = x;
	y = x;
	cout << endl;

	cout << "程序结束" << endl;
	return 0;
}

运行结果：