编辑“︁C++ 成员访问运算符重载”︁（章节）

== 深入理解 ==

=== 运算符重载的限制 ===
* 只能作为成员函数重载，不能作为全局函数
* 必须返回一个可以应用`->`运算符的对象（通常是指针）
* 不能重载点运算符（`.`），这是C++语言的限制

=== 运算符链式调用 ===
当重载`->`运算符时，编译器会自动对返回值再次应用`->`运算符，直到最终得到一个普通指针。这意味着你可以创建多层代理对象。

考虑以下示例：

<syntaxhighlight lang="cpp">
#include <iostream>

struct Inner {
    void show() { std::cout << "Inner::show()" << std::endl; }
};

struct Middle {
    Inner* inner;
    Inner* operator->() { return inner; }
};

struct Outer {
    Middle middle;
    Middle operator->() { return middle; }
};

int main() {
    Inner inner;
    Outer outer;
    outer.middle.inner = &inner;
    
    outer->show();  // 等价于 outer.operator->().operator->()->show()
    return 0;
}
</syntaxhighlight>

'''输出:'''
<pre>
Inner::show()
</pre>

'''解释:'''
1. `outer->show()`首先调用`outer.operator->()`，返回`Middle`对象
2. 然后对`Middle`对象调用`operator->()`，返回`Inner*`
3. 最后在`Inner*`上调用`show()`