目录
三、类和对象(中)
5.1运算符重载
- 当运算符被用于类类型的对象时,C++语言允许我们通过运算符重载的形式指定新的含义。C++规定类类型对象使用运算符时,必须转换成调用对应运算符重载,若没有对应的运算符重载,则会编译报错。
- 运算符重载是具有特殊名字的函数,他的名字是由operator和后面要定义的运算符共同构成。和其他函数⼀样,它也具有其返回类型和参数列表以及函数体。
- 重载运算符函数的参数个数和该运算符作用的运算对象数量⼀样多。⼀元运算符有⼀个参数,⼆元运算符有两个参数,⼆元运算符的左侧运算对象传给第⼀个参数,右侧运算对象传给第⼆个参数(从左到右)。
- 如果⼀个重载运算符函数是成员函数,则它的第⼀个运算对象默认传给隐式的this指针,因此运算符重载作为成员函数时,参数比运算对象少⼀个。
- 运算符重载以后,其优先级和结合性与对应的内置类型运算符保持⼀致。
- 不能通过连接语法中没有的符号来创建新的操作符:比如operator@。
注意以上5个运算符不能重载。(选择题里面常考,需记⼀ 下)
#include<iostream> using namespace std; // 编译报错:“operator +”必须⾄少有⼀个类类型的形参 int operator+(int x, int y) { return x - y; } class A { public: void func() { cout << "A::func()" << endl; } }; typedef void(A::*PF)(); //成员函数指针类型 int main() { // C++规定成员函数要加&才能取到函数指针 PF pf = &A::func; A obj;//定义ob类对象temp // 对象调⽤成员函数指针时,使⽤.*运算符 (obj.*pf)(); return 0; }
- 重载操作符至少有⼀个类类型参数,不能通过运算符重载改变内置类型对象的含义。
int operator+(int x, int y)
- ⼀个类需要重载哪些运算符,是看哪些运算符重载后有意义,比如Date类重载operator-就有意义,但是重载operator*就没有意义。
- 重载++运算符时,有前置++和后置++,运算符重载函数名都是operator++,无法很好的区分。 C++规定,后置++重载时,增加⼀个int形参,跟前置++构成函数重载,方便区分。
#include<iostream> using namespace std; class Date { public: Date(int year = 1, int month = 1, int day = 1) { _year = year; _month = month; _day = day; } void Print() { cout << _year << "-" << _month << "-" << _day << endl; } bool operator==(const Date& d) { return _year == d._year && _month == d._month && _day == d._day; } Date& operator++() { cout << "前置++" << endl; //... return *this; } // ++d1; // d1.operator++() //下面的函数会变成上面这样 Date& operator++() { *this += 1; return *this; } // d1++ // d1.operator++() // 括号里面的参数传的参是可以是随便的值,主要是为了构成函数重载 //下面的函数会变成上面这样 Date operator++(int) { Date tmp(*this); cout << "后置++" << endl; *this += 1; return tmp; } private: int _year; int _month; int _day; }; int main() { Date d1(2024, 7, 5); Date d2(2024, 7, 6); // 运算符重载函数可以显⽰调⽤ d1.operator==(d2); // 编译器会转换成 d1.operator==(d2); d1 == d2; // 编译器会转换成 d1.operator++(); ++d1; // 编译器会转换成 d1.operator++(0); d1++; return 0; }
- 重载<<和>>时,需要重载为全局函数,因为重载为成员函数,this指针默认抢占了第⼀个形参位置,第⼀个形参位置是左侧运算对象,调用时就变成了 对象<<cout,不符合使用习惯和可读性。重载为全局函数把ostream/istream放到第⼀个形参位置就可以了,第⼆个形参位置当类类型对象。
#include<iostream> using namespace std; class Date { public: Date(int year = 1, int month = 1, int day = 1) { _year = year; _month = month; _day = day; } void Print() { cout << _year << "-" << _month << "-" << _day << endl; } //private: int _year; int _month; int _day; }; // 重载为全局的⾯临对象访问私有成员变量的问题 // 有⼏种⽅法可以解决: // 1、成员放公有 // 2、Date提供getxxx函数 // 3、友元函数 // 4、重载为成员函数 bool operator==(const Date& d1, const Date& d2) { return d1._year == d2._year && d1._month == d2._month && d1._day == d2._day; } int main() { Date d1(2024, 7, 5); Date d2(2024, 7, 6); // 运算符重载函数可以显⽰调⽤ operator==(d1, d2); // 编译器会转换成 operator==(d1, d2); d1 == d2; //d1 = d2 -> d1.operator = (d2) return 0; }
5.2赋值运算符重载
int main()
{
Date d1(2024, 8, 10);
//拷贝构造用于一个已经存在对象拷贝初始化给另一个要创建的对象
Date d2(d1);
Date d4 = d1;
Date d3(2024, 9, 11);
//用于完成两个已经存在的对象直接的拷贝赋值
//d1 = d3;
//d1.operator = (d3);
d1 = d2 = d3;
d1 = d1;
int i, j, k;
i = j = k = 1;
return 0;
}
- 赋值运算符重载是⼀个运算符重载,规定必须重载为成员函数。赋值运算重载的参数建议写成const 当前类类型引用,否则会传值传参会有拷贝。
- 有返回值,且建议写成当前类类型引用,引用返回可以提高效率,有返回值目的是为了支持连续赋值场景。
- 没有显式实现时,编译器会自动生成⼀个默认赋值运算符重载,默认赋值运算符重载⾏为跟默认拷⻉构造函数类似,对内置类型成员变量会完成值拷贝/浅拷贝(⼀个字节⼀个字节的拷贝),对自定义类型成员变量会调用它的赋值重载函数。
- 像Date这样的类成员变量全是内置类型且没有指向什么资源,编译器自动生成的赋值运算符重载就可以完成需要的拷贝,所以不需要我们显示实现赋值运算符重载。
- 像Stack这样的类,虽然也都是内置类型,但是_a指向了资源,编译器自动生成的赋值运算符重载完成的值拷贝/浅拷贝不符合我们的需求,所以需要我们自己实现深拷贝(对指向的资源也进行拷贝)。
- 像MyQueue这样的类型内部主要是⾃定义类型Stack成员,编译器自动生成的赋值运算符重载会调用Stack的赋值运算符重载,也不需要我们显示实现MyQueue的赋值运算符重载。
- 小技巧:如果⼀个类显示实现了析构并释放资源,那么他就需要显示写赋值运算符重载,否则就不需要。
class Date { public: Date(int year = 1, int month = 1, int day = 1) { _year = year; _month = month; _day = day; } Date(const Date& d) { cout << " Date(const Date& d)" << endl; _year = d._year; _month = d._month; _day = d._day; } // 传引⽤返回减少拷⻉ // d1 = d2; // d1.operator = (d2); //从汇编语言层面来看,两者都是一样的,都可以互相转化 Date& operator=(const Date& d) { // 不要检查⾃⼰给⾃⼰赋值的情况 if (this != &d) { _year = d._year; _month = d._month; _day = d._day; } // d1 = d2表达式的返回对象应该为d1,也就是*this return *this; } void Print() { cout << _year << "-" << _month << "-" << _day << endl; } private: int _year; int _month; int _day; }; int main() { Date d1(2024, 7, 5); Date d2(d1); Date d3(2024, 7, 6); d1 = d3; // 需要注意这⾥是拷⻉构造,不是赋值重载 // 请牢牢记住赋值重载完成两个已经存在的对象直接的拷⻉赋值 // ⽽拷⻉构造⽤于⼀个对象拷⻉初始化给另⼀个要创建的对象 Date d4 = d1; return 0; }
重点:第一,构造一般都需要自己写,自己传出定义初始化;第二,析构,构造时有资源申请(如malloc或fopen等),就需要显示写析构函数;第三,拷贝构造和赋值重载,显示写了析构,内部管理资源,就需要显示实现深拷贝。
5.3日期类实现(*this是代表被赋值的对象)(重点)
#pragma once
#include<iostream>
using namespace std;
#include<assert.h>
class Date
{
// 友元函数声明
friend ostream& operator<<(ostream& out, const Date& d);
friend istream& operator>>(istream& in, Date& d);
public:
Date(int year = 1900, int month = 1, int day = 1);
void Print() const;
// 直接定义类⾥⾯,他默认是inline
// 频繁调⽤
int GetMonthDay(int year, int month)
{
assert(month > 0 && month < 13);
static int monthDayArray[13] = { -1, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 };
// 365天 5h +
if (month == 2 && (year % 4 == 0 && year % 100 != 0) || (year % 400 == 0))
{
return 29;
}
else
{
return monthDayArray[month];
}
}
bool CheckDate();
bool operator<(const Date& d) const;
bool operator<=(const Date& d) const;
bool operator>(const Date& d) const;
bool operator>=(const Date& d) const;
bool operator==(const Date& d) const;
bool operator!=(const Date& d) const;
// d1 += 天数
Date& operator+=(int day);
Date operator+(int day) const;
// d1 -= 天数
Date& operator-=(int day);
Date operator-(int day) const;
// d1 - d2
int operator-(const Date& d) const;
// ++d1 -> d1.operator++()
Date& operator++();
// d1++ -> d1.operator++(0)
// 为了区分,构成重载,给后置++,强⾏增加了⼀个int形参
// 这⾥不需要写形参名,因为接收值是多少不重要,也不需要⽤
// 这个参数仅仅是为了跟前置++构成重载区分
Date operator++(int);
Date& operator--();
Date operator--(int);
// 流插⼊
// 不建议,因为Date* this占据了⼀个参数位置,使⽤d<<cout不符合习惯
//void operator<<(ostream& out);
private:
int _year;
int _month;
int _day;
};
// 重载
ostream& operator<<(ostream& out, const Date& d);
istream& operator>>(istream& in, Date& d);
// Test.cpp
#include"Date.h"
void TestDate1()
{
// 这⾥需要测试⼀下⼤的数据+和-
Date d1(2024, 4, 14);
Date d2 = d1 + 30000;
d1.Print();
d2.Print();
Date d3(2024, 4, 14);
Date d4 = d3 - 5000;
d3.Print();
d4.Print();
Date d5(2024, 4, 14);
d5 += -5000;
d5.Print();
}
void TestDate2()
{
Date d1(2024, 4, 14);
Date d2 = ++d1;
d1.Print();
d2.Print();
Date d3 = d1++;
d1.Print();
d3.Print();
/*d1.operator++(1);
d1.operator++(100);
d1.operator++(0);
d1.Print();*/
}
void TestDate3()
{
Date d1(2024, 4, 14);
Date d2(2034, 4, 14);
int n = d1 - d2;
cout << n << endl;
n = d2 - d1;
}
void TestDate4()
{
Date d1(2024, 4, 14);
Date d2 = d1 + 30000;
// operator<<(cout, d1)
cout << d1;
cout << d2;
cin >> d1 >> d2;
cout << d1 << d2;
}
void TestDate5()
{
const Date d1(2024, 4, 14);
d1.Print();
//d1 += 100;
d1 + 100;
Date d2(2024, 4, 25);
d2.Print();
d2 += 100;
d1 < d2;
d2 < d1;
}
int main()
{
return 0;
}
日期类的实现主要分别是加(-)和减(-)的两个日期类的实现,我们可以通过画图更好地描述加(-)减(-)的借位与进位的流程情况,如下图:
其中,日期类的加减法除了简单的进位和退位,还符合普遍运算规则的负负得正原则,如下:
return *this -= -day;
1.日期类相减(相加)的思路:
思路一:首先算当年月份距离开始的相差天数,再算总相差年数的相差天数,如下图:
思路二:小的那个日期++,观察加了多少次,跟大的日期相等就是相关多少天,相关代码如下:
//d1 - d2
//因为开始时不知道哪个日期是大的,哪个是小的,所以使用假设法去判断,如下:
int Date::operator-(const Date& d)
{
//第一个参数是左侧,第二个参数是右侧
Date max = *this;
Date min = d;
int flag = 1;
if(*this < d)
{
max = d;
min = *this;
flag = -1;
}
int n = 0;
while(min != max)
{
++min;
++n;
}
return n * flag;
}
// Date.cpp
#include"Date.h"
bool Date::CheckDate()
{
if (_month < 1 || _month > 12 || _day < 1 || _day > GetMonthDay(_year, _month))
{
return false;
}
else
{
return true;
}
}
Date::Date(int year, int month, int day)
{
_year = year;
_month = month;
_day = day;
if (!CheckDate())
{
cout << "⽇期⾮法" << endl;
}
}
void Date::Print() const
{
cout << _year << "-" << _month << "-" << _day << endl;
}
// d1 < d2
bool Date::operator<(const Date& d) const
{
if (_year < d._year)
{
return true;
}
else if (_year == d._year)
{
if (_month < d._month)
{
return true;
}
else if (_month == d._month)
{
return _day < d._day;
}
}
return false;
}
// d1 <= d2
bool Date::operator<=(const Date& d) const
{
return *this < d || *this == d;
}
bool Date::operator>(const Date& d) const
{
return !(*this <= d);
}
bool Date::operator>=(const Date& d) const
{
return !(*this < d);
}
bool Date::operator==(const Date& d) const
{
return _year == d._year
&& _month == d._month
&& _day == d._day;
}
bool Date::operator!=(const Date& d) const
{
return !(*this == d);
}
// d1 += 50
// d1 += -50
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;
}
Date Date::operator+(int day) const
{
Date tmp = *this;
tmp += day;
return tmp;
}
// d1 -= 100
Date& Date::operator-=(int day)
{
if (day < 0)
{
return *this += -day;
}
_day -= day;
while (_day <= 0)
{
--_month;
if (_month == 0)
{
_month = 12;
_year--;
}
// 借上⼀个⽉的天数
_day += GetMonthDay(_year, _month);
}
return *this;
}
Date Date::operator-(int day) const
{
Date tmp = *this;
tmp -= day;
return tmp;
}
//++d1
Date& Date::operator++()
{
*this += 1;
return *this;
}
// d1++
Date Date::operator++(int)
{
Date tmp(*this);
*this += 1;
return tmp;
}
Date& Date::operator--()
{
*this -= 1;
return *this;
}
Date Date::operator--(int)
{
Date tmp = *this;
*this -= 1;
return tmp;
}
2.流插入、流输出(流输出的形参不需要加const)(必须使用引用):
ostream& operator<<(ostream& out, const Date& d)
{
out << d._year << "年" << d._month << "⽉" << d._day << "⽇" << endl;
return out;
}
istream& operator>>(istream& in, Date& d)
{
cout << "请依次输⼊年⽉⽇:>";
in >> d._year >> d._month >> d._day;
if (!d.CheckDate())
{
cout << "⽇期⾮法" << endl;
}
return in;
}
流插入的时候在主函数中必须与这种形式插入,主要特征是错位相传,本来是d1流入cout中的,但是在主函数中就必须反过来,形式上有点奇怪,变成了cout流入d1,这样就不太符合使用习惯:
int main()
{
//cout << d1;
d1 << cout;
d1.operator<<(cout);
return 0;
}
3.有元函数的使用:
5.1中的运算符重载的第12和13点讲了这一流插入和输出的调用顺序形式:
为了符合使用习惯和可读性,我们可以使用往后将学习的有元函数(主要放在公有的类符号作用域前面),该函数的作用:可以让相关对象在类外面访问想访问对象的私有 ,从而将重载为全局函数吧ostream/istream放到第一个形象位置,第二个形参位置当类类型对象。
class Date
{
//友元函数
friend ostream& operator<<(ostream& out, const Date& d);
friend istream& operator>>(istream& in, Date& d);
public:
//...
private:
//...
}
还有一个点就是,实际的流插入和流输出都是从左往右开始按顺序进行的,它不像赋值运算符那样从右往左,实际的每一次的流插入和流输出都是对函数的每一调用(若流插入和流输出涉及到endl的话,这个实际上是一个指针调用函数,后面的章节会学到),如图所示:
图中先使d1流入cout,此为第一次调用;再由d2流入cout,此为第二次调用;后面的endl同理流入cout,此为第三次调用。