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 
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<<"输出结果是"< 
 

运行结果为:

输出结果是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 
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<<"输出结果是"< 
 

由上述程序可以看出,运算符重载函数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)可以重载的运算符​

C++重载的奥义之运算符重载详解_第1张图片

(2)不可以重载的运算符

.         (成员访问运算符)

.*       (成员指针访问运算符)

::        (域运算符)

sizeof (长度运算符)

?:        (条件运算符)

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

=         (赋值运算符)

()         (函数调用运算符)

[]         (下标运算符)

->       (成员访问运算符)

(4)只能以全局函数重载的运算符

<<      (左移运算符)

>>      (右移运算符)

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

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

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

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

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

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

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

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

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

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

以上就是C++重载的奥义之运算符重载详解的详细内容,更多关于C++运算符重载的资料请关注脚本之家其它相关文章!

你可能感兴趣的:(C++重载的奥义之运算符重载详解)