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

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;
};

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

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

  方法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函数。
  析构函数的特征：

1. 析构函数名是在类名前加上字符 “ ~ ”。
2. 无参数无返回值类型。
3. 一个类只能有一个析构函数。若未显式定义，系统会自动生成默认的析构函数。注意：析构
   函数不能重载
4. 对象生命周期结束时，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;

  拷贝函数的特征如下：

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

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

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

  可以看到在书写拷贝函数的代码时，参数部分使用了引用，这是因为在传递过程中我们直接将data放在了函数调用的部分，如果不使用引用的话，此处就会发生传值调用，而C++编译器默认在发生传值调用时，会先调用其拷贝函数，而我们的拷贝函数的参数是形参，就会发生无穷无尽的递归调用，而编译器在面对这种情况时会直接报错。

  其原理类似于在日常使用函数时我们所传递的为形参，而形参是实参的一份临时拷贝，而拷贝函数在形参处，就会发生无穷无尽的递归。

  如果使用者不显式实现拷贝函数，那么编译器会自动生成，并按照内存存储按字节序的方式进行拷贝，显式实现与不实现都是使用者可以选择的方式，具体情况按照实际需求进行选择。

5、结语

  十分感谢您观看我的原创文章。
  本文主要用于个人学习和知识分享，学习路漫漫，如有错误，感谢指正。
  如需引用，注明地址。