赋值运算符重载
运算符重载
C++为了增强代码的可读性引入了运算符重载,运算符重载是具有特殊函数名的函数,也具有其返回值类型,函数名字以及参数列表,其返回值类型与参数列表与普通的函数类似。
函数名字为:关键字operator后面接需要重载的运算符符号。
函数原型:返回值类型operator操作符(参数列表)
注意:
不能通过连接其他符号来创建新的操作符:比如operator@
重载操作符必须有一个类类型或者枚举类型的操作数
用于内置类型的操作符,其含义不能改变,例如:内置的整形+,不能改变其含义
作为类成员的重载函数时,其形参看起来比操作数数目少1成员函数的
操作符有一个默认的形参this,限定为第一个形参
.*、::、sizeof、?:、.注意以上5个运算符不能重载。这个经常在笔试选择题中出现。
class Date
{
public:
Date(int year = 0, int month = 0, int day = 0)
{
_year = year;
_month = month;
_day = day;
}
int _year;
int _month;
int _day;
};
bool operator>(const Date& d1, const Date& d2)
{
if (d1._year > d2._year)
{
return true;
}
else
{
if (d1._year == d2._year)
{
if (d1._month > d2._month)
{
return true;
}
else
{
if (d1._day > d2._day)
{
return true;
}
}
}
}
return false;
}
int main()
{
Date d1(2022, 1, 16);
Date d2(2022, 1, 31);
Date d3(2022, 3, 3);
//默认情况下C++是不支持自定义类型对象使用运算符的
cout << (d1 > d2) << endl;
cout << operator>(d1, d2) << endl;
return 0;
}
我们可以直接通过 d1>d2直接调用>运算符重载;也可以通过operator>(d1>d2)调用;实际上当直接调用d1>d2,编译器在底层就会将它们转化成operator>(d1,d2)。这是我们定义在全局的运算符重载函数,这里会发现运算符重载成全局的就需要成员变量是公有的,那么问题来了。封装性如何保证?
解决方法:我们直接将这个运算符重载函数写到类里面
报错显示operator的参数太多,因为operator>作为成员函数的第一个参数默认会传给this指针。所以我们将运算符重载函数中的参数去掉一个,将它改为:
赋值运算符重载
赋值运算符主要有四点:
1.参数类型
2.返回值
3.检测是否自己给自己赋值
4.返回*this
5.一个类如果没有显式定义赋值运算符,编译器也会生成一个,完成对象按字节序的值拷贝。
拷贝构造:一个已经存在的对象拷贝初始化一个马上创建实例化对象 Date d4(d1)
赋值运算符重载:两个已经存在的对象,之间进行赋值拷贝 d1=d3
class Date
{
public:
Date(int year = 0, int month = 0, int day = 0)
{
_year = year;
_month = month;
_day = day;
}
void operator=(const Date& d)
{
_year = d._year;
_month = d._month;
_day = d._day;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d1(2022, 1, 16);
Date d2(2022, 1, 31);
Date d3(2022, 3, 3);
//d1 = d3;
d1.operator=(d3);
int x = 0;
return 0;
}
但是我们发现,它并不支持连续赋值功能。
连续赋值的执行,从右向左,先将10赋值给K,这个赋值表达式有一个返回值,这个返回值就是左操作数K,然后K在做右操作数,赋值给j,这个也有一个返回值j,然后j在做右操作数,赋值给i,同样有一个返回值i,但是现在并没有变量接受。
由此可得,日起类实例化出的对象需要实现连续赋值,就需要有返回值,返回值就是这些对象的类型Date。return返回的就应该是左操作数,也就是this指针指向的对象。
但是现在还有一个问题,我们使用的是传值返回,传值就要有拷贝,我们自己写一个拷贝构造进行验证
class Date
{
public:
Date(int year = 0, int month = 0, int day = 0)
{
_year = year;
_month = month;
_day = day;
}
Date(const Date& d)
{
cout << "拷贝构造" << endl;
}
Date operator =(const Date& d)
{
_year = d._year;
_month = d._month;
_day = d._day;
return *this;
}
private:
int _year;
int _month;
int _day;
};
发现一共调用了两个拷贝构造,那么这个拷贝构造能否消除掉呢?一般我们是通过引用返回来实现的,而恰好,这个*this出了作用域后依然存在,因为*this就是调用这个成员函数的对象,所以我们可以用传引用返回。
class Date
{
public:
Date(int year = 0, int month = 0, int day = 0)
{
_year = year;
_month = month;
_day = day;
}
Date(const Date& d)
{
cout << "拷贝构造" << endl;
}
Date& operator =(const Date& d)
{
_year = d._year;
_month = d._month;
_day = d._day;
return *this;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d1(2022, 1, 16);
Date d2(2022, 1, 31);
Date d3(2022, 3, 3);
d2 = d1 = d3;
}
编译器默认生成赋值重载
编译器默认生成复制重载,跟拷贝构造做的事情完全类似
1.内置类型成员变量,会完成字节序值拷贝---浅拷贝
2.自定义类型成员变量,会调用它的operator=
浅拷贝和深拷贝的区别
浅拷贝(默认拷贝函数):将原对象或原数组的引用直接赋值给新对象,新数组,
深拷贝:创建一个新的对象和数组,将原对象的各项属性的"值"(数组的所有元素)拷贝过来,是“值”而不是引用。
深拷贝会在堆内存中另外申请空间来储存数据,从而解决指针悬挂问题(两个不同的指针指向同一个堆内存的问题)。