C++运算符重载浅谈

1、运算符重载的概念
所谓重载，就是赋予新的含义。函数重载（Function Overloading）可以让一个函数名有多种功能，在不同情况下进行不同的操作。运算符重载（Operator Overloading）也是一个道理，同一个运算符可以有不同的功能。

实际上，我们已经在不知不觉中使用了运算符重载。例如，+号可以对不同类型（int、float 等）的数据进行加法操作；<<既是位移运算符，又可以配合 cout 向控制台输出数据。C++ 本身已经对这些运算符进行了重载。

C++ 也允许程序员自己重载运算符，这给我们带来了很大的便利。

下面的代码定义了一个复数类，通过运算符重载，可以用+，-，*，、号实现复数的运算：

#include <iostream>
using namespace std;

class Complex
{
private:
    float m_real;
    float m_imag;
public:
    Complex():m_real(0), m_imag(0){}
    Complex(float real, float imag):m_real(real), m_imag(imag){}
    Complex operator+(const Complex &A) const;
    Complex operator-(const Complex &A) const;
    Complex operator*(const Complex &A) const;
    Complex operator/(const Complex &A) const;
    friend ostream &operator<<(ostream &out, Complex &A);
    friend istream &operator>>(istream &in, Complex &A);
};

Complex Complex::operator+(const Complex &A) const
{
    return Complex(this->m_real + A.m_real, this->m_imag + A.m_imag);
}

Complex Complex::operator-(const Complex &A) const
{
    return Complex(this->m_real - A.m_real, this->m_imag - A.m_imag);
}

Complex Complex::operator*(const Complex &A) const
{
    return Complex(this->m_real * A.m_real - this->m_imag * A.m_imag, this->m_real * A.m_imag + A.m_real * this->m_imag);
}

Complex Complex::operator/(const Complex &B) const
{
    Complex C;
    double square = B.m_real * B.m_real + B.m_imag * B.m_imag;
    C.m_real = (this->m_real * B.m_real + this->m_imag * B.m_imag) / square;
    C.m_imag = (this->m_imag * B.m_real - this->m_real * B.m_imag) / square;
    return C;
}

istream &operator>>(istream &in, Complex &A)
{
    in>>A.m_real>>A.m_imag;
    return in;
}

ostream &operator<<(ostream &out, Complex &A) 
{
    out<<A.m_real<<"+"<<A.m_imag<<"i";
    return out;
}

int main()
{
    Complex c1(12.5, 18.5);
    Complex c2(5.4, 6.8);
    Complex c3;
    c3 = c1 + c2;
    cout<<c3<<endl;
    c3 = c1 - c2;
    cout<<c3<<endl;
    c3 = c1 * c3;
    cout<<c3<<endl;
    c3 = c1 / c2;
    cout<<c3<<endl;

    return 0;
}

运算符重载其实就是定义一个函数，在函数体内实现想要的功能，当用到该运算符时，编译器会自动调用这个函数。也就是说，运算符重载是通过函数实现的，它本质上是函数重载。

运算符重载的格式为：
返回值类型 operator 运算符名称 (形参表列){
//TODO:
}
operator是关键字，专门用于定义重载运算符的函数。我们可以将operator 运算符名称这一部分看做函数名，对于上面的代码，函数名就是operator+。

运算符重载函数除了函数名有特定的格式，其它地方和普通函数并没有区别。

上面的例子中，我们在 complex 类中重载了运算符+，该重载只对 complex 对象有效。当执行c3 = c1 + c2;语句时，编译器检测到+号左边（+号具有左结合性，所以先检测左边）是一个 complex 对象，就会调用成员函数operator+()，也就是转换为下面的形式：
c3 = c1.operator+(c2);
c1 是要调用函数的对象，c2 是函数的实参。
运算符重载函数不仅可以作为类的成员函数，还可以作为全局函数。
运算符重载函数不是 complex 类的成员函数，但是却用到了 complex 类的 private 成员变量，所以必须在 complex 类中将该函数声明为友元函数。

当执行c3 = c1 + c2;语句时，编译器检测到+号两边都是 complex 对象，就会转换为类似下面的函数调用：
c3 = operator+(c1, c2);

2、运算符重载的注意点
1) 并不是所有的运算符都可以重载。能够重载的运算符包括：
+ - * / % ^ & | ~ ! = < > += -= = /= %= ^= &= |= << >> <<= >>= == != <= >= && || ++ – , -> -> () [] new new[] delete delete[]

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

