C++ primer 箭头操作符重载心得体会

C++primer第四版445页中，重载箭头操作符一段比较晦涩难懂，在看过某大婶的博客，然后加上自己的理解，得如下心得体会：

《C++primer》中原文如下：

-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------（割割更健康）

重载箭头操作符

 

箭头操作符与众不同。它可能表现得像二元操作符一样：接受一个对象和一个成员名。对对象解引用以获取成员。不管外表如何，箭头操作符不接受显式形参。

这里没有第二个形参，因为 -> 的右操作数不是表达式，相反，是对应着类成员的一个标识符。没有明显可行的途径将一个标识符作为形参传递给函数，相反，由编译器处理获取成员的工作。

当这样编写时：

     point->action();

由于优先级规则，它实际等价于编写：

     (point->action)();

 

换句话说，我们想要调用的是对 point->action 求值的结果。编译器这样对该代码进行求值：

1.如果 point 是一个指针，指向具有名为 action 的成员的类对象，则编译器将代码编译为调用该对象的 action 成员。

2.否则，如果 point(注：中文版误写为action) 是定义了 operator-> 操作符的类的一个对象，则 point->action 与 point.operator->()->action 相同。即，执行 point 的 operator->()，然后使用该结果重复这三步。

3.否则，代码出错。

对重载箭头的返回值的约束

 

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

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

 

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

---------------------------------------------------------------------------------------------------------------------------------------------------------------(割割更健康)

1.重载前，箭头操作符是二元操作符，左操作数为指向类的地址，右操作数为相应类的成员。箭头操作符先对地址进行解引用获得类，再调用类的成员。

2.重载后，箭头操作符为一元操作符。

3. 对于 point->action()，其执行步骤如下：先调用point的operator->（）函数，如果该函数返回一个指针p，则调用内置类型的箭头操作符执行

p->action()，结束操作；如果返回的是类A，则表达式变为A->action()，再调用A的operator->（）函数，如果该函数返回的还是类，则以此类推，不断调用返回的类的operator->（）函数，如果返回的是指针p，则调用内置类型的箭头操作符执行p->action()，结束操作。总之，若返回类，则一直循环，直到返回指针，调用内置箭头操作符，结束操作。

大婶还举了一个例子如下，个人觉得非常形象，如下：

#include "stdafx.h"
#include<iostream>
using namespace std;
class A{
public: void action(){cout<<"This is the action in A !"<<endl;}
};
class B{
A a;
public: A* operator->(){return &a;}
void action(){cout<<"This is the action in B !"<<endl;}
};
class C{
B b;
public: B operator->(){return b;}
void action(){cout<<"This is the actin in C !"<<endl;}
};

int  main( )
{C* pc= new C;
pc->action();
C c;
c->action();
return 0;
}
执行结果：

C的operator->()返回的是类B的对象，B的operator->()返回的是指向类A对象的指针，所以执行c->action()的过程如下：先调用c.operator->()，返回类B的对象b，接着调用b.operator->(),返回指向对象a的指针，此时调用内置箭头操作符，执行A的action（），结束操作。