第六章 运算符重载

一、运算符重载本质和使用规则

本质

运算符重载是通过函数实现的，它本质上是函数重载。

使用规则

1. 并不是所有的运算符都可以重载。

   能够重载的运算符包括：+ - * / % ^ & | ~ ! = < > += -= = /= %= ^= &= |= << >> <<= >>= == != <= >= && || ++ – , -> -> () [] new new[] delete delete[]

   上述运算符中，[]是下标运算符，()是函数调用运算符。自增自减运算符的前置和后置形式都可以重载。长度运算符sizeof、条件运算符: ?、成员选择符.和域解析运算符::不能被重载。

2. 重载不能改变运算符的优先级和结合性。

   例如：

    c4 = c1 + c2 * c3;  // 加法运算符重载，c1、c2、c3、c4均是类创建的对象
   

   等价于：

    c4 = c1 + ( c2 * c3 );
   

   乘法的优先级仍然高于加法，并且它们仍然是二元运算符。

3. 重载不会改变运算符的用法，原有有几个操作数、操作数在左边还是在右边，这些都不会改变。例如~号右边只有一个操作数，+号总是出现在两个操作数之间，重载后也必须如此。

4. 运算符重载函数不能有默认的参数，否则就改变了运算符操作数的个数，这显然是错误的。

5. 运算符重载函数既可以作为类的成员函数，也可以作为全局函数。

   将运算符重载函数作为类的成员函数时，二元运算符的参数只有一个，一元运算符不需要参数。之所以少一个参数，是因为这个参数是隐含的。

   将运算符重载函数作为全局函数时，二元操作符就需要两个参数，一元操作符需要一个参数，而且其中必须有一个参数是对象，好让编译器区分这是程序员自定义的运算符，防止程序员修改用于内置类型的运算符的性质。另外，将运算符重载函数作为全局函数时，一般都需要在类中将该函数声明为友元函数。

6. 箭头运算符->、下标运算符[ ]、函数调用运算符( )、赋值运算符=只能以成员函数的形式重载。

二、成员函数重载运算符与全局函数（友元函数）重载运算符的区别

全局函数（友元函数）重载运算符

例：

class Complex {};   //简略声明一个复数类，没有具体内容，说明问题即可

complex complex::operator+(const complex &A)  //以成员函数形式重载一个+运算符

int main(){
	Complex c1(25, 35);
	Complex c2 = c1 + 15.6;
	Complex c3 = 28.23 + c1;
}

上述代码中 Complex c2 = c1 + 15.6; 会被转换为下面的形式：

Complex c2 = c1.operator+(Complex(15.6));

这就是通过对象调用成员函数，是正确的。而对于Complex c3 = 28.23 + c1;，编译器会尝试转换为不同的形式：

Complex c3 = (28.23).operator+(c1);

很显然这是错误的，因为 double 类型并没有以成员函数的形式重载 +。

也就是说，以成员函数的形式重载 +，只能计算c1 + 15.6，不能计算28.23 + c1，这是不对称的。

有读者可能会问，编译器明明可以把 28.23 先转换成 Complex 类型再相加呀，也就是下面的形式：

Complex c3 = Complex(28.23).operator+(c1);

为什么就是不转换呢？没错，编译器不会转换，原因在于，C++ 只会对成员函数的参数进行类型转换，而不会对调用成员函数的对象进行类型转换。以下面的语句为例：

obj.func(params);

编译器不会尝试对 obj 进行任何类型转换，它有 func() 成员函数就调用，没有就报错。而对于实参 params，编译器会“拼命地”将它转换为形参的类型。

故：以全局函数重载运算符是为了保证 + 运算符的操作数能够被对称的处理；

成员函数重载运算符

我们首先要明白，运算符重载的初衷是给类添加新的功能，方便类的运算，它作为类的成员函数是理所应当的，是首选的。不过，类的成员函数不能对称地处理数据，程序员必须在（参与运算的）所有类型的内部都重载当前的运算符。以上面的情况为例，我们必须在 Complex 和 double 内部都重载 + 运算符，这样做不但会增加运算符重载的数目，还要在许多地方修改代码，这显然不是我们所希望的，所以 C++ 进行了折中，允许以全局函数（友元函数）的形式重载运算符。

三、其他运算符重载（代码详见教程）

运算符	注意事项
输入(>>)输出(<<)运算符	必须以全局函数（友元函数）进行重载
下标运算符([ ])	只能以成员函数进行重载
自增(++)和自减(–)运算符
new和delete运算符	new运算符的第一个参数类型必须是size_t，delete必须有一个void类型的指针(即 void * 参数名)
强制类型转换运算符( () )	单目运算符，只能作为成员函数进行重载，且不需要指定返回值类型