2) 重载不能改变运算符的优先级和结合性。假设上一节的 complex 类中重载了+号和*号，并且 c1、c2、c3、c4 都是 complex 类的对象，那么下面的语句：
c4 = c1 + c2 * c3;
等价于：
c4 = c1 + ( c2 * c3 );
乘法的优先级仍然高于加法，并且它们仍然是二元运算符。

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

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

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

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

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

8）另外，将运算符重载函数作为全局函数时，一般都需要在类中将该函数声明为友元函数。原因很简单，该函数大部分情况下都需要使用类的 private 成员。

9）6) 箭头运算符->、下标运算符[ ]、函数调用运算符( )、赋值运算符=只能以成员函数的形式重载。
比如重载[]下标运算符：
该函数在类中的声明格式如下：
返回值类型 & operator[] (参数)
或者：
const 返回值类型 & operator[] (参数)
使用第一种声明方式，运算符重载函数不仅可以访问对象，同时还可以修改对象。使用第二种声明方式，运算符重载函数只能访问而不能修改对象。

默认情况下，通过下标访问数组中的元素并不具有检查边界溢出功能，我们可以通过运算符重载实现该功能。
代码如下：

#include <iostream>
#include <iomanip>
#include <string>

using namespace std;

class A
{
private:
    int m_length;
    int *m_ptr;

public:
    A():m_length(0), m_ptr(NULL){}                      //无参构造函数，初始化为0
    A(int n):m_length(n){
        m_ptr = new int[n];                             //构造函数初始化长度分配一个堆上的数组
    }
    ~A(){
        delete[] m_ptr ;                                //释放空间
        cout<<"A destructer"<<endl;
    }
    int GetLength(){                                    //获得数组长度
        return m_length;
    }
    int &operator[](const int i);                       //重载[]运算符，可以修改对象
    const int &operator[](const int i) const;           //重载[]运算符，不能修改对象
};

int & A::operator[](int i)
{
    if(i < 0 || i >= m_length)
    {
        throw string("out of range");
    }
    else
    {
        return m_ptr[i];
    }
}

const int & A::operator[](int i) const
{
    if(i < 0 || i >= m_length)
    {
        throw string("out of range");
    }
    else
    {
        return m_ptr[i];
    }
}

int main()
{
    A *a = new A(6);

    int i = 0;
    for(i = 0; i < a->GetLength(); i++)
    {
        (*a)[i] = i;
    }

    for(i = 0; i < a->GetLength(); i++)
    {
        cout<<setw(2)<<(*a)[i];
    }
    cout<<endl;

    delete a;

    return 0;
}

本例提供了两个版本的下标运算符重载函数：
int & operator;
const int & operatorconst;
第一个函数最后不带 const，加上 const 意味着该成员函数是常成员函数，如果第一个函数后面也加上了const，则两个函数仅有返回值不同，编译器不能够区分这是函数重载，会报错。这两个版本的重载函数其实很好理解，第一个能够修改对象，第二个只能访问对象而不能修改对象。

重载下标运算符[]后，arr[5]会被转换为：
arr.operator;
最后需要说明的是：即使没有定义 const 版本的重载函数，这段代码也是可以正确运行的，但是非 const 成员函数不能处理 const 对象，所以在编程时通常会提供两个版本的运算符重载函数。

3、++，–运算符的重载
代码如下：

#include <iostream>
#include <iomanip>
using namespace std;
//秒表类
class stopwatch{
public:
    stopwatch(): m_min(0), m_sec(0){ }
public:
    void setzero(){ m_min = 0; m_sec = 0; }
    stopwatch run();  // 运行
    stopwatch operator++();  //++i，前置形式
    stopwatch operator++(int);  //i++，后置形式
    friend ostream & operator<<( ostream &, const stopwatch &);
private:
    int m_min;  //分钟
    int m_sec;  //秒钟
};
stopwatch stopwatch::run(){
    ++m_sec;
    if(m_sec == 60){
        m_min++;
        m_sec = 0;
    }
    return *this;
}
stopwatch stopwatch::operator++(){
    return run();//相当于前置++
}
stopwatch stopwatch::operator++(int n){
    stopwatch s = *this;
    run();
    return s;//相当于后置++
}
ostream &operator<<( ostream & out, const stopwatch & s){
    out<<setfill('0')<<setw(2)<<s.m_min<<":"<<setw(2)<<s.m_sec;
    return out;
}//重载输出运算符<<

