c++ 重载->

转自：这里

箭头操作符(->)的内置用法是，使用一个类对象的指针来调用所指对象的成员。左操作数为对象指针，右操作数为该对象的成员。

定义重载箭头操作符之后看起来就有点特别，既可用类对象的指针来调用，也可用类对象直接调用。

重载箭头操作符，首先重载箭头操作符必须定义为类成员函数。

箭头操作符与众不同。它其实是一元操作符，却表现得像二元操作符一样：接受一个对象和一个成员名。对对象解引用以获取成员。不管外表如何，箭头操作符不接受显式形参。
这里没有第二个形参，因为 -> 的右操作数不是表达式，相反，是对应着类成员的一个标识符。没有明显可行的途径将一个标识符作为形参传递给函数，相反，由编译器处理获取成员的工作。

对于形如point->member的表达式来说，point必须是二者之一：指向类对象的指针、一个重载了operator->() 的类对象。

=============================================================================================

根据point类型的不同，有如下两条作用规则：

1.如果point是指针，则按照内置的箭头运算符去处理。表达式等价于(*point).member。首先解引用该指针，然后从所得的对象中获取指定的成员。如果point所指的类没有名为member的成员，则编译器报错。

2.如果point是一个定义了operator->() 的类对象，则point->member等价于point.operator->() ->member。其中，如果operator->()的返回结果是一个指针，则转第1步；如果返回结果仍然是一个对象，且该对象本身也重载了operator->()，则重复调用第2步，否则编译器报错。最终，过程要么结束在第一步，要么无限递归，要么报错。

==============================================================================================

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

基于以上分析，我们可以调戏一下编译器，看一下它的智能程度如何。我们让operator->()返回对象本身，则可知这是一个无穷递归。

    #include <iostream>
     
    class myClass {
    public:
        myClass& operator->() {
            std::cout << "myClass ->() is called!" << std::endl;
            return *this;
        }
        void action() {
            std::cout << "myClass action() is called!" << std::endl;
            return;
        }
    };
     
    int main() {
        myClass obj;
        obj->action();
     
        return 0;
    }

编译器表现不错：error: circular pointer delegation detected

下面我们以一下正确的例子结束本篇：

    #include <iostream>
     
    class firstClass {
    public:
        firstClass* operator->() {
            std::cout << "firstClass ->() is called!" << std::endl;
            return this;
        }
        void action() {
            std::cout << "firstClass action() is called!" << std::endl;
            return;
        }
    };
     
    class myClass {
        firstClass firstObj;
    public:
        firstClass& operator->() {
            std::cout << "myClass ->() is called!" << std::endl;
            return firstObj;
        }
        void action() {
            std::cout << "myClass action() is called!" << std::endl;
            return;
        }
    };
     
    int main() {
        myClass obj;
        obj->action();
     
        return 0;
    }

调用结果为：

    myClass ->() is called!
    firstClass ->() is called!
    firstClass action() is called!