C++重载++和--(自增和自减运算符)

自增运算符++、自减运算符--都可以被重载,但是它们有前置、后置之分。

++为例,假设 obj 是一个 CDemo 类的对象,++objobj++本应该是不一样的,前者的返回值应该是 obj 被修改后的值,而后者的返回值应该是 obj 被修改前的值。如果如下重载++运算符:
  1. CDemo & CDemo::operator ++ ()
  2. {
  3. //...
  4. return * this;
  5. }
那么不论obj++还是++obj,都等价于obj.operator++()无法体现出差别。

为了解决这个问题,C++ 规定,在重载++--时,允许写一个增加了无用 int 类型形参的版本,编译器处理++--前置的表达式时,调用参数个数正常的重载函数;处理后置表达式时,调用多出一个参数的重载函数。来看下面的例子:
  1. #include <iostream>
  2. using namespace std;
  3. class CDemo {
  4. private:
  5. int n;
  6. public:
  7. CDemo(int i=0):n(i) { }
  8. CDemo & operator++(); //用于前置形式
  9. CDemo operator++( int ); //用于后置形式
  10. operator int ( ) { return n; }
  11. friend CDemo & operator--(CDemo & );
  12. friend CDemo operator--(CDemo & ,int);
  13. };
  14. CDemo & CDemo::operator++()
  15. {//前置 ++
  16. n ++;
  17. return * this;
  18. }
  19. CDemo CDemo::operator++(int k )
  20. { //后置 ++
  21. CDemo tmp(*this); //记录修改前的对象
  22. n++;
  23. return tmp; //返回修改前的对象
  24. }
  25. CDemo & operator--(CDemo & d)
  26. {//前置--
  27. d.n--;
  28. return d;
  29. }
  30. CDemo operator--(CDemo & d,int)
  31. {//后置--
  32. CDemo tmp(d);
  33. d.n --;
  34. return tmp;
  35. }
  36. int main()
  37. {
  38. CDemo d(5);
  39. cout << (d++ ) << ","; //等价于 d.operator++(0);
  40. cout << d << ",";
  41. cout << (++d) << ","; //等价于 d.operator++();
  42. cout << d << endl;
  43. cout << (d-- ) << ","; //等价于 operator-(d,0);
  44. cout << d << ",";
  45. cout << (--d) << ","; //等价于 operator-(d);
  46. cout << d << endl;
  47. return 0;
  48. }
程序运行结果:
5,6,7,7
7,6,5,5

本程序将++重载为成员函数,将--重载为全局函数。其实都重载为成员函数更好,这里将--重载为全局函数只是为了说明可以这么做而已。

调用后置形式的重载函数时,对于那个没用的 int 类型形参,编译器自动以 0 作为实参。 如第 39 行,d++等价于d.operator++(0)

对比前置++和后置++运算符的重载可以发现,后置++运算符的执行效率比前置的低。因为后置方式的重载函数中要多生成一个局部对象 tmp(第21行),而对象的生成会引发构造函数调用,需要耗费时间。同理,后置--运算符的执行效率也比前置的低。

前置++运算符的返回值类型是 CDemo &,而后置++运算符的返回值类型是 CDemo,这是因为运算符重载最好保持原运算符的用法。C++ 固有的前置++运算符的返回值本来就是操作数的引用,而后置++运算符的返回值则是操作数值修改前的复制品。例如:
  1. int a = 5;
  2. (++a) = 2;
上面两条语句执行后,a 的值是 2,因为 ++a 的返回值是 a 的引用。而
  1. (a++) = 2;
这条语句是非法的,因为 a++ 的返回值不是引用,不能作为左值。

--运算符的返回值类型的设定和++运算符一样。

在有的编译器(如Visual Studio)中,如果没有后置形式的重载,则后置形式的自增或自减表达式也被当作前置形式处理。而在有的编译器(如Dev C++)中,不进行后置形式的重载,则后置形式的表达式就会编译出错。