operator-重载问题总结（转）

编写程序的时候，想让一个对象表现的像一个指针，因此需要重载->运算符。因此写下了如下的代码。由于全部贴出程序比较多，用简化的代码说明一下：

class A

{

 public:

 int i;

A(){i = 100;} 

 void print( int a){printf("%d/n", a);}

A& operator->(){ return *this;}

};

int main()

{

 int ret;

A a;

ret = a->i;

a->print(200);

}

发现编译不过去，想一想也对， A& operator->()这个按照正常的重载方法必须要有参数，比如a->i，则应为A& operator->(int i)。a->print(200)，参数必须为函数。这又让我比较纠结了。考虑到这里想不"->"操作符的重载必然不是这种方法，但是我记得以前看过的书中又提到->重载的，却想不起来是那本书，在哪里。于是把c++ primer翻出来看了一下，没找到！又找了一下more effective c++也没找到。后来偶然在thinking in c++中看到了，虽然以前看过这本书，不过现在想来当时看的太不仔细了。不过由此也让我知道了->操作符重载与其他操作符重载不同的地方！

以下摘录于thinking in c++原文中部分描述。大概在280页的不常用的运算符章节

A pointer dereference operator must be a member function. It has additional, atypical constraints: It must return an object (or reference to an object) that also has a pointer dereference operator, or it must return a pointer that can be used to select what the pointer dereference operator arrow is pointing at. Here’s a simple example:

大致的意思就是重载->运算符一定是一个成员函数，它有额外的、非典型的限制：它必须返回一个对象（或对象的引用），该对象也有一个重载->运算符的函数；或者必须返回一个指针，被用于选择重载->箭头所指向的内容。

看完这段后，那么将我们的重载函数修改为A* operator->(){ return this;}应该就可以完成需要的行为了。下面给一段thinking in c++中的例子：

#include <iostream> 
#include <vector> 
#include "../require.h" 
using namespace std; 
 
class Obj { 
   static int i, j; 
public: 
   void f()  const { cout << i++ << endl; } 
   void g()  const { cout << j++ << endl; } 
}; 
 
// Static member definitions: 
int Obj::i = 47; 
int Obj::j = 11; 
 
// Container: 
class ObjContainer { 
   vector<Obj*> a; 
public: 
   void add(Obj* obj) { a.push_back(obj); } 
   friend class SmartPointer; 
}; 
 
class SmartPointer { 
  ObjContainer& oc; 
   int index; 
public: 
  SmartPointer(ObjContainer& objc) : oc(objc) { 
    index = 0; 
  } 
  // Return value indicates end of list: 
   bool operator++() { // Prefix 
    if(index >= oc.a.size())  return false; 
    if(oc.a[++index] == 0)  return false; 
     return true; 
  } 
   bool operator++(int) { // Postfix 
     return operator++(); // Use prefix version 
  } 
  Obj* operator->() const { 
    require(oc.a[index] != 0, "Zero value " 
      "returned by SmartPointer::operator->()"); 
     return oc.a[index]; 
  } 
}; 
 
int main() { 
  const int sz = 10; 
  Obj o[sz]; 
  ObjContainer oc; 
  for( int i = 0; i < sz; i++) 
    oc.add(&o[i]); // Fill it up 
  SmartPointer sp(oc); // Create an iterator 
  do { 
   sp->f(); // Pointer dereference operator call 
    sp->g(); 
  } while(sp++); 
}

使用ObjContainer的函数add()将指向这些对象的指针存储在类型为ObjContainer的容器中。ObjContainer看起来像一个指针数组，但却没有办法取回这些指针。然而，类SmartPointer被声明为友元类，所以它允许进入这个容器内。

在main()中，一旦Obj对象装入容器oc，一个SmartPointer类的SP就创建了，灵巧指针按下面的表达式进行调用：

    sp->f(); // Pointer dereference operator call 
    sp->g(); 
   这里尽管sp实际上并没有成员函数f()和g()，但指针间接引用运算符自动的为用SmartPointer::operator->返回的Obj*调用那么函数。

原文地址:http://wsqhs.spaces.live.com/blog/cns!94F639580F58209C!346.entry