转自: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->()的过程,最后再使用一次内置含义的箭头操作符。
原文:http://www.cnblogs.com/DLzhang/p/4005386.html