【C++心愿便利店】No.7---C++之运算符重载
文章目录
- 前言
- 一、运算符重载的引用
- 二、运算符重载
- 三、赋值运算符重载
- 四、日期类的实现
- 五、const成员
- 六、取地址及const取地址操作符重载
前言
个人主页：@小沈YO.
小编介绍：欢迎来到我的乱七八糟小星球
专栏：C++ 心愿便利店
本章内容：运算符重载
记得 评论 +点赞 +收藏 +关注哦~
提示：以下是本篇文章正文内容，下面案例可供参考
一、运算符重载的引用
通常比较两个操作数的大小，会写成下述方式：
int main()
{
int i = 1, j = 2;
i < j;
return 0;
}
但是对于日期类采用上述方式会发生报错：
class Date
{
public:
Date(int year = 2023, int month = 9, int day = 25)
{
_year = year;
_month = month;
_day = day;
}
void Print()
{
cout << _year << "/" << _month << "/" << _day << endl;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d1(2023, 10, 1);
Date d2(2022, 2, 15);
d1.Print();
d2.Print();
d1 < d2;
return 0;
}
因为日期类是我们自己定义的，属于一种自定义类型，它的大小比较方式，编译器是不知道的，而像int等内置类型，这是原生语言定义的，知道规则来比较，可以直接用<、>去比较两个内置类型变量的大小，但自定义类型不可以哦
创建一个函数来通过一 一对比年月日来实现日期类的比较，不过会出现关于私有的问题，这个函数是写在类外面的，意味着，日期类的成员变量是private私有的，在类外面就无法访问，所以在这个函数里面是访问不到类对象中的_year、_month、_day，所以x1._year等都是错误的会发生报错，要想实现该函数的功能，可以采用下面3种方法：
class Date
{
public:
Date(int year = 2023, int month = 9, int day = 25)
{
_year = year;
_month = month;
_day = day;
}
void Print()
{
cout << _year << "/" << _month << "/" << _day << endl;
}
//private:
int _year;
int _month;
int _day;
};
bool DateLess(const Date& x1, const Date& x2)
{
if (x1._year < x2._year)
{
return true;
}
else if (x1._year == x2._year && x1._month < x2._month)
{
return true;
}
else if (x1._year == x2._year && x1._month == x2._month&&x1._day<x2._day)
{
return true;
}
else
{
return false;
}
}
int main()
{
Date d1(2023, 10, 1);
Date d2(2022, 2, 15);
d1.Print();
d2.Print();
DateLess(d1, d2);
return 0;
但是对于这种函数写法相比于直观的<、>来看显然不是很直观，对于不清楚的other来说，读代码是很困难的，所以就引入了运算符重载
二、运算符重载
C++为了增强代码的可读性引入了运算符重载，运算符重载是具有特殊函数名的函数，也具有其返回值类型，函数名字以及参数列表，其返回值类型与参数列表与普通的函数类似。
函数名字为：关键字operator后面接需要重载的运算符符号。
函数原型：返回值类型 operator操作符(参数列表)
bool operator<(const Date& x1, const Date& x2)
{
if (x1._year < x2._year)
{
return true;
}
else if (x1._year == x2._year && x1._month < x2._month)
{
return true;
}
else if (x1._year == x2._year && x1._month == x2._month&&x1._day<x2._day)
{
return true;
}
else
{
return false;
}
}
int main()
{
Date d1(2023, 10, 1);
Date d2(2022, 2, 15);
//cout<
至于为什么不写成cout<<d1<d2<<endl是因为<<的优先级高于<
d1<d2与operator<(d1<d2)本质上都是调用运算符重载，所以两者写法是等价的只不是一个显示调用，一个没有显示调用
cout << (d1 < d2) << endl;
cout << (operator<(d1, d2)) << endl;
return 0;
}
上述代码就是对<运算符的一个重载，此时两个日期类对象就可以直接用<来比较大小，d1 < d2本质上就是调用运算符重载函数，此外，还需要解决一个问题：上面的运算符重载函数是写在类外面的，日期类的成员变量是private私有的，该运算符重载函数还是不能用。
注意：
- 不能通过连接其他符号来创建新的操作符：比如operator@
- 重载操作符必须有一个自定义类型参数
（int x1, int x2）都是内置类型是不可以的规定必须有一个自定义类型的参数
也就是说只能对自定义类型进行重载，内置类型不可以
bool operator<(int x1, int x2)
{
if (x1._year < x2._year)
{
return true;
}
else if (x1._year == x2._year && x1._month < x2._month)
{
return true;
}
else if (x1._year == x2._year && x1._month == x2._month && x1._day < x2._day)
{
return true;
}
else
{
return false;
}
}
- 用于内置类型的运算符，其含义不能改变，例如：内置的整型+，不能改变其含义
- 作为类成员函数重载时，其形参看起来比操作数数目少1，因为成员函数的第一个参数为隐藏的this
d1<d2两个操作数是不可以随意换位置的，左操作数就是第一个参数(this)，右操作数就是第二个参数(d)
d1.operator<(d2)
bool operator==(Date* this, const Date& d2)
这里需要注意的是，左操作数是this，指向调用函数的对象（和上面一个意思）
bool operator<(const 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;
}
}
注意：当运算符重载函数写成类成员函数和在类外面定义调用的时候是不一样的
类成员函数
bool operator<(const 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;
}
}
int main()
{
Date d1(2023, 10, 1);
Date d2(2022, 2, 15);
cout << (d1 < d2) << endl;
cout << (d1.operator<(d2)) << endl;
成员函数---符合调用规则因为有一个是隐含的参数（d1.operator(d2)）
return 0;
}
——————————————————————————————————————————————————————————————————————————————————
类外面定义函数
bool operator<(const Date& x1, const Date& x2)
{
if (x1._year < x2._year)
{
return true;
}
else if (x1._year == x2._year && x1._month < x2._month)
{
return true;
}
else if (x1._year == x2._year && x1._month == x2._month && x1._day < x2._day)
{
return true;
}
else
{
return false;
}
}
int main()
{
Date d1(2023, 10, 1);
Date d2(2022, 2, 15);
cout << (d1 < d2) << endl;
cout << (operator<(d1, d2)) << endl;
return 0;
}
- 不能改变操作符的操作数个数，一个操作符是几个操作数，那么重载的时候就有几个参数
- （.* 和 *不一样 * 是可以重载的） 、 （域作用限定符 ::）、 sizeof 、（三目运算符?:） 、（对象变量取成员 .） 注意以上5个运算符不能重载。这个经常在笔试选择题中出现选择题。
三、赋值运算符重载
首先要区分赋值运算符和拷贝构造：
- 赋值：两个已经存在的对象进行拷贝
- 拷贝构造：一个已经存在的对象去初始化另一个对象
Date d1(2023, 10, 1);
Date d2(2023, 10, 7);
d1 = d2; --->调用赋值运算符重载
Date d3 = d1; --->调用拷贝构造函数；或者写成这种也是拷贝构造Date d3(d1);
- 参数类型：const T&，传递引用可以提高传参效率
- 返回值类型：T&，返回引用可以提高返回的效率，有返回值目的是为了支持连续赋值
- 检测是否自己给自己赋值
- 返回*this ：要复合连续赋值的含义
Date& operator=(const Data& d)
{
if (this != &d)
{
_year = d._year;
_month = d._month;
_day = d._day;
}
return *this;
}
我们可以重载赋值运算符。不论形参的类型是什么，赋值运算符都必须定义为成员函数。
class Date
{
public:
Date(int year = 1900, int month = 1, int day = 1)
{
_year = year;
_month = month;
_day = day;
}
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;
}
原因：赋值运算符如果不显式实现，编译器会生成一个默认的。此时用户再在类外自己实现一个全局的赋值运算符重载，就和编译器在类中生成的默认赋值运算符重载冲突了，故赋值运算符重载只能是类的成员函数。
用户没有显式实现时，编译器会生成一个默认赋值运算符重载，以值的方式逐字节拷贝。
注意：内置类型成员变量是直接赋值的，而自定义类型成员变量需要调用对应类的赋值运算符重载完成赋值。
四、日期类的实现
下面日期类的实现，是通过定义和声明分离来写的所以需要加Date::
对于关系运算符有以下几种<、== 、<=、>、>=、!=，因为它们之间存在的逻辑关系，可以通过复用来实现，就比如：想要知道一个数a是否>另一个数b就可以通过判断a是否<=b来实现，所以只需要写一个小于和等于的逻辑之后的复用即可
bool Date::operator<(const 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;
}
}
bool Date::operator==(const Date& d)
{
return _year == d._year
&& _month == d._month
&& _day == d._day;
}
bool Date::operator<=(const Date& d)
{
return *this == d || *this < d; --->复用<和==
}
bool Date::operator>(const Date& d)
{
return !(*this <= d);
}
bool Date::operator>=(const Date& d)
{
return !(*this < d);
}
bool Date::operator!=(const Date& d)
{
return !(*this == d);
}
对于日期类的计算，若想知道100天以前或是100天以后是哪一天是非常有价值的，但是一个日期类型和一个整型是可以相加相减吗？当然是可以的，可以通过重载运算符来实现。
int Date::GetMonthDay(int year, int month)
{
static : GetMonthDay肯定会重复调用，每次调用还要定义一遍这个数组会有一定的消耗
const static int monthArray[13] = { 0,31,28,31,30,31,30,31,31,30,31,30,31 };
if (month == 2&&(((year % 4 == 0) && (year % 100 != 0)) || (year % 400 == 0)))
{
return 29;
}
return monthArray[month]; 返回的是数组中这个值的临时拷贝
}
注意：对于2月是分闰年和平年的，但是其他月份是固定不变的，所以可以通过一个数组来存放每个月的天数，并且以下标作为每个月的月份所以不是monthArray[12]，而是monthArray[13]。其中要把数组定义为静态数组目的是为了防止每次调用还要定义一遍这个数组会有一定的消耗。
此外对于判断闰年和平年这里，还要注意先把month==2写在最前面，因为只有2月是需要判断的
Date& Date::operator+=(int day)
{
if (day < 0)
{
return *this -= (-day);
}
_day += day;
while (_day > GetMonthDay(_year, _month))
{
//月进位
_day -= GetMonthDay(_year, _month);
_month++;
if (_month == 13)
{
_year++;
_month = 1;
}
}
return *this;
}
注意：对于if语句为什么复用了-=运算符是因为加一个负的天数，是算多少天以前的日期，所以当天数为负的时候，可以复用-=。
+运算符和+=运算符本质是一样的，所以不需要再写一遍，只需要+复用+=运算符就可以了，但是+=运算后等价于a=a+b，a也是会改变的，而+运算符运算后a是不会改变的
Date Date::operator+(int day)
{
Date tmp(*this);
复用+=
tmp += day;
return tmp;
}
注意：要计算n+m的最终结果，n和m这两个数值计算后是不会改变的，所以一个日期加天数，原日期是不会改变的，而原日期也就是this指针指向的内容，所以也就是不能修改this指针指向的内容，对此要先利用拷贝构造函数创建一个和*this一模一样的对象tmp，在tmp的基础上去加天数。此外tmp是一个临时变量，出了作用域会销毁，所以不能引用返回
注意：上面的复用，只能存在一个，不能同时都去复用，同时存在会出现错误。
对于上述是+=复用+还是+复用+=好给出原因，正因如此，-=和-也是一样的原理，所以先写-=再用-复用-=
Date& Date::operator-=(int day)
{
这里和上述是一个意思
if (day < 0)
{
return *this += (-day);
}
_day -= day;
while (_day <= 0)
{
--_month;
if (_month == 0)
{
--_year;
_month = 12;
}
_day += GetMonthDay(_year, _month);
}
return *this;
}
Date Date::operator-(int day)
{
Date tmp(*this);
tmp -= day;
return tmp;
}
int Date::operator-(const Date& d)
{
Date max = *this;
Date min = d;
int flag = 1;
if (max < min)
{
max = d;
min = *this;
flag = -1;
}
int n = 0;
while (min != max)
{
++min;
++n;
}
return n * flag;
}
计算的结果是两个日期之间的天数，所以返回值是int，要想知道两个日期之间相隔的天数，可以设置一个计数器n，让小日期一直加到大日期，就可以知道两个日期之间相隔的天数。
++d3 前置++，返回++之后的
++d3 —> d3.operator++()
—————————————————————————————————————————————
d3++ 后置++，返回++之前的
++d3 —> d3.operator++(0) 这里加参数是为了区分前置++和后置++
加一个int参数，进行占位，跟前置++构成函数重载进行区分，本质后置++调用，编译器进行特殊处理
自定义类型用前置++比较好，后置++需要拷贝代价比较大
Date& Date:: operator++()
{
*this += 1; 复用了+=
return *this;
}
——————————————————————————————————————————————————————————————————————————————————
Date Date:: operator++(int)
{
Date tmp(*this);拷贝构造
*this += 1;
return tmp;
}
int main()
{
Date d3(2023, 7, 27);
下面两者等价不过是前者显式调用，对于后置++或者后置--显式调用需要传个参数不过并无卵用
Date ret1 = d3.operator++(0);//Date ret1=d3--;
ret1.Print();
d3.Print();
Date ret2 = ++d3;
ret2.Print();
d3.Print();
return 0;
}
Date& Date:: operator--()
{
*this -= 1; 复用了-=
return *this;
}
————————————————————————————————————————————————————————————————————————————————
Date Date:: operator--(int)
{
Date tmp(*this);
*this -= 1;
return tmp;
}
int main()
{
Date d3(2023, 7, 27);
下面两者等价不过是前者显式调用，对于后置++或者后置--显式调用需要传个参数不过并无卵用
Date ret1 = d3.operator--(0);//Date ret1=d3--;
ret1.Print();
d3.Print();
Date ret2 = --d3;
ret2.Print();
d3.Print();
return 0;
}
对于内置类型可以直接使用<<、>>，编译器可以根据数据的类型进行打印，本质上是因为库中进行运算符重载。但是对于自定义类型，编译器是不知道怎样打印的，所以要想使用<<打印（自定义类型）日期类是要对运算符<<进行重载
我们在使用C++进行输入输出的时候，会用到cin和cout，它们俩本质上都是对象，cin是istream类实例化的对象，cout是ostream类实例化的对象。
而<<、>>不用像C语言的printf和scanf那样，char对应%c，int对应%d，float对应%f，是因为运算符重载本质上是函数，对这些不同的内置类型，分别进行了封装，在运算符重载的基础上又实现了函数重载，所以<<、>>支持自动识别类型。
Date.h
void operator<<(ostream& cout);//放在类里面的
Date.cpp
void Date::operator<<(ostream& cout)//--->operator(Date* this,ostream& cout)
{
cout << _year << "-" << _month << "-" << _day << endl;
}
Test.cpp
cout << d1;
d1 << cout;//虽然可以运行，但是不符合使用习惯和价值
当在类中重载<<运算符会发现用cout<
把<<重载成全局函数，就不会有默认的this指针，同时，还可以根据需要设置形参的顺序，void operator<<(ostream& out,const Date& d)，出了作用域cout还在，所以可以用引用返回。
Date.h
void operator<<(ostream& cout,const Date& d);//全局的
Date.cpp
void operator<<(ostream& cout, const Date& d)
{
cout << d._year << "-" << d._month << "-" << d._day << endl;
}
Test.cpp
cout << d1;
把<<重载成全局函数是解决了参数问题，但是默认在该全局函数中是访问不到日期类中的私有成员变量，为了解决这个问题，可以把该运算符重载函数设置成友元函数
友元声明：在日期类里面第一行加上一条下述声明，此时在该全局函数体就可以使用日期类中的私有成员变量。
friend void operator<<(ostream& cout, const Date& d);
此声明不受类中访问限定符的限制
连续的<<
Date.h
ostream& operator<<(ostream& cout,const Date& d);
Date.cpp
ostream& operator<<(ostream& cout, const Date& d)
{
cout << d._year << "-" << d._month << "-" << d._day << endl;
return cout;
}
Test.cpp
cout << d1 << d2 << endl;
对于上述cout<
friend ostream& operator<<(ostream& cout, const Date& d);
希望通过流插入往d里面写入数据，所以不能加const修饰。istream& operator>>(istream& cin, Date& d);
Date.h
istream& operator>>(istream& cin, Date& d);
Date.cpp
istream& operator>>(istream& cin, Date& d)
{
cin >> d._year >> d._month >> d._day;
return cin;
}
Test.cpp
cin >> d3;
友元声明
friend istream& operator>>(istream& cin, Date& d);
C++中的流插入和流提取可以完美的支持自定义类型的输入输出
五、const成员
将const修饰的“成员函数”称之为const成员函数，const修饰类成员函数（ void Print() const ），实际修饰该成员函数隐含的this指针（ void Print(const Date* this) ），表明在该成员函数中不能对类的任何成员进行修改。这样，不仅普通对象可以调用该成员函数（权限的缩小），const对象也能调用该成员函数（权限的平移）。也防止了权限的放大。
#include
权限可以缩小可以平移
权限不可以放大
对于关系运算符可以考虑加上const修饰，因为并不会改变对象本身，但是并不是所有的成员函数都要加const修饰，要修改对象成员变量的函数，例如：重载的+=、-=等，是不能加const修饰的，因为会修改成员本身，而成员函数中如果没有修改对象的成员变量，可以考虑加上const修饰，这样不仅普通对象可以调用该成员函数（权限的缩小），const对象也能调用该成员函数（权限的平移）
六、取地址及const取地址操作符重载
#include
总结：这两个取地址运算符重载函数，又构成函数重载。这两个运算符一般不需要重载，使用编译器生成的默认取地址的重载即可，只有特殊情况，才需要重载，比如想让别人获取到指定的内容