[C/C++ Digestion] – 重载操作符

缺乏、安全感 2022-05-16 10:24 293阅读 0赞

\[C/C++ Digestion\] –  重载操作符

作者： Jason Lee @ [http://blog.csdn.net/jasonblog][http_blog.csdn.net_jasonblog]

日期： 2010-04-17

**\[1\] 重载操作符**

重载操作符从大的方面来讲可以分为两类：最好或必须作为类的成员函数的，以及相反。而具体地讲，最好或必须作为类的成员函数的有赋值操作符 ( = ) 、下标操作符 ( \[\] )  、调用操作符 ( () ) 、成员访问箭头操作符 ( -> ，目前列出的操作符都必须为成员函数 )  、星号解引用操作符 ( \* ) 、复合赋值操作符 ( += 等 ) 、自增、自减。其它的一些操作符，如算术操作符、相等操作符、关系操作符和位操作符，最好定义为非成员函数，在这种情况下，通常需要将其定义为类的友元函数。当然，还有一些是不建议重载的操作符，如逗号、取地址运算符和逻辑运算符等。

**\[2\] 赋值操作符**

赋值操作符必须是类的成员函数，因为编译器需要知道类是否有赋值操作符这个信息。并且，赋值操作符必须返回对 \*this 的引用，也就是左操作数 ( 对象自身 ) 的引用。

同样的，复合赋值操作符也应返回对 \*this 的引用。

如下是一段示例代码：

\#include <iostream> using namespace std; class Demo \{ public: Demo():val(0)\{\} Demo(int t): val(t)\{\} Demo(const Demo &demo)\{ val = demo.val; \} ~Demo()\{\} Demo& operator=(const Demo &demo)\{ val = demo.val; return \*this; \} Demo& operator+=(const Demo &demo)\{ val += demo.val; return \*this; \} void showVal()\{ cout << val << endl; \} private: int val; \}; int main()\{ Demo d1 = 2;// 首先调用接受整型参数的构造函数创建一个临时对象，再调用复制构造函数 d1.showVal(); Demo d2; d2 += d1;// 使用复合赋值操作符 d2.showVal(); return 0; \}

通常定义了赋值操作符，那么接着定义复制构造函数和复合赋值操作符是比较合理的。接着又为了体现复制构造函数的运用，直接在实例化 d1 的时候使用了 Demo d1 = 2; 这样的语句，就类似 string str = “hello”; 先调用对应参数的构造函数创建临时对象再调用复制构造函数。

**\[3\] 下标操作符**

下标操作符也必须定义为类的成员函数。并且，下标操作符有个需要注意的问题是，当它出现在赋值操作符的任意一边时都应该能正常工作，所以下标操作符应该返回引用，这样才能得到左值，使得下标操作符可以出现在赋值操作符的任意一边。

可以使用下标操作符还保证不非法越界：

\#include <iostream> using namespace std; class Demo \{ public: Demo(): flag(false)\{\} Demo(int sz): flag(true), size(sz)\{ p = new int\[sz\]; \} ~Demo()\{if(flag) delete \[\]p;\} int& operator\[\](const int index)\{ if(flag)\{ if(index >= size)\{/\* 非法越界处理代码 \*/\} else return p\[index\]; \} \} private: bool flag;// 需要有个标志判断是否有为 p 非配空间，避免非法访存 int \*p; int size; \}; int main()\{ Demo d1(3); d1\[0\] = 1; int t = d1\[0\]; return 0; \}

**\[4\] 箭头和星号操作符**

箭头操作符必须定义为类成员函数，而星号操作符则无此要求。有了这两种操作符可以重载，就可以使类表现得像指针一样，或者也可以称其为指针型的类，由此可以实现如 smart pointer 这种虽然号称智能指针但也是智能得有限的类。而 STL 中的迭代器就是一个典型的应用：

\#include <iostream> \#include <vector> using namespace std; int main () \{ vector<int> myvector; for (int i=1; i<=5; i++) myvector.push\_back(i); vector<int>::iterator it; cout << "myvector contains:"; for ( it=myvector.begin() ; it < myvector.end(); it++ ) cout << " " << \*it; cout << endl; return 0; \}

**\[5\] 算术操作符和关系操作符**

算术操作符和关系操作符一般应定义为非成员函数。其中为了保持与内置操作符一致，加法不返回引用。并且，如果可以的话，使用复合赋值操作符来实现算术操作符会更有效率。

相等操作符和不等操作符一般也是相生的，因为需要其一时往往需要另一，并且往往其中一个操作符是调用另一个操作符实现的。

而当使用的容器运作于某些算法需要关系操作符时，如小于操作符，定义该种关系操作符往往会使得代码更加有效率以及简洁。

**\[6\] 自增、自减操作符**

自增、自减操作符的重载可以使得一个类表现得如整型一般，从而可以作为迭代器，并且又分为前缀和后缀两种运算。

上一段代码（关于星号和箭头操作符）中就有使用到重载自增操作符。通常这种应用是通过 3 个指针来实现的，一个是 begin ，一个是 current ，还有一个是 end 。当然名称不一定如此。首先使用 begin 指针确定迭代开始的初始位置，并使用 end 指针限定范围，最后通过 current 指针遍历元素。

为了与内置类型一致，或者说为了保持习惯用法，前缀式操作符应该返回发生改变（增或减）后的对象的引用，而后缀式操作符应该返回旧值。

另外，为了区分前缀式操作符和后缀式操作符，指定了后缀式操作符函数接收一个无用的 int 型形参，形如 operator++(int) 表示后缀式操作符，而 operator++() 表示前缀式操作符。

**\[7\] 输入输出操作符**

上面提了许多，但想来最常用的重载操作符可能是输入输出操作符，并且这二者最好定义为非成员函数，使其符合使用标准。

从标准使用的角度来讲，输出操作符应该接受 ostream& 作为第一个形参，并返回对该形参的引用：

\#include <iostream> using namespace std; class Demo \{ public: Demo(): p(0)\{\} ~Demo()\{\} friend ostream& operator<<(ostream &os, const Demo &demo); private: int p; \}; ostream& operator<<(ostream &os, const Demo &demo)\{ os << demo.p; return os; \} int main()\{ Demo d1; cout << d1 << endl; return 0; \}

而输入操作符也具有相同模式：接受 istream& 参数作为第一形参并返回该形参的引用。此外，输入操作符还需要注意的是读入过程的错误处理。

**\[8\] 调用操作符**

最后一个提及的重载操作符是调用操作符，它必需作为成员函数，而且因为作用同函数类似，所以具有调用操作符的类经实例化而得的对象也被称为函数对象（ function object ）。

\#include <iostream> using namespace std; class Demo \{ public: int operator()(int m, int n)\{ return m>n ? m:n; \} \}; int main()\{ Demo d1; cout << d1(2,3) << endl; return 0; \}

如上，使用的是 Demo 类的调用运算符，功能就好像一个返回较大值的函数。

[http_blog.csdn.net_jasonblog]: http://blog.csdn.net/jasonblog