Operador de acceso de miembro de clase (->) Sobrecarga en C ++

El operador de acceso de miembro de clase (->) puede estar sobrecargado pero es un poco más complicado. Se define para dar a un tipo de clase un comportamiento "similar a un puntero". El operador -> debe ser una función miembro. Si se usa, su tipo de retorno debe ser un puntero o un objeto de una clase a la que pueda aplicar.

El operador-> se usa a menudo junto con el operador de desreferencia de puntero * para implementar "punteros inteligentes". Estos punteros son objetos que se comportan como punteros normales, excepto que realizan otras tareas cuando accede a un objeto a través de ellos, como la eliminación automática de objetos cuando se destruye el puntero o cuando se usa para apuntar a otro objeto.

El operador de desreferenciación-> se puede definir como un operador de sufijo unario. Es decir, dada una clase -

class Ptr {
   //...
   X * operator->();
};

Objetos de clase Ptr se puede utilizar para acceder a miembros de la clase Xde una manera muy similar a la forma en que se utilizan los punteros. Por ejemplo

void f(Ptr p ) {
   p->m = 10 ; // (p.operator->())->m = 10
}

La declaración p-> m se interpreta como (p.operator -> ()) -> m. Usando el mismo concepto, el siguiente ejemplo explica cómo un operador de acceso de clase -> puede sobrecargarse.

#include <iostream>
#include <vector>
using namespace std;

// Consider an actual class.
class Obj {
   static int i, j;
   
public:
   void f() const { cout << i++ << endl; }
   void g() const { cout << j++ << endl; }
};

// Static member definitions:
int Obj::i = 10;
int Obj::j = 12;

// Implement a container for the above class
class ObjContainer {
   vector<Obj*> a;

   public:
      void add(Obj* obj) { 
         a.push_back(obj);  // call vector's standard method.
      }
      friend class SmartPointer;
};

// implement smart pointer to access member of Obj class.
class SmartPointer {
   ObjContainer oc;
   int index;
   
   public:
      SmartPointer(ObjContainer& objc) { 
         oc = objc;
         index = 0;
      }
   
      // Return value indicates end of list:
      bool operator++() { // Prefix version 
         if(index >= oc.a.size()) return false;
         if(oc.a[++index] == 0) return false;
         return true;
      }
   
      bool operator++(int) { // Postfix version 
         return operator++();
      }
   
      // overload operator->
      Obj* operator->() const {
         if(!oc.a[index]) {
            cout << "Zero value";
            return (Obj*)0;
         }
      
         return oc.a[index];
      }
};

int main() {
   const int sz = 10;
   Obj o[sz];
   ObjContainer oc;
   
   for(int i = 0; i < sz; i++) {
      oc.add(&o[i]);
   }
   
   SmartPointer sp(oc); // Create an iterator
   do {
      sp->f(); // smart pointer call
      sp->g();
   } while(sp++);
   
   return 0;
}

Cuando se compila y ejecuta el código anterior, produce el siguiente resultado:

10
12
11
13
12
14
13
15
14
16
15
17
16
18
17
19
18
20
19
21