C++--运算符的重载

1.运算符重载的概念

所谓重载，就是赋予新的含义。函数重载（Function Overloading）可以让一个函数名有多种功能，在不同情况下进行不同的操作。

运算符重载（Operator Overloading）也是一个道理，同一个运算符可以有不同的功能。

运算符重载的格式为：

返回值类型   operator 运算符名称 (形参表列) {
    //TODO:
}

operator是关键字，专门用于定义重载运算符的函数。

我们可以将operator 运算符名称这一部分看做函数名，对于上面的代码，函数名就是operator+

 

在全局范围内重载运算符

运算符重载函数不仅可以作为类的成员函数，还可以作为全局函数。更改上面的代码，在全局范围内重载+

 

运算符重载函数不是 complex 类的成员函数，但是却用到了 complex 类的 private 成员变量，所以必须在 complex 类中将该函数声明为友元函数。

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

 

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

 

complex 类中重载了加法运算符：

complex operator+(const complex & A) const;

当执行：c3 = c1 + c2;

会被转换为：c3 = c1.operator+(c2);

通过 this 指针隐式的访问 c1 的成员变量。

 

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

return (a-b);

}

+号原来是对两个数相加，现在企图通过重载使它的作用改为两个数相减， 如果允许这样重载的话，那么表达式4+3的结果是 7 还是 1 呢？显然，这是绝对禁止的。

 

2.>> <<重载

 

重载输入运算符>>

下面我们在全局范围内重载>>，使它能够读入两个 double 类型的数据，并转换为一个复数，保存到复数对象中：
istream & operator>>(istream &in, complex &A){

in >> A.m_real >> A.m_imag;

return in;

}

istream 表示输入流，cin 是 istream 类的对象，只不过这个对象是在标准库中定义的。

 

 

 

 

 

 

 

重载输出运算符<<

同样地，我们也可以模仿上面的形式对输出运算符进行重载，让它能够输出复数。重载函数的实现如下：

ostream & operator<<(ostream &out, complex &A){

out << A.m_real <<" + "<< A.m_imag <<" i ";

return out;

}

ostream 表示输出流，cout 是 ostream 类的对象。由于采用了引用的方式进行参数传递，并且也返回了对象的引用，所以重载后的运算符可以实现连续输出。

 

3.[]重载

返回值类型 & operator[] (参数)

或者：

const 返回值类型 & operator[] (参数)

使用第一种声明方式，运算符重载函数不仅可以访问对象，同时还可以修改对象。使用第二种声明方式，运算符重载函数只能访问而不能修改对象。

 

int & operator[]( int );
const int & operator[]( int )const;

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

 

4.++ -- 重载

自增++和自减--都是一元运算符，它的前置形式和后置形式都可以被重载。

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

operator++ (int n) 函数实现自增的后置形式，返回值是对象本身，但是之后再次使用该对象时，对象自增了，所以在该函数的函数体中，先将对象保存，然后调用一次 run() 函数，之后再将先前保存的对象返回。

在这个函数中参数n是没有任何意义的，它的存在只是为了区分是前置形式还是后置形式。

 

5.=重载

和普通变量一样，对象之间也可以相互赋值。赋值运算符=可以用来将一个对象拷贝给另一个已经存在的对象。

对象之间的赋值是将成员变量依次拷贝，而不是将整个对象的内存按位拷贝。

 

重载赋值运算符时，函数的参数和返回值类型都必须是对象的引用。

以 Book 类为例来说，赋值运算符重载函数一般有两种原型：

Book & operator=( Book &b );
Book & operator=( const Book &b );

 

返回值和参数都是 Book 类对象的引用。下面一种原型则规定在赋值时不能修改原来的对象。

赋值运算符重载函数除了能有对象引用这样的参数之外，也能有其它参数。但是其它参数必须给出默认值。

Book & operator=(const Book &b, a = 10);

 

6.new 和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 则表示所需要分配的所有空间的总和。

 

然，重载函数也可以有其他参数，但都必须有默认值，并且第一个参数的类型必须是 size_t。

 

当我们以类的成员函数的形式重载了new 和 delete 操作符，其使用方法如下：

C * c = new C; //分配内存空间

//TODO:

delete c; //释放内存空间

如果类中没有定义 new 和 delete 的重载函数，那么会自动调用内建的 new 和 delete 运算符。

 

delete 运算符也有两种重载形式。以类的成员函数的形式进行重载：void className::operator delete( void *ptr){
    //TODO:
}

以全局函数的形式进行重载：void operator delete( void *ptr){
    //TODO:
}