《C++覆辙录》——2.12：晦涩难懂的operator ->-CSDN博客

本节书摘来自异步社区出版社《C++覆辙录》一书中的第2章，第2.12节，作者：【美】Stephen C. Dewhurst（史蒂芬 C. 杜赫斯特），更多章节内容可以访问云栖社区“异步社区”公众号查看。

2.12：晦涩难懂的operator ->

内建的operator ->是二元的，左手边的操作数是一个指针，右手边的操作数是一个class成员的名字。而重载版本的operator ->则是一元的：

class Ptr{
 public:
　 Ptr( T *init);
　 T *operator ->();
　 // ...
 private:
　 T *tp_;
};```
对重载版本的`operator->`的调用，必须返回一个可以用直接或间接地调用内建的`operator->`访问其成员的对象26：

Ptr p( new T );
p->f(); // 表示"p.operator ->()->f()"！`
用某种视角来看，我们可以把实际发生的事理解成词法单位->没有被“吃掉”，而是保留下来“派真正的用场”，如同内建的operator ->一样。典型地，重载版本的operator ->被赋予了一些额外的语义，以支持“智能指针”型别：

T *Ptr::operator ->(){
　 if ( today() == TUESDAY ) 
　　　　 abort();
　 else
　　　　 return tp_;
}```
前面说过了，重载版本的operator ->必须返回支持成员访问操作的“某物”。此“某物”并非一定要是个内建的指针。它亦可以是一个重载了``operator ->`的` class`对象：

class AugPtr{
public:
　 AugPtr(T *init) : p_(init){}
　 Ptr &operator ->();
　 // ...
private:
　 Ptr p_;
};
1.jpg gotcha24/ptr.cpp

Ptr &AugPtr::operator ->(){
　 if (today() == FRIDAY)
　　　 cout<<’a’<　 return p_;
}`
这样就可以支持智能指针的级联应用（cascading）了：

AugPtr ap( new T );
ap->f(); // 实际上是"ap.operator ->().operator ->()->f()"！```
请注意，operator ->的调用序列的触发（`activation`）总是由包含`operator ->`定义的对象27静态决定的，而且该调用序列总是终结于返回指涉到`class`对象的内建指针的调用。举个例子，对AugPtr调用operator ->总是会触发以下调用序列：先是调用AugPtr:`:operator->`，接着调用Ptr::operator->，再接着调用T *型别内建指针上的Ptr::`operator->`（若要检视一个更具实践参考意义的例子，请参见常见错误83）。