重载操作符是具有特殊名称的函数:保留字operator后接需定义的操作符号。像任意其他函数一样,重载操作符具有返回类型和形参表,如下语句:
Sales_item operator+(const Sales_item&,const Sales_item&);
声明了加号操作符,可用于将两个Sales_item对象相加并获得一个Sales_item对象的副本。
不能重载的操作符::
用于内置类型的操作符,其定义不能改变。例如,内置的整型加号操作符不能重定义:
int operator +(int,int);
也不能为内置类型定义加号操作符,例如不能定义接受两个数组类型操作数的operator+。
重载操作符必须具有至少一个类类型或枚举类型的操作数。这条规则强制重载操作符不能重新定义内置类型对象的操作符的含义。
优先级和结合性是固定的
有四个符号(+,-,×,/)既可以作一元操作符又可做二元操作符,这些操作符有的在其中一种情况下可以重载,有的两种都可以,一定的是哪个操作符由操作数数目控制。除了函数调用操作符operator()之外,重载操作符时使用默认实参是非法的。
不再具备短路求值特性
作为类成员的重载函数,其形参看起来比操作数数目少1.作为成员函数的操作符有一个隐含的this形参,限定为第一个操作数。
使用重载操作符
cout<<item1+item2<<endl;
cout<<operator+(item1,item2)<<endl;
调用成员操作符函数与调用任意其他函数一样:指定运行函数的对象,然后使用点火箭头操作符获取希望调用的函数,同时传递所需数目和类型的实参。对于二元成员操作符函数的情况,我们必须传递一个操作数:
item1 += item2;
item1.operator+=(item2);
两个语句都将item2的值加至item1。第一种情况下,使用表达式语法隐式调用重载操作符函数:第二种情况下,在item1对象上调用成员操作符函数。
重载操作符的设计
不要重载具有内置含义的操作符
重载逗号、取地址、逻辑与、逻辑或等等操作符通常不是好做法。这些操作符具有有用的内置含义,如果我们定义了自己的版本,就不能再使用这些内置含义。
警告:审慎使用操作符重载
每个操作符用于内置类型都有关联的含义。例如,二元+与加法是完全相同的。将二元+对应到一个类类型的类似操作可提供方便的简写方法。例如,标准库的类型string,遵循许多程序设计语言的通用规范,使用+表示连接——将一个串“加”至另一个串
当内置操作符和类型上的操作存在逻辑对应关系时,操作符重载最有用。使用重载操作符而不是创造命名操作,可以令程序更自然、更直观,而滥用操作符重载是我们的类更难以理解。
在实践中很少发生明显的操作符重载滥用。例如,不负责任的程序员可能会定义operator来执行减法。更常见但仍不可取的是,改变操作符的正常含义以情形使用给定类型。操作符应该只用于对用户而言无二义的操作。在这里所谓的有二义的操作符,就是指具有多个不同解释的操作符。
当一个重载操作符的含义不明显时,给操作取一个名字更好。对于很少用的操作,是用命名函数通常也比用操作符更好。如果不是普通操作,没有必要为简介而使用操作符。
选择成员或非成员实现
为类设计重载操作符的时候,必须选择是将操作符设置为类成员还是普通非成员函数。在某些情况下,程序员没有选择,操作符必须是成员;在另一些情况下,有写经验原则可以知道我们做出决定。下面是一些指导原则,有助于决定将操作符设置为类成员还是普通非成员函数
赋值=下标[]调用()和成员反问箭头->等操作符必须定义为成员,将这些操作符定义为非成员函数将在编译时标记为错误
像赋值一样,复合赋值操作符通常应定义为类的成员,与赋值不同的是,不一定非得这样做,如果定义非成员符合赋值操作符,不会出现编译错误。
改变对象状态或与给定类型紧密联系得到一些操作符,如自增,自减和解引用,通常就定义为类成员。
对称的操作符,如算术操作符,相等操作符,关系操作符和位操作符最好定义为普通非成员函数
Sales_item operator+(const Sales_item&,const Sales_item&);
声明了加号操作符,可用于将两个Sales_item对象相加并获得一个Sales_item对象的副本。
不能重载的操作符::
用于内置类型的操作符,其定义不能改变。例如,内置的整型加号操作符不能重定义:
int operator +(int,int);
也不能为内置类型定义加号操作符,例如不能定义接受两个数组类型操作数的operator+。
重载操作符必须具有至少一个类类型或枚举类型的操作数。这条规则强制重载操作符不能重新定义内置类型对象的操作符的含义。
优先级和结合性是固定的
有四个符号(+,-,×,/)既可以作一元操作符又可做二元操作符,这些操作符有的在其中一种情况下可以重载,有的两种都可以,一定的是哪个操作符由操作数数目控制。除了函数调用操作符operator()之外,重载操作符时使用默认实参是非法的。
不再具备短路求值特性
作为类成员的重载函数,其形参看起来比操作数数目少1.作为成员函数的操作符有一个隐含的this形参,限定为第一个操作数。
使用重载操作符
cout<<item1+item2<<endl;
cout<<operator+(item1,item2)<<endl;
调用成员操作符函数与调用任意其他函数一样:指定运行函数的对象,然后使用点火箭头操作符获取希望调用的函数,同时传递所需数目和类型的实参。对于二元成员操作符函数的情况,我们必须传递一个操作数:
item1 += item2;
item1.operator+=(item2);
两个语句都将item2的值加至item1。第一种情况下,使用表达式语法隐式调用重载操作符函数:第二种情况下,在item1对象上调用成员操作符函数。
重载操作符的设计
不要重载具有内置含义的操作符
重载逗号、取地址、逻辑与、逻辑或等等操作符通常不是好做法。这些操作符具有有用的内置含义,如果我们定义了自己的版本,就不能再使用这些内置含义。
警告:审慎使用操作符重载
每个操作符用于内置类型都有关联的含义。例如,二元+与加法是完全相同的。将二元+对应到一个类类型的类似操作可提供方便的简写方法。例如,标准库的类型string,遵循许多程序设计语言的通用规范,使用+表示连接——将一个串“加”至另一个串
当内置操作符和类型上的操作存在逻辑对应关系时,操作符重载最有用。使用重载操作符而不是创造命名操作,可以令程序更自然、更直观,而滥用操作符重载是我们的类更难以理解。
在实践中很少发生明显的操作符重载滥用。例如,不负责任的程序员可能会定义operator来执行减法。更常见但仍不可取的是,改变操作符的正常含义以情形使用给定类型。操作符应该只用于对用户而言无二义的操作。在这里所谓的有二义的操作符,就是指具有多个不同解释的操作符。
当一个重载操作符的含义不明显时,给操作取一个名字更好。对于很少用的操作,是用命名函数通常也比用操作符更好。如果不是普通操作,没有必要为简介而使用操作符。
选择成员或非成员实现
为类设计重载操作符的时候,必须选择是将操作符设置为类成员还是普通非成员函数。在某些情况下,程序员没有选择,操作符必须是成员;在另一些情况下,有写经验原则可以知道我们做出决定。下面是一些指导原则,有助于决定将操作符设置为类成员还是普通非成员函数
赋值=下标[]调用()和成员反问箭头->等操作符必须定义为成员,将这些操作符定义为非成员函数将在编译时标记为错误
像赋值一样,复合赋值操作符通常应定义为类的成员,与赋值不同的是,不一定非得这样做,如果定义非成员符合赋值操作符,不会出现编译错误。
改变对象状态或与给定类型紧密联系得到一些操作符,如自增,自减和解引用,通常就定义为类成员。
对称的操作符,如算术操作符,相等操作符,关系操作符和位操作符最好定义为普通非成员函数