成员访问(->)操作符的重载

源地址:http://blog.chinaunix.net/xmlrpc.php?r=blog/article&uid=28662931&id=3498450

(参考了C++primer)

      箭头(->)操作符,看起来很像二元操作符,左操作数是类对象,右操作数是类成员,即使如此,箭头操作符的重载函数是没有第二个形参的(第一个是隐含形参this),理解起来有点难度;

  函数语句为:

    a->b;(其中,b可以是函数或者成员;)

    步骤1. 如果a是指针,指向一个具有成员b的类对象,那么a->b返回a类型的成员b,至此,语句结束;

    步骤2. 如果a是一个对象(对象必须重定义了“operator->”,否则报错),那么就调用a的operator->()函数,返回值:如果是指针则继续执行步骤1,如果是对象则继续执行步骤2,直到最终走到指针结束。

实例:


#include   
#include   
  
using namespace std; 

class A
{
   public:
     void Printf() {cout << "I am A " << endl;}
};
class B
{
   public:
      void Printf() {cout << "I am B " << endl;}
      A* operator->() { return &m_A;}
   private:
     A m_A;
};
class D
{
   public:
     void Printf() {cout << "I am C " << endl;}
     B* operator->() { return &m_B; }   // 返回(&m_B)的解引用
   private:
     B m_B;
};
class E
{
   public:
      void Printf() {cout << "I am E " << endl;}
     B& operator->() { return m_B; }      // 返回 m_B 的引用
   private:
        B m_B;
};
int main()
{
 D d;
 d->Printf();                                    //  I am B
 d.operator->()->Printf();                //  I am B
 d->operator->()->Printf();            //  I am A
 E e;
 e->Printf();            //  I am A
 return 1;
}

解析:

1.  d->Printf();   d是对象,执行d的“opterator->()" 成员函数,函数返回B*,即B类的指针,执行步骤1,执行Printf()成员,输出"  I am B";

2.  d.operator->()->Printf(); 等价于d->Printf();语句,

3.  d->operator->()->Printf();  按照结合性,划分执行循序:((((d->)operator->())->)Printf());  (d->)中d是对象,执行d的“opterator->()" 成员函数,函数返回B*(pB)指针; 接着按照步骤1执行pB的operator->() 成员函数,返回A*(pA)指针,pA->Printf();pA是指针,按照步骤1执行pA的成员函数Printf(),输出" I am A"

4. e->Printf();  e是对象,执行e的“opterator->()" 成员函数,函数返回B&(b),b是对象,再次执行b的“opterator->()" 成员函数,返回A*(pA)指针,按照步骤1,执行函数Printf(),输出 “ I am A ”;

猜你喜欢

转载自blog.csdn.net/wy11933/article/details/71171520