类的六个默认成员函数学习

什么是默认成员函数？

默认成员函数就是 ： 你不实现，编译器就会给你实现一份，因为在类中含有默认的六个成员函数。

一，构造函数

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

类名(参数列表){
	函数体;
};

特性：

1.构造函数的虽然名称叫构造，但是需要注意的是构造函数的主要任务并不是开空间创建对象，而是初始化对象。
2.C++中不用传参去调用的构造函数就是默认的构造函数
3.无参的构造函数全缺省的构造函数都是默认构造函数，并且默认构造函数只能有一个。
4.如果类中没有显式定义构造函数，则C++编译器会自动生成一个无参的默认构造函数，一旦用户显式定义了编译器将不再生成。

class Date
{
public:
	// 无参构造函数
	Date()
	{}
	// 全缺省的构造函数
	Date(int year = 2021, int month = 1, int day = 1)
	{
		_year = year;
		_month = month;
		_day = day;
	}
private:
	int _year;
	int _month;
	int _day;
};

注意：

1.当调用无参构造函数创建对象时，对象之后一定不能跟(),如果跟上()就成为函数声明，而不是创建对象。

问题：我们在不实现构造函数的情况下，编译器会生成默认的构造函数，那我们还有必要再实现吗？

C++把类型分为内置类型(基本类型)和自定义类型。
内置类型就是语法已经定义好的类型，如int/char...
自定义类型就是我们使用class/struct/union自己定义的类型。
编译器会对自定义类型调用它的默认成员函数。

class Time
{
public:
	Time(int hour = 0, int minute = 0, int second = 0)
	{
		_hour = hour;
		_minute = minute;
		_second = second;
	}
private:
	// 内置类型
	int _hour;
	int _minute;
	int _second;
};

class Date
{
public:
	Date(int year, int month, int day)
	{
		_year = year;
		_month = month;
		_day = day;
	}
private:
	// 内置类型(基本类型)
	int _year;
	int _month;
	int _day;
	// 内置类型
	Time _t;
};

二，析构函数

是在对象销毁的时候，由编译器自动进行调用，作用：将对象中包含的资源清理干净。

~类名()
{};

特性：

1. 无参数无返回值。
2. 一个类有且只有一个析构函数。若未显式定义，系统会自动生成默认的析构函数。
3. 对象生命周期结束时，C++编译系统系统自动调用析构函数。
4. 内置类型不处理（基本类型的成员变量，都不会处理）
5. 自定义类型，要处理（会去调用它的析构函数）

class String
{
public:
	String(const char* str = "")
	{
		_str = (char*)malloc(strlen(str) + 1);
		strcpy(_str, str);
	}
	~String()
	{
		if (_str)
		{
			free(_str);
			_str = nullptr;
		}
	}
private:
	char* _str;
};
class Person
{
private:
	// 自定义类型，调用它的析构函数
	String _name;
	int _age;
};

注意：

如果类中涉及到资源管理时，该类必须要显示提供析构函数，在析构函数中将对象的资源释放掉。否则会发生资源泄漏。

三，拷贝构造函数

当用已经存在的对象创建新对象时，编译器会自动调用拷贝构造函数完成新对象的初始化工作。拷贝构造函数也是特殊的成员函数。

特性：

1.拷贝构造函数是构造函数的一个重载形式。
2.拷贝构造函数的参数只有一个且必须使用引用传参，使用传值方式会引发无穷递归调用。
3.引用传参，如果函数中不需要改变参数对象，建议使用const 类名&
4.编译器自动生成默认拷贝构造函数会完成对象按字节依次进行拷贝
5.一般情况下编译器自动生成的拷贝构造就可以用，但是深浅拷贝的场景下得自己写

Date(2021,1,1);
// 这里d2调用的默认拷贝构造完成拷贝，d2和d1的值也是一样的。
 Date d2(d1);

注意：

1.编译器生成的默认拷贝构造函数是按照浅拷贝方式实现的。
2.浅拷贝：将一个对象中的内容原封不动的拷贝到另一个对象中
  后果：多个对象共享同一份资源，最终在对象销毁时该份资源被释放多次而导致代码崩溃
3.一个类中如果涉及到资源管理时，拷贝构造函数是必须要实现的

