"->"运算符应该怎么重载？

pupilzeng

看到auto_ptr里面的声明是这样的：
X* operator->() const;
Returns the underlying pointer.

有点不能理解，有这样一段代码

1. 
   
2. //
   
3.    // auto_ptr.cpp
   
4.    //
   
5.    #include <iostream.h>
   
6.    #include <memory>
   
7. 
   
8.    //
   
9.    // A simple structure.
   
10.    //
    
11.    struct X
    
12.    {
    
13.        X (int i = 0) : m_i(i) { }
    
14.        int get() const { return m_i; }
    
15.        int m_i;
    
16.    };
    
17. 
    
18.    int main ()
    
19.    {
    
20.       //
    
21.       // b will hold a pointer to an X.
    
22.       //
    
23.       auto_ptr<X> b(new X(12345));
    
24.       //
    
25.       // a will now be the owner of the underlying pointer.
    
26.       //
    
27.       auto_ptr<X> a = b;
    
28.       //
    
29.       // Output the value contained by the underlying pointer.
    
30.       //
    
31.       cout << a->get() << endl;
    
32.       //
    
33.       // The pointer will be deleted when a is destroyed on
    
34.       // leaving scope.
    
35.       //
    
36.       return 0;
    
37.    }
    
38. 
    

复制代码

在这里按照声明"a->"应该是返回一个X*,那么它怎么能直接就跟get()呢，而不能使用->get()?

kj501

如果你把a->get()换成(a.operator->())->get()，照样能编译通过。可见，a本身并没有get()这样的成员函数，是编译器自动地为->返回的X*调用那些函数。

pupilzeng

但是我如果写成(a->)->get()却无法通过，这个跟(a.operator->())->get()
应该是一样的呀。

kj501

那里有这样的语法，你见过有(a->)这样使用->的吗？运算符重载是为了让代码更易写易读，不是产生一种新的语法形式。

pupilzeng

这个我知道，但是运算符重载的时候，a->不就相当于是a.operator->()吗？

kj501

但是在使用的形式上仍然要按照指针的形式来使用。当a->get()时，编译时知道把a->转换成a.operator->()再根据返回值来调用get()。如果只是a->，这种形式是没有意义的，编译器找不到->所指向的对象，只能　认为是语法错误。