C++重载的奥义之运算符重载

0、引言

        重载，顾名思义从字面上理解就是重复装载，打一个不恰当的比方，你可以用一个篮子装蔬菜，也可以装水果或者其它，使用的是同一个篮子，但是可以用篮子重复装载的东西不一样。

        正如在之前的文章《重载的奥义之函数重载》中介绍的类似，函数的重载是指利用相同的函数名设计一系列功能相近，但是功能细节不一样的函数接口；因此运算符重载也是指对于同一个运算符来说，它可以用于实现不同的功能。下面就一起来理解下运算符重载的应用。

1、运算符重载定义

        正常来说，我们一般使用的运算符是对基本的数据类型进行操作，但是在C++中有了对象，导致对象无法通过运算符进行运算，故引入了运算符重载即需要重新的定义这些运算符，赋予已有运算符新的功能，使它能够用于特定类型执行特定的操作。运算符重载的实质是函数重载，它提供了C++的可扩展性。

        运算符重载是通过创建运算符函数实现的，运算符函数定义了重载的运算符将要进行的操作。运算符函数的定义与其他函数的定义类似，唯一的区别是运算符函数的函数名是由关键字operator和其后要重载的运算符符号构成的。运算符函数定义的一般格式如下：

<返回类型说明符> operator <运算符符号>(<参数表>)
{
     <函数体>
}

        其中，“返回类型说明符”指出重载运算符的返回值类型，operator是定义运算符重载函数的关键字，“运算符符号”指出要重载的运算符名字，是C++中可重载的运算符，比如要重载加法运算符，这里直接写“+”即可，“参数表”指出重载运算符所需要的参数及其类型。可以看出，运算符重载是一种形式C++多态的体现。

        例如，使用“+”将两个对象相加，编译器将根据操作数的数目和类型决定使用哪种加法定义，这样可以让代码看起来更加自然。

//正常情况下两个数组的数相加
for(int i= 0; i<10; i++)
    c[i] = a[i] + b[i];
//可以通过定义一个数组的类，重载“+”运算符后
//隐藏了内部机制，并强调了实质
arry operator+(arry p,arry q)
{
   arry t;
    for(int i= 0; i<10; i++)  //c = a + b; 
    {  
      t.a[i]=p.a[i]+q.a[i];
    }
    return t;
}

        运算符重载就是对已有的运算符重新进行定义，赋予其另一种功能，以达到适应不同的数据类型。运算符重载不能改变它本来的寓意(也就是加法不能变更为减法)，运算符重载只是一种 “语法上的方便” ，它只是一种函数调用的方式。

2、作为成员函数进行重载

        我们就以“+”运算符重载举例：

#include <iostream>
using namespace std;
class addfloat
{
public:
    addfloat(float p);
    //声明运算符重载
    addfloat operator+(const addfloat &A) const;
    void show() const;
private:
    float m_p;  
};
addfloat::addfloat(float p)
{
    m_p = p;
}
//作为类的成员函数实现运算符重载
addfloat addfloat::operator+(const addfloat &A) const
{
    addfloat B;
    B.m_p = this->m_p + A.m_p;
    return B;
}
void addfloat::show() const
{
    cout<<"输出结果是"<<m_p<<endl;
}


int main()
{
    addfloat m(5.1);
    addfloat n(1.5);
    addfloat t;
    t = m + n; //两个addfloat类对象相加:t = m.operator+(n);
    t.show();
    return 0;
}

        运行结果为：

输出结果是6.6

        从上面的例子可以看出，在addfloat类中对“+”运算符进行了重载 ，重载后可以对该类的对象进行加法运算。当运行 t = m + n时，编译器检测到“+”左边的m（“+”具有左结合性，所以先检测左边）是一个 addfloat类对象，就会调用成员函数 operator+()，将表达式转换成如下格式：

        t = m.operator + (n);

        表达式中m作为调用函数的对象，n作为函数的实参。

3、作为全局函数进行重载

        对于之前的例子：t = m + n，m和n是作为addfloat类的对象进行相加的，使用成员函数 operator+()转换为了t = m.operator+(n)，如果n不是类的对象，而是一个常数，例如：

        t = m + 5.2；那么可以转换t = m.operator+(5.2)；

        但是如果m是一个常数时，即：t = 5.2 + n；则t = (5.2).operator + (n)这种转换是不允许的，编译器会报错，因为5.2不能作为类的对象调用运算符重载operator+()函数。

        这种场景下针对“+”这种运算符作为类的成员函数进行重载是不可以的。运算符重载不仅仅可以通过类的成员函数来实现，也可以通过全局函数来实现。

        我们需要将运算符重载的全局函数声明为友元函数，因为大多数时候重载运算符要访问类的私有数据，（当然也可以设置为非友元非类的成员函数，但是非友元又不是类的成员函数，是没有办法直接访问类的私有数据的），如果不声明为类的友元函数，而是通过在此函数中调用类的公有函数来访问私有数据会降低性能。所以一般都会设置为类的友元函数，这样我们就可以在此非成员函数中访问类中的数据了。

#include <iostream>
using namespace std;
class addfloat
{
public:
    addfloat(float p);
    //声明为友元函数
    friend addfloat operator+(const addfloat &A, const addfloat &B);
    void show() const;
private:
    float m_p;  
};
addfloat::addfloat(float p)
{
    m_p = p;
}

void addfloat::show() const
{
    cout<<"输出结果是"<<m_p<<endl;
}

//作为全局函数进行重载
addfloat operator+(const addfloat &A, const addfloat &B)
{
    addfloat C;
    C.m_p = A.m_p + B.m_p;
    return C;
}

int main()
{
    addfloat m(5.1);
    addfloat n(1.5);
    addfloat t;
    t = m + n; //两个addfloat类对象相加:t = m.operator+(n);
    t.show();
    return 0;
}

        由上述程序可以看出，运算符重载函数operator+()不是 addfloat类的成员函数，但是却用到了 addfloat类的 private 成员变量m_p，所以需要在 addfloat类中将operator+()函数声明为友元函数。

        当运行t = m + n时，编译器检测到“+”两边都是addfloat类的对象，就会转换为类似下面的函数调用：

        t = operator + (m, n);

        因此，m和n都可以看作是函数的实参：

        t = m + 5.2转换为 t = operator + (m, 5.2);

        t = 5.2 + n转换为 t = operator + (5.2, n);

        以全局函数的形式重载“+”，是为了保证“+”运算符的操作数能够被对称的处理；换句话说，常数在“+”左边和右边都是正确的；

        因此，运算符左右两边都有操作对象时，且这两个操作对象可以互换，最好可以使用全局函数的形式重载，例如：+、-、*、/、==、!= ，这些符合运算符两边有操作对象的运算符。

4、运算符重载的一些规则

（1）可以重载的运算符​

（2）不可以重载的运算符

.         （成员访问运算符）

.*       （成员指针访问运算符）

::        （域运算符）

sizeof （长度运算符）

?:        （条件运算符）

（3） 只能以成员函数的形式重载的运算符（与 this关联太多）

=         （赋值运算符）

()         （函数调用运算符）

[]         （下标运算符）

->       （成员访问运算符）  

（4）只能以全局函数重载的运算符

<<      （左移运算符）  

>>      （右移运算符）  

（5）运算符重载函数既可以作为类的成员函数，也可以作为全局函数。友元函数运算符重载函数与成员运算符重载函数的区别是：友元函数没有this指针，而成员函数有，因此，在两个操作数的重载中友元函数有两个参数，而成员函数只有一个。

（6）有一部分运算符重载既可以是成员函数也可以是全局函数，虽然没有一个必然的、不可抗拒的理由选择成员函数，但我们应该优先考虑成员函数，这样更符合运算符重载的初衷。

（7）对于复合的赋值运算符如 +=、-=、*=、/=、&=、!=、~=、%=、>>=、<<= 建议重载为成员函数；

单目运算符最好重载为成员函数；

对于其它运算符，建议重载为全局函数。

（8）使用运算符不能违反运算符原来的语法规则，原来有几个操作数、操作数在左边还是在右边，这些都不会改变。算符重载函数不能有默认的参数，否则就改变了运算符操作数的个数。

（9）运算符的优先级不能被重载改变。然而，圆括号能够强制改变表达式中重载运算符的求值顺序。

（10）运算符的结合性不能被重载改变。如果一个运算符的结合性是从左向右，那么，它的所有重载的版本的结合性依然是从左向右

（11）不能创造新的运算符，即只能重载现有的运算符。例如不能定义operator** （···）来表示求幂。

（12）重载的运算符必须和用户定义的对象一起使用，运算符参数（操作的对象）中至少应有一个是类对象（或类对象的引用）。

---

↓↓↓更多技术内容和书籍资料获取，入群技术交流敬请关注“明解嵌入式”↓↓↓