重载运算符之->

原文地址：
http://blog.chinaunix.net/xmlrpc.php?r=blog/article&uid=28662931&id=3498450
箭头（->）操作符，看起来很像二元操作符，左操作数是类对象，右操作数是类成员，即使如此，箭头操作符的重载函数是没有第二个形参的（第一个是隐含形参this），理解起来有点难度。
（个人理解：因为->运算符操作过程既包含解引用一个指针，还包含访问成员（.运算符的功能），所以当解引用得到的不是一个指针，其操作并没有完成，所以继续调用对象定义的箭头运算符，只有当访问到了成员，一个箭头运算符的使命才算完成，所以没有函数执行完仍然执行一说。）

函数语句为：
a->b；（其中，b可以是函数或者成员）
步骤1. 如果a是指针，指向一个具有成员b的类对象，那么a->b返回a类型的成员b，至此，语句结束；
步骤2. 如果a是一个对象（对象必须重定义了“operator->”，否则报错），那么就调用a的operator->（）函数，返回值：如果是指针则继续执行步骤1，如果是对象则继续执行步骤2，直到最终走到指针结束。

实例：

#include <iostream>  #include <stdlib.h>  using namespace std; class A{   public:     void Printf() {cout << "I am A " << endl;}};class B{   public:      void Printf() {cout << "I am B " << endl;}      A* operator->() { return &m_A;}   private:      A m_A;};class D{   public:     void Printf() {cout << "I am D " << endl;}     B* operator->() { return &m_B; }  //返回（&m_B）的解引用   private:     B m_B;};class E{   public:      void Printf() {cout << "I am E " << endl;}      B& operator->() { return m_B; }      // 返回 m_B 的引用   private:      B m_B;};int main(){  D d;  d->Printf();                            // I am B  d.operator->()->Printf();               // I am B  d->operator->()->Printf();              // I am A  E e;  e->Printf();                            // I am A  return 0;}

解析：
1. d->Printf(); d是对象，执行d的“opterator->（）” 成员函数，函数返回B*，即B类的指针，执行步骤1，执行Printf()成员，输出” I am B”；
2. d.operator->()->Printf(); 等价于d->Printf();语句，
3. d->operator->()->Printf(); 按照结合性，划分执行循序：（（（（d->）operator->()）->）Printf()）; （d->）中d是对象，执行d的“opterator->（）” 成员函数，函数返回B*（pB）指针; 接着按照步骤1执行pB的operator->() 成员函数，返回A*(pA)指针，pA->Printf()；pA是指针，按照步骤1执行pA的成员函数Printf()，输出” I am A”
4. e->Printf(); e是对象，执行e的“opterator->（）” 成员函数，函数返回B&（b），b是对象，再次执行b的“opterator->（）” 成员函数，返回A*（pA）指针，按照步骤1，执行函数Printf()，输出 “ I am A ”；