四，赋值操作符重载

C++为了增强代码的可读性引入了运算符重载，运算符重载是具有特殊函数名的函数，也具有其返回值类型，函数名字以及参数列表，其返回值类型与参数列表与普通的函数类似。
函数名字为：关键字operator后面接需要重载的运算符符号。
函数原型：返回值类型 operator操作符（参数列表）

特性：

1.返回*this
2.一个类如果没有显式定义赋值运算符重载，编译器也会生成一个，完成对象按字节序的值拷贝。
3.运算符重载的意义:可以让自定义类型像内置类型一样去使用我们的运算符，增强程序的可读性

例如：日期类的实现

class Date
{
public:
	Date(int year = 1900, int month = 1, int day = 1)
	{
		_year = year;
		_month = month;
		_day = day;
	}
	// 拷贝构造函数
	Date(const Date& d)
	{
		_year = d._year;
		_month = d._month;
		_day = d._day;
		cout << "Date(Date&):" << this << endl;
	}

	// 对于自定义类型，编译器不知道如何进行响应运算符的操作
	// 因此需要对该运算符进行重载，相当于告诉编译器针对该种类型的对象如何去进行运算符操作
	bool operator<(const Date& d)
	{
		if ((_year < d._year) ||
			(_year == d._year && _month < d._month) ||
			(_year == d._year && _month == d._month && _day < d._day))
		{
			return true;
		}
	}
	
	bool operator==(const Date& d)
	{
		return _year == d._year && _month == d._month && _day == d._day;
	}
	
	bool operator!=(const Date& d)
	{
		return !(*this == d);
	}
	
	Date& operator+=(int days)
	{
		_day += days;
		return *this;
	}

	Date operator+(int days)
	{
		Date tmp(*this);
		tmp._day += days;
		return tmp;
	}

	Date& operator=(const Date& d)
	{
		// this是=运算符的左操作数，d是=运算符的右操作数
		if (this != &d)
		{
			_year = d._year;
			_month = d._month;
			_day = d._day;
		}
		return *this;
	}

	// 前置++
	Date& operator++()
	{
		_day++;
		return *this;
	}
	
	// 后置++
	Date operator++(int)
	{
		Date tmp(*this);
		_day++;
		return tmp;
	}
	
	// 前置--
	Date& operator--()
	{
		_day--;
		return *this;
	}
	
	// 后置--  先使用，后-1
	Date operator--(int)
	{
		Date tmp(*this);
		_day--;
		return tmp;
	}
	
	// 日期-天数
	Date operator-(int days)
	{
		Date temp(*this);
		temp._day -= days;
		return temp;
	}

	~Date()
	{}

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

注意：

1.不能通过来连接其他符号来创建新的操作符：如operator@
2.重载操作符必须有一个类类型或者枚举类型的操作数
3.用于内置类型的操作符，其含义不能改变，例如：内置的整形+， 不能改变其含义
4.作为类成员的重载函数式时，其形参看起来比操作数数目少1个成员函数的操作符有一个默认的this, 限定为第一个形参
5.  .*  ::  sizeof  ?:  .  这5个运算符不能重载。

2.const修饰类成员
使用场景：

（1）const修饰形参，一般和引用同时使用；
（2）const修饰返回值；
（3）const修饰类数据成员，必须在构造函数的初始化列表中初始化；
（4）const修饰类成员函数，实际修饰隐含的this指针，表示在类中不可以对类的任何成员进行修改；
（5）在const修饰的成员函数中要对类的某个数据成员进行修改，该数据成员定义声明是必须加mutable关键字。

说明：

const对象不可以调用非const成员函数，非const成员函数可以调用const成员函数

五，取地址操作符重载

class Test
{
public:
	Test* operator&()
	{
		return this ;
	}
};

取址操作符重载函数返回值为该类型的指针，无参数。

六，const修饰的取地址操作符重载

class Date
{ 
public : 
	const Date* operator&()const
    {
        return this ;
    }
private :
	int _year ; // 年
	int _month ; // 月
    int _day ; // 日
};

函数后边的const表明在函数体中不能改变对象的成员，当然可以改变mutable变量。函数的返回值是指向常对象的指针。