int main(){
    stopwatch s1, s2;
    s1 = s2++;
    cout << "s1: "<< s1 <<endl;
    cout << "s2: "<< s2 <<endl;
    s1.setzero();
    s2.setzero();
    s1 = ++s2;
    cout << "s1: "<< s1 <<endl;
    cout << "s2: "<< s2 <<endl;
    return 0;
}

上面的代码定义了一个简单的秒表类，m_min 表示分钟，m_sec 表示秒钟，setzero() 函数用于秒表清零，run() 函数是用来描述秒针前进一秒的动作，接下来是三个运算符重载函数。

先来看一下 run() 函数的实现，run() 函数一开始让秒针自增，如果此时自增结果等于60了，则应该进位，分钟加1，秒针置零。

operator++() 函数实现自增的前置形式，直接返回 run() 函数运行结果即可。

operator++ (int n) 函数实现自增的后置形式，返回值是对象本身，但是之后再次使用该对象时，对象自增了，所以在该函数的函数体中，先将对象保存，然后调用一次 run() 函数，之后再将先前保存的对象返回。在这个函数中参数n是没有任何意义的，它的存在只是为了区分是前置形式还是后置形式。

4、重载new new[] delete delete[]运算符
内存管理运算符 new、new[]、delete 和 delete[] 也可以进行重载，其重载形式既可以是类的成员函数，也可以是全局函数。一般情况下，内建的内存管理运算符就够用了，只有在需要自己管理内存时才会重载。

以成员函数的形式重载 new 运算符：
void * className::operator new( size_t size ){
//TODO:
}
以全局函数的形式重载 new 运算符：
void * operator new( size_t size ){
//TODO:
}
两种重载形式的返回值相同，都是void *类型，并且都有一个参数，为size_t类型。在重载 new 或 new[] 时，无论是作为成员函数还是作为全局函数，它的第一个参数必须是 size_t 类型。size_t 表示的是要分配空间的大小，对于 new[] 的重载函数而言，size_t 则表示所需要分配的所有空间的总和。

同样的，delete 运算符也有两种重载形式。以类的成员函数的形式进行重载：
void className::operator delete( void *ptr){
//TODO:
}
以全局函数的形式进行重载：
void operator delete( void *ptr){
//TODO:
}
两种重载形式的返回值都是 void 类型，并且都必须有一个 void 类型的指针作为参数，该指针指向需要释放的内存空间。

最后总结：
两种重载方式的比较：
一般情况下，单目运算符最好重载为类的成员函数；双目运算符则最好重载为类的友元函数。
以下一些双目运算符不能重载为类的友元函数：=、()、[]、->。
类型转换函数只能定义为一个类的成员函数而不能定义为类的友元函数。 C++提供4个类型转换函数：reinterpret_cast（在编译期间实现转换）、const_cast（在编译期间实现转换）、stactic_cast（在编译期间实现转换）、dynamic_cast（在运行期间实现转换，并可以返回转换成功与否的标志）。
若一个运算符的操作需要修改对象的状态，选择重载为成员函数较好。
若运算符所需的操作数（尤其是第一个操作数）希望有隐式类型转换，则只能选用友元函数。
当运算符函数是一个成员函数时，最左边的操作数（或者只有最左边的操作数）必须是运算符类的一个类对象（或者是对该类对象的引用）。如果左边的操作数必须是一个不同类的对象，或者是一个内部 类型的对象，该运算符函数必须作为一个友元函数来实现。
当需要重载运算符具有可交换性时，选择重载为友元函数。
注意事项：
除了类属关系运算符”.“、成员指针运算符”.*“、作用域运算符”::“、sizeof运算符和三目运算符”?:“以外，C++中的所有运算符都可以重载。
重载运算符限制在C++语言中已有的运算符范围内的允许重载的运算符之中，不能创建新的运算符。
运算符重载实质上是函数重载，因此编译程序对运算符重载的选择，遵循函数重载的选择原则。
重载之后的运算符不能改变运算符的优先级和结合性，也不能改变运算符操作数的个数及语法结构。
运算符重载不能改变该运算符用于内部类型对象的含义。它只能和用户自定义类型的对象一起使用，或者用于用户自定义类型的对象和内部类型的对象混合使用时。
运算符重载是针对新类型数据的实际需要对原有运算符进行的适当的改造，重载的功能应当与原有功能相类似，避免没有目的地使用重载运算符。