【C++】运算符重载

1.赋值运算符重载

1.1 运算符重载

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

// 全局的operator==
class Date
{
public:
	// 如果用户显式定义了构造函数，编译器将不再生成
	Date(int year = 1, int month = 1, int day = 1)
	{
		_year = year;
		_month = month;
		_day = day;
	}

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

bool operator==(const Date& d1, const Date& d2)
{
	return d1._year == d2._year
		&& d1._month == d2._month
		&& d1._day == d2._day;
}

void Test1()
{
	Date d1(2023, 10, 23);
	Date d2(2023, 10, 24);
	cout << (d1 == d2) << endl;
}

int main()
{
	Test1();
	return 0;
}

class Date
{
public:
	// 如果用户显式定义了构造函数，编译器将不再生成
	Date(int year = 1, int month = 1, int day = 1)
	{
		_year = year;
		_month = month;
		_day = day;
	}

// bool operator==(Date* this, const Date& d2)
// 这里需要注意的是，左操作数是this，指向调用函数的对象
	bool operator==(const Date& d2)
	{
		return _year == d2._year
			&& _month == d2._month
			&& _day == d2._day;
	}

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

1.2赋值运算符重载

1.赋值运算符重载格式

• 参数类型：const T&，传递引用可以提高传参效率
• 返回值类型：T&，返回引用可以提高返回的效率，有返回值目的是为了支持连续赋值
• 检测是否自己给自己赋值
• 返回*this ：要复合连续赋值的含义

class Date
{
public:

	Date(int year = 1, 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;
    }
    
    Date& operator=(const Date& d)
    {
        if(this != &d)
        {
            _year = d._year;
            _month = d._month;
            _day = d._day;
        }
            return *this;
    }

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

2. 赋值运算符只能重载成类的成员函数不能重载成全局函数

class Date
{
public:

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

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

// 赋值运算符重载成全局函数，注意重载成全局函数时没有this指针了，需要给两个参数
Date& operator=(Date& left, const Date& right)
{
    if (&left != &right)
    {
        left._year = right._year;
        left._month = right._month;
        left._day = right._day;
    }

    return left;
}

// 编译失败：
// error C2801: “operator =”必须是非静态成员

原因：赋值运算符如果不显式实现，编译器会生成一个默认的。此时用户再在类外自己实现
一个全局的赋值运算符重载，就和编译器在类中生成的默认赋值运算符重载冲突了，故赋值
运算符重载只能是类的成员函数。

3. 用户没有显式实现时，编译器会生成一个默认赋值运算符重载，以值的方式逐字节拷贝。注意：内置类型成员变量是直接赋值的，而自定义类型成员变量需要调用对应类的赋值运算符重载完成赋值。 

就是operate= 我们不写，编译器会生成默认的operate=

        跟拷贝构造的行为类似

                默认的operate= 内置类型值拷贝

                自定义类型调用他的赋值

class Time
{
public:
	Time()
	{
		_hour = 1;
		_minute = 1;
		_second = 1;
	}

	Time& operator=(const Time& t)
	{
		if (this != &t)
		{
			_hour = t._hour;
			_minute = t._minute;
			_second = t._second;
		}
		return *this;
	}
private:
	int _hour;
	int _minute;
	int _second;
};

class Date
{
private:
	// 基本类型(内置类型)
	int _year = 1970;
	int _month = 1;
	int _day = 1;
	// 自定义类型
	Time _t;
};

int main()
{
	Date d1;
	Date d2;
	d1 = d2;
	return 0;
}

 提问：既然编译器生成的默认赋值运算符重载函数已经可以完成字节序的值拷贝了，还需要自己实现吗？

Date MyQueue也可以不写，默认生成operate= 就可以用。Stack必须自己实现operate=，实现深拷贝

注意：如果类中未涉及到资源管理，赋值运算符是否实现都可以；一旦涉及到资源管理则必
须要实现。 

 补充：

赋值：把一个对象赋值给另一个对象

一个已经存在的对象去拷贝初始化另一个对象（拷贝构造）

两个已经存在的对象拷贝（赋值重载）

this是d1的地址，*this就是d1

& 类型后面是引用，直接作用在对象前面是取地址

1.3前置++和后置++ 

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

	// 前置++：返回+1之后的结果
	// 注意：this指向的对象函数结束后不会销毁，故以引用方式返回提高效率
	Date& operator++()
	{
		_day += 1;
		return *this;
	}
	// 后置++：
	// 前置++和后置++都是一元运算符，为了让前置++与后置++形成能正确重载
	// C++规定：后置++重载时多增加一个int类型的参数，但调用函数时该参数不用传递，编译器
	//自动传递
		// 注意：后置++是先使用后+1，因此需要返回+1之前的旧值，故需在实现时需要先将this保存
		//一份，然后给this + 1
		// 而temp是临时对象，因此只能以值的方式返回，不能返回引用
		Date operator++(int)
	{
		Date temp(*this);
		_day += 1;
		return temp;
	}
private:
	int _year;
	int _month;
	int _day;
};

2.日期类的实现

代码很多而且很容易找到这里就不放出来的，但是有几点要注意

.h看声明，.cpp看定义。类似代码放在一起

        1.声明和定义分离要指定类域

        2.缺省参数声明和定义不能同时给，给的不一致不知道以谁为准，所以声明给，定义不给。

        3.构造出来的日期可能是非法的

                可以用 assert（激进 ，或者exit，perror是报系统库函数在这里不能用，

                Print() 输出日期非法

除了== >还有<可以写

        复用比CV更香

                < 就是>=取反等等

                所有类都可以这么玩，实现两个比较，其他的就是复用       

        ＋让+=复用

                +是不会影响自己，+=会影响自己

        怎么分辨谁调用谁好？

                左边+ 2次对象拷贝， +=0次对象拷贝

                右边+ 还是2次对象拷贝 ， += 3次对象拷贝（+有两次，传值返回又有一次）

-=

        借上个月的

        记得<=0

        多测试一下，不然代码正不正确不清楚

                d1 先去减跨几个月的值

                ++d1和d1++区分不开，祖师爷想到加形参类型int构成重载，形参可写可不写

                        前置++调用无参数那一个

                        后置++调用有参数的那一个

                        语法设计有时无法逻辑闭环，那么这时就只能特殊处理

                        置++效率高，内置类型差别不大，自定义类型就要小心了