C++学习笔记42——重载操作符之箭头操作符

 箭头（->）操作符，看起来很像二元操作符，左操作数是类对象，右操作数是类成员，即使如此，箭头操作符的重载函数是没有第二个形参的（第一个是隐含形参this），理解起来有点难度；
 函数语句为：
 a->b；（其中，b可以是函数或者成员；）
 步骤1. 如果a是指针，指向一个具有成员b的类对象，那么a->b返回a类型的成员b，至此，语句结束；

 步骤2. 如果a是一个对象（对象必须重定义了“operator->”，否则报错），那么就调用a的operator->（）函数，返回值：如果是指针则继续执行步骤1，如果是对象则继续执行步骤2，直到最终走到指针结束。 

与此相对应，重载的箭头操作符的返回类型，只能是以下两种：

（1）返回指向类类型的指针；

（2）返回定义了自己的箭头操作符的类类型的对象；

示例：

/*******************************************************************/
//   重载箭头操作符
/*******************************************************************/
//类的定义，只有成员函数，没有数据成员
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;
	B b;
	d->Printf();	 // I am B
	d.operator->()->Printf(); // I am B
	d->operator->()->Printf(); // I am A
	E e;
	e->Printf(); // I am A
	b = e.operator->(); //OK
	//b = e->();//error!
	//b = e->;//error!
	b.Printf(); // I am B 调用B自身的成员函数
	b->Printf();// I am A 先返回A，再指向A的成员函数
}

解析：
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 ”；