构造，析构，拷贝【类和对象（中）】

P. S.：以下代码均在VS2019环境下测试，不代表所有编译器均可通过。 P. S.：测试代码均未展示头文件stdio.h的声明，使用时请自行添加。

在这里插入图片描述

                        博主主页：LiUEEEEE
                          C++专栏
                        C语言专栏
                       数据结构专栏
                       排序算法专栏
                      力扣牛客经典题目专栏

1、前言

在C++中，类拥有六个默认成员函数（使用者如果没有显式实现此函数，在C++编译过程中编译器也会自动生成），如下：

在这里插入图片描述
本文主要讲述其中的三个默认成员函数，分别为构造函数，析构函数，和拷贝构造函数，下面进入正文。

2、构造函数

例如Data类，其构造函数如下所示：

class Data
{
public:
	//方法1
	Data()
	{
		_year = 1;
		_month = 1;
		_day = 1;
	}
	//方法2
	Data(int year, int month, int day)
	{
		_year = year;
		_month = month;
		_day = day;
	}
	//方法3
	Data(int year = 1, int month = 1, int day = 1)
	{
		_year = year;
		_month = month;
		_day = day;
	}
private:
	int _year;
	int _month;
	int _day;
};

根据代码块所示，构造函数的目的就是为了将类中成员变量的值进行初始化，而代码块中所展示了三种不同的写法，展示了构造函数的特征：

函数名与类名相同。
无返回值。
对象实例化时编译器自动调用对应的构造函数。
构造函数可以重载。

方法3的使用方式为，在创建类对象时，在对象后传入想要初始化的值，例如：

	Data data(2024, 7, 2);

而作为无参的初始化类成员，将默认调用无参数的构造函数，正如上文中提及的特征3一样。

值得注意的是，即使构造函数可以重载，以应对不同的初始化要求，但代码块中所展示的方法3和方法1不可以同时出现，因为当使用者创建类时：

	Data data;

编译器会去类中寻找使用者显式实现的无参类型构造函数，但对于全缺省类型的构造函数也可以不传递参数进行类对象的创建，此时编译器就出现了调用冲突，不知道使用者想调用的构造函数是哪一个。

在C++中，如果使用者没有显式实现构造函数，那么C++默认生成的构造函数在调用时并不会对内置类型（编译器中自带的类型：int ， double ， char 等）进行初始化（主要取决于编译器，在最新版编译器中可能会将相关成员变量初始化为特定的值），但对于自定义类型，会调用其无参的构造函数（例如：全缺省的构造函数，无参的构造函数，编译器自动生成的构造函数。注意以上三种无参构造函数在类中只能存在一个）。
演示如下：

class Data
{
public:
	void Print()
	{
		cout << _year << "-" << _month << "-" << _day << endl;
	}
private:
	int _year;
	int _month;
	int _day;
};


int main()
{
	Data data;
	data.Print();

	return 0;
}

在这里插入图片描述

3、构造函数

对于析构函数，同样以Data类为例，析构函数的功能与构造函数相反，析构函数不是完成对对象本身的销毁，局部对象的销毁工作是由编译器完成的，而对象在销毁时会自动调用析构函数，完成对象中资源的清理，类似于在实现栈时的Destroy函数。
析构函数的特征：

析构函数名是在类名前加上字符 “ ~ ”。
无参数无返回值类型。
一个类只能有一个析构函数。若未显式定义，系统会自动生成默认的析构函数。注意：析构
函数不能重载
对象生命周期结束时，C++编译系统系统自动调用析构函数。

样例如下

class Data
{
public:
	Data(int year = 2024,int month = 7,int day = 2)
	{
		_year = year;
		_month = month;
		_day = day;
	}
	void Print()
	{
		cout << _year << "-" << _month << "-" << _day << endl;
	}
	~Data()
	{
		cout << "~Data()" << endl;
		_year = 1;
		_month = 1;
		_day = 1;
	}
private:
	int _year;
	int _month;
	int _day;
};


int main()
{
	Data data;
	data.Print();

	return 0;
}

因为编译器在生命周期结束时自动调用析构函数，故上述代码块中在析构函数中添加了打印语句“ cout << “~Data()” << endl; ”，其打印结果如下：
在这里插入图片描述
可以明确的看到编译器确实调用了析构函数。

同样的，析构函数在调用时不会对内置类型进行处理，对自定义类型的对象会调用其自己的析构函数，此处不再做演示。

4、拷贝函数

C++中拷贝函数也称为拷贝构造函数，其主要目的是在初始化时，将某一个类对象的成员值直接拷贝给新的类对象，其使用方法如下：

	Data data1;
	//方法1
	Data data2(data1);
	//方法2
	Data data3 = data1;

拷贝函数的特征如下：

拷贝构造函数是构造函数的一个重载形式。
拷贝构造函数的参数只有一个且必须是类类型对象的引用，使用传值方式编译器直接报错，因为会引发无穷递归调用。
若未显式定义，编译器会生成默认的拷贝构造函数。默认的拷贝构造函数对象按内存存储按
字节序完成拷贝，这种拷贝叫做浅拷贝，或者值拷贝。

那如果使用者要显式实现拷贝函数呢？其代码如下所示：

	Data(Data& d)
	{
		_year = d._year;
		_month = d._month;
		_day = d._day;
	}

可以看到在书写拷贝函数的代码时，参数部分使用了引用，这是因为在传递过程中我们直接将data放在了函数调用的部分，如果不使用引用的话，此处就会发生传值调用，而C++编译器默认在发生传值调用时，会先调用其拷贝函数，而我们的拷贝函数的参数是形参，就会发生无穷无尽的递归调用，而编译器在面对这种情况时会直接报错。
在这里插入图片描述
其原理类似于在日常使用函数时我们所传递的为形参，而形参是实参的一份临时拷贝，而拷贝函数在形参处，就会发生无穷无尽的递归。