C++之----拷贝构造

定义

拷贝构造函数也叫做复制构造函数， 它是一种特殊的构造函数，它在创建对象时，是使用同一类中之前创建的对象来初始化新创建的对象。 拷贝构造函数通常用于： 通过使用另一个同类型的对象来初始化新创建的对象。 复制对象把它作为参数传递给函数。

对于普通的内置类型来说，编译器会自动完成复制：

int main()
{
	int x = 9;

	int y = x;
	return 0;
}

而对于复杂的自定义的类对象来说，编译器有时并不能很好的完成赋值，这时就需要我们自己写出一个拷贝构造函数，来完成我们的类对象的拷贝。

拷贝赋值有以下几种特点：

1. 拷贝构造函数是构造函数的⼀个重载。
2. 拷贝构造函数的第一参数必须是类类型对象的引用，并且不能使用传值方式调用，编译器会直接报错，因为语法逻辑上会引发无穷递归调用。

下面是我们定义的一个日期类与它的拷贝构造函数：

class Date
{
public:

	//Date(Date d)
	// 如果采用上面这种写法，会直接编译报错，第一个参数必须是自身类类型的引用
	Date(const Date& d)
	{
		_year = d._year;
		_month = d._month;
		_day = d._day;
	}

private:
	int _year;
	int _month;
	int _day;
};

使用方法： 当我们创建一个新的类对象时，用一个同类型的并且已经存在的对象对其进行初始化时，就需要用到拷贝构造函数。

class Date
{
public:

	Date(int year = 1, int month = 1, int day = 1)
	{
		_year = year;
		_month = month;
		_day = day;
	}

	//Date(Date d)
	// 如果采用上面这种写法，会直接编译报错，第一个参数必须是自身类类型的引用
	Date(const Date& d)
	{
		_year = d._year;
		_month = d._month;
		_day = d._day;
	}

private:
	int _year;
	int _month;
	int _day;
};

int main()
{
	Date d1(2024, 1, 1);

	Date d2 = d1;    // 这一步操作就叫做拷贝构造，需要调用我们所写的拷贝构造函数
	return 0;
}

为什么拷贝构造的第一个参数必须是自身类类型的引用呢？首先我们需要知道C++ 规定自定义类型对象进行拷贝时必须调用拷贝构造，而传值调用时我们知道形参是实参的一份拷贝，所以传值调用的函数在调用时，会调用拷贝构造函数将实参拷贝给形参。所以若拷贝构造的第一个参数不是自身类类型的引用时，就会引发无线递归，我们想要调用拷贝构造时，因为是传值调用，在将实参拷贝给形参时，又会调用拷贝构造函数，这样一来，就造成了无限递归。

4. 若未显式定义拷贝构造，编译器会生成自动生成拷贝构造函数。自动生成的拷贝构造对内置类型成员变量会完成值拷贝/浅拷贝(⼀个字节⼀个字节的拷贝)，对自定义类型成员变量会调用他的拷⻉构造。

5. 像上面我们所实现的Date这样的类成员变量全是内置类型（int），并且没有指向什么资源（没有在堆上开辟额外的空间），编译器自动生成的拷贝构造就可以完成需要的拷贝，所以不需要我们显示实现拷贝构造。而像Stack这样的类，虽然也都是内置类型，但是我们主动向堆里面申请了指资源，编译器自动生成的拷贝构造完成的值拷贝/浅拷贝不符合我们的需求，所以需要我们自己实现深拷贝(对指向的资源也进行拷贝)。像MyQueue这样的类型内部主要是自定义类型Stack成员，编译器自动生成的拷吧贝构造会调用Stack的拷贝构造，也不需要我们显贝实现MyQueue的拷贝构造。如果⼀个类显示实现了析构并释放资源，那么他就需要显示写拷贝构造，否则就不需要。

6. 当调用某个有返回值的函数时，传值返回会产生⼀个临时对象，就会调用拷贝构造，将这个临时对象拷贝给接收此返回值的变量；而传引用返回，返回的是返回对象的别名(引用)，没有产生拷贝。但是如果返回对象是⼀个当前函数局部域的局部对象，函数结束就销毁了，那么使用引用返回是有问题的，这时的引用相当于⼀个野引用，类似⼀个野指针⼀样。传引用返回虽然可以减少拷贝，但是⼀定要确保返回对象，在当前函数结束后还依然存在，才能使用传引用返回。