重生之我要学C++第四天

这篇文章的主要内容是类的默认成员函数。如果对大家有用的话，希望大家三连支持，博主会继续努力！

目录

一.类的默认成员函数

二.构造函数

三.析构函数

四.拷贝构造函数

五.运算符重载

---

一.类的默认成员函数

如果一个类中什么成员都没有，简称为空类。空类中真的什么都没有吗？并不是，任何类在什么都不写时，编译器会自动生成以下6 个默认成员函数。
默认成员函数：用户没有显式实现，编译器会生成的成员函数称为默认成员函数。

二.构造函数

定义：构造函数 是一个 特殊的成员函数，名字与类名相同 , 创建类类型对象时由编译器自动调用 ，以保证每个数据成员都有一个合适的初始值，并且在对象整个生命周期内只调用一次。
特性：

1. 函数名与类名相同。
2. 无返回值。
3. 对象实例化时编译器 自动调用 对应的构造函数。
4. 构造函数可以重载。
5. 如果类中没有显式定义构造函数，则 C++ 编译器会自动生成一个无参的默认构造函数，一旦用户显式定义编译器将不再生成。
6. 编译器生成的默认构造函数对内置类型不会处理，但会调用自定义类型的默认构造函数。
7. 无参的构造函数和全缺省的构造函数都称为默认构造函数，并且默认构造函数只能有一个。
   注意：无参构造函数、全缺省构造函数、我们没写编译器默认生成的构造函数，都可以认为是默认构造函数。

延伸总结：

三.析构函数

定义：对象在销毁时会自动调用析构函数，完成对象中资源的清理工作。
特征 ：

1. 析构函数名是在类名前加上字符 ~。
2. 无参数无返回值类型。
3. 一个类只能有一个析构函数。若未显式定义，系统会自动生成默认的析构函数。注意：析构函数不能重载。
4. 对象生命周期结束时， C++ 编译系统系统自动调用析构函数。
5. 编译器生成的默认析构函数，对自定义类型成员调用它的析构函数。对内置类型不做处理。内置类型出栈帧自动销毁。
6. 如果类中没有申请资源时，析构函数可以不写，直接使用编译器生成的默认析构函数，比如Date类；有资源申请时，一定要写，否则会造成资源泄漏，比如 Stack 类。
   延伸总结：析构函数的作用就是在对象生命周期结束时 释放对象内手动申请的资源空间，只不过自动调用，比C语言方便。析构函数的调用顺序类似栈这种数据结构，后创建先析构。

四.拷贝构造函数

拷贝构造函数：只有单个形参，该形参是对本类类型对象的引用****(一般常用const修饰)，在用已存****在的类类型对象创建新对象时由编译器自动调用。(传值拷贝自动调用)

特性：

1. 拷贝构造函数是构造函数的一个重载形式。
2. 拷贝构造函数的 参数只有一个 且 必须是类类型对象的引用 ，使用 传值方式编译器直接报错， 因为会引发无穷递归调用。
3. 若未显式定义，编译器会生成默认的拷贝构造函数。默认拷贝构造： 内置类型是按照字节方式直接浅拷贝。对自定义类型会调用自定义类型的拷贝构造函数。
   4. 类中如果没有涉及资源申请时，拷贝构造函数是否写都可以；一旦涉及到资源申请 时，则拷贝构造函数是一定要写的，否则就是浅拷贝。
4. 拷贝构造函数典型调用场景：使用已存在对象创建新对象，函数参数类型为类类型对象，函数返回值类型为类类型对象。
   延伸总结：自定义类型传值传参必须调用拷贝构造。默认拷贝构造对内置类型浅拷贝(有malloc的空间需要手动写拷贝构造！没有就不用写)，自定义类型调用自定义类型的拷贝构造。
   在如下场景：

#include<iostream>
using namespace std;
class Stack
{
public:
	Stack(int N=0)//构造函数
	{
		arr = (int*)malloc(sizeof(int) * N);
		top = capcity = 0;
	}
	~Stack()//析构函数
	{
		free(arr);
		arr = nullptr;
		top = capcity = 0;
	}
private:
	int* arr;
	int top;
	int capcity;
};
int main()
{
	Stack s1(4);
	Stack s2 = s1;//传值拷贝
	return 0;
}

使用传值拷贝，但栈类有资源申请(malloc)，但没写拷贝构造，系统默认拷贝构造只会对内置类型浅拷贝，s1和s2的arr值就相同，指向同一块堆空间。这就是默认拷贝构造的浅拷贝。

当程序结束时，先自动调用s2的析构函数，将arr指向的堆空间释放，再调用s1的析构函数，arr指向的堆空间再次释放，访问了野指针，程序就会崩溃。所以有资源申请的类一定要写拷贝构造函数，否则在程序结束时会调用两次析构函数，free两次同一块堆空间，程序崩溃。

要解决上述问题，需要手写拷贝构造函数完成深拷贝：

Stack(Stack& s)
{
	s.arr = (int*)malloc(sizeof(int) * capcity);
	s.capcity = capcity;
	s.top = top;
}

五.运算符重载

C++ 为了增强代码的可读性引入了运算符重载 ， 运算符重载是具有特殊函数名的函数 ，也具有其返回值类型，函数名字以及参数列表，其返回值类型与参数列表与普通的函数类似。
运算符重载函数： 返回类型 + operator +要重载的操作符(参数列表)
注意：
1.不能通过连接其他符号来创建新的操作符：比如operator@
2.重载操作符必须有一个类类型参数。
3.用于内置类型的运算符，其含义不能改变，例如：内置的整型+ ，不 能改变其含义。
4.作为类成员函数重载时，其形参看起来比操作数数目少1 ，因为成员函数的第一个参数为隐藏的this指针。
5. .* :: sizeof ?: . 注意以上5 个运算符不能重载。

接下来举例示范一下比较运算符重载和赋值运算符重载。

如下代码

#include<iostream>
using namespace std;
class Date
{
private:
	int _year;
	int _month;
	int _day;
public:
	Date(int year = 1, int month = 1, int day = 1)//构造函数
	{
		_year = year;
		_month = month;
		_day = day;
	}
	
};
int main()
{
	Date d1(2022, 9, 24);
	Date d2(2022, 3, 27);
	if (d1 > d2)
	{
		cout << "d1这个日期更大" << endl;
	}
	return 0;
}

这里会编译错误，因为d1,d2两个对象无法用>号比较大小，肉眼可见d1更大。那么如何比较大小呢？

我们可以在类中定义函数

bool compare(Date& d)
	{
		if (_year > d._year)
		{
			return true;
		}
		else if (_year == d._year && _month > d._month)
		{
			return true;
		}
		else if (_year == d._year && _month == d._month && _day > d._day)
		{
			return true;
		}
		else
			return false;
	}

通过

d1.compare(d2)==true;//判断出d1大

但是这中方法代码的可读性差，不能直观感受出d1,d2的大小。

C++的运算符重载就应运而生了。在类中定义函数

bool operator>(Date& d)
	{
		if (_year > d._year)
		{
			return true;
		}
		else if (_year == d._year && _month > d._month)
		{
			return true;
		}
		else if (_year == d._year && _month == d._month && _day > d._day)
		{
			return true;
		}
		else
			return false;
	}

通过运算符重载，以下表达式就能表达出d1大于d2

d1>d2;//等价于d1.operator(d2)

这种方式大大增强了代码的可读性。