转自：http://blog.csdn.net/custa/article/details/5674434 

primer 书上对重载该操作符的解释过于简单，但是总结性十分强：

重载箭头操作符必须返回指向类类型的指针，或者返回定义了自己的箭头操作符的类类型对象。

如果返回类型是指针，则内置箭头操作符可用于该指针，编译器对该指针解引用并从结果对象获取指定成员。如果被指向的类型没有定义那个成员，则编译器产生一个错误。

如果返回类型是类类型的其他对象（或是这种对象的引用），则将递归应用该操作符。编译器检查返回对象所属类型是否具有成员箭头，如果有，就应用那个操作符；否则，编译器产生一个错误。这个过程继续下去，直到返回一个指向带有指定成员的的对象的指针，或者返回某些其他值，在后一种情况下，代码出错。

----------------------------------------华丽分割线----------------------------------------

如果上面分割线之间的内容看懂了，下面的也就不用看了哈。

根据理解，定义了3个类，C包含B，B包含A。A、B、C都定义了一个action的成员函数。B和C都重载箭头操作符，不同的是B的重载箭头操作符返回的是A类对象的指针，而C的重载箭头操作符返回的是B类对象。

该解释十分详细

 1 #include <iostream> 2 using namespace std; 3  4 class A{ 5 public: 6     void action(){ 7         cout << "Action in class A!" << endl; 8     } 9 };10 11 class B{12     A a;13 public:14     A* operator->(){15         return &a;16     }17     void action(){18         cout << "Action in class B!" << endl;19     }20 };21 22 class C{23     B b;24 public:25     B operator->(){26         return b;27     }28     void action(){29         cout << "Action in class C!" << endl;30     }31 };32 33 int main(int argc, char *argv[])34 {35     C* pc = new C;36     pc->action();37     C c;38     c->action();    39     getchar();40     return 0;41 }

上面代码输出结果是：

Action in class C!
Action in class A!

其中的代码

 C* pc = new C;
 pc->action();

输出的结果是

Action in class C!

这个结果比较好理解，pc是类对象指针，此时的箭头操作符使用的是内置含义，对pc解引用然后调用对象的成员函数action。

 而下面的代码

 C c;
 c->action();

输出的结果是

Action in class A!

 其实c->action();的含义与c.operator->().operator->()->action();相同。

c是对象，c后面的箭头操作符使用的是重载箭头操作符，即调用类C的operator->()成员函数。此时返回的是类B的对象，所以调用类B的operator->()成员函数，B的operator->()返回的是指针，所以现在可以使用内置箭头操作符了。对B的operator->()返回的指针进行解引用，然后调用解引用后的对象的成员函数action，此时调用的就是类A的action()。这里存在一个递归调用operator->()的过程，最后再使用一次内置含义的箭头操作符。

C++学习之路： 特殊操作符->的重载