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

0、引言

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

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

1、运算符重载定义

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

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

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

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

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

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

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

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

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

 1 #include <iostream>
 2 using namespace std;
 3 class addfloat
 4 {
 5 public:
 6     addfloat(float p);
 7     //声明运算符重载
 8     addfloat operator+(const addfloat &A) const;
 9     void show() const;
10 private:
11     float m_p;
12 };
13 addfloat::addfloat(float p)
14 {
15     m_p = p;
16 }
17 //作为类的成员函数实现运算符重载
18 addfloat addfloat::operator+(const addfloat &A) const
19 {
20     addfloat B;
21     B.m_p = this->m_p + A.m_p;
22     return B;
23 }
24 void addfloat::show() const
25 {
26     cout<<"输出结果是"<<m_p<<endl;
27 }
28
29
30 int main()
31 {
32     addfloat m(5.1);
33     addfloat n(1.5);
34     addfloat t;
35     t = m + n; //两个addfloat类对象相加:t = m.operator+(n);
36     t.show();
37     return 0;
38 }

运行结果为：

1 输出结果是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+()函数。

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

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

 1 #include <iostream>
 2 using namespace std;
 3 class addfloat
 4 {
 5 public:
 6     addfloat(float p);
 7     //声明为友元函数
 8     friend addfloat operator+(const addfloat &A, const addfloat &B);
 9     void show() const;
10 private:
11     float m_p;
12 };
13 addfloat::addfloat(float p)
14 {
15     m_p = p;
16 }
17
18 void addfloat::show() const
19 {
20     cout<<"输出结果是"<<m_p<<endl;
21 }
22
23 //作为全局函数进行重载
24 addfloat operator+(const addfloat &A, const addfloat &B)
25 {
26     addfloat C;
27     C.m_p = A.m_p + B.m_p;
28     return C;
29 }
30
31 int main()
32 {
33     addfloat m(5.1);
34     addfloat n(1.5);
35     addfloat t;
36     t = m + n; //两个addfloat类对象相加:t = m.operator+(n);
37     t.show();
38     return 0;
39 }

由上述程序可以看出，运算符重载函数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）重载的运算符必须和用户定义的对象一起使用，运算符参数（操作的对象）中至少应有一个是类对象（或类对象的引用）。

---

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

0、引言        重载，顾名思义从字面上理解就是重复装载，打一个不恰当的比方，你可以用一个篮子装蔬菜，也可以装水果或者其它，使用的是同一个篮子，但是可以用篮子重复装载的东西不一样。
        正如在之前的文章《重载的奥义之函数重载》中介绍的类似，函数的重载是指利用相同的函数名设计一系列功能相近，但是功能细节不一样的函数接口；因此运算符重载也是指对于同一个运算符来说，它可以用于实现不同的功能。下面就一起来理解下运算符重载的应用。
1、运算符重载定义        正常来说，我们一般使用的运算符是对基本的数据类型进行操作，但是在C++中有了对象，导致对象无法通过运算符进行运算，故引入了运算符重载即需要重新的定义这些运算符，赋予已有运算符新的功能，使它能够用于特定类型执行特定的操作。运算符重载的实质是函数重载，它提供了C++的可扩展性。
        运算符重载是通过创建运算符函数实现的，运算符函数定义了重载的运算符将要进行的操作。运算符函数的定义与其他函数的定义类似，唯一的区别是运算符函数的函数名是由关键字operator和其后要重载的运算符符号构成的。运算符函数定义的一般格式如下：
<返回类型说明符> operator <运算符符号>(<参数表>){     <函数体>}1.2.3.4.        其中，“返回类型说明符”指出重载运算符的返回值类型，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;}1.2.3.4.5.6.7.8.9.10.11.12.13.14.        运算符重载就是对已有的运算符重新进行定义，赋予其另一种功能，以达到适应不同的数据类型。运算符重载不能改变它本来的寓意(也就是加法不能变更为减法)，运算符重载只是一种 “语法上的方便” ，它只是一种函数调用的方式。
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;}1.2.3.4.5.6.7.8.9.10.11.12.13.14.15.16.17.18.19.20.21.22.23.24.25.26.27.28.29.30.31.32.33.34.35.36.37.38.        运行结果为：
输出结果是6.61.        从上面的例子可以看出，在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;}1.2.3.4.5.6.7.8.9.10.11.12.13.14.15.16.17.18.19.20.21.22.23.24.25.26.27.28.29.30.31.32.33.34.35.36.37.38.39.        由上述程序可以看出，运算符重载函数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）重载的运算符必须和用户定义的对象一起使用，运算符参数（操作的对象）中至少应有一个是类对象（或类对象的引用）。
更多技术内容和书籍资料获取，入群技术交流敬请关注“明解嵌入式”

-----------------------------------著作权归作者所有：来自51CTO博客作者Sharemaker的原创作品，请联系作者获取转载授权，否则将追究法律责任C++重载的奥义之运算符重载https://blog.51cto.com/Sharemaker/6196336