不能重载的操作符有::: .* . ?: 四个
重载操作符不再具备短路求值的特性,如重载&&, ||, 逗号,重载这些操作符也不是一种好的做法。
作为类成员的重载函数,包含了一个隐含的this形参,限定为第一个操作数,重载一元函数如果作为成员函数就没有显示形参,如果作为非成员函数就有一个形参,重载二元操作符定义为成员时有一个形参,定义为非成员时有两个形参。一般将算数和关系操作符定义为非成员函数,将赋值操作符定义为成员函数。操作符定义为非成员函数时,通常要将它们设置成操作类的友元函数。因为通常要访问类的私有部分。是否定义为成员函数,以下是一些指导原则:
1 赋值(=), 下标[], 调用()和成员访问箭头(->)必须定义为成员,定义为非成员会在编译时发生错误
2 改变对象状态或与给定类型紧密联系的其他一些操作符,如自增,自减和解引用,通常定义为类成员
3 对称的操作符,如算法运算符,相等操作符,关系操作符和位操作符,最好定义为非成员函数。
对于输入输出操作符,因为第一个参数应该是istream或ostream类型,所以必须定义为非成员函数,而通常要对私有成员进行读写,所以需要定义为友元,且返回一个ostream或istream的引用。对于输入操作符,一般需要检查输入流是否错误。如一个类似string的输入输出操作符重载:
//输入输出操作符重载为友元函数
friend ostream& operator<<(ostream& os, const String &o)
{
os << o.str;
return os;
}
friend istream& operator>>(istream& in, String &s)
{
in >> s.str;
if (!in) //检查输入流是否发生错误
s = String(); //构造一个临时对象返回
return in;
}
算术和关系操作符定义为非成员函数,且算术 操作符为了保持与内置操作符一致,应该返回一个右值,而不是一个引用。关联容器预计某些算法,使用默认<操作符。
赋值操作符必须是类的成员,赋值操作符可以重载,可以为一个类增加多个赋值操作符,操作符的参数不同。赋值操作符必须返回对*this的引用,这是与内置类型的赋值一致的,而且返回一个引用,就不需要创建和撤销结果的临时副本,返回值通常是左操作数的引用。
类定义下标操作符时,一般要定义两个版本,一个非const成员并返回引用,一个const成员并返回const引用,供const对象使用。
箭头操作符(->)必须定义为类成员函数,解引用操作符(*)不要求定义为成员,但将它定义为成员一般也是正确的。这两个重载常用在实现智能指针。通常也需要定义const版本和非const版本,重载的箭头操作符必须返回指向类类型的指针。
自增自减操作符,倾向于定义为成员,前缀操作符返回对象的引用,后缀加(int)返回旧值,且是值返回,不是引用返回。--操作符一般调用后缀操作符一般调用前缀操作符实现,所以按说是前缀操作符快一些。
调用操作符(),类成员,定义了调用操作符的类,其对象称之为函数对象。可以定义多个版本,由形参的数目和类型加以区别。
struct absInt
{
int operator() (int val)
{
return val < 0 ? -val : val;
}
};
转换操作符,是一种特殊的类成员函数,定义将类类型转换为其他类型。格式:operator type(), type表示内置类型名、类类型名或由类型别名所定义的名字。对任何可作为函数返回类型的类型(除void)外都可以定义转换类型。不允许转换为数组或函数类型,转换为指针类型(数据和函数指针)以及引用类型是可以的。转换函数必须是成员函数,不能指定返回类型,并且形参表必须为空。虽然不能指定返回类型,但是每个转换函数必须显示返回一个指定类型的值。转换函数一般不应该改变被转换的对象。因此转换操作符通常定义为const成员。例子:
class SmallInt
{
public:
SmallInt(int i=0) : val(i)
{
if (i < 0 || i > 255)
throw std::out_of_range("Bad SmallInt initializer");
}
//转换操作符,转换为int
operator int() const
{
return val;
}
};
类类型转换之后不能再跟另一个类类型转换,如果需要多个类类型转换,则代码将出错。