Два указателя на тот же объект

Question

У меня есть два указателя, указывающих на один и тот же объект, и мне нужно их правильно удалить (удалить каждый объект A и внутренний объект B). Но проблема в том, что у общего объекта все еще есть память, выделенная после удаления: Висячий указатель. Как я могу избежать такой проблемы без использования интеллектуального указателя.

 class A 
     { 

     public: 
      class B 
      { 
      private: 
       A* m_x; 
       A* m_y; 
      public: 
       B(A* x, A* y); 
       ~B(); 
      }; 

      B* m_b; 
      A(){}; 
      void Join(A* other); 
      ~A(); 
     }; 

     void A::Join(A* person) 
     { 
      this->m_b= new A::B(this, person); 
      person->m_b= this->m_b; 
     } 

     A::~A() 
     { 
      if (m_b) 
      { 
      delete m_b; 
      m_b= NULL; 
      } 
     } 

     ... 

     A aa = new A(); 
     A cc = new A(); 
     aa->Join(cc); 
     delete aa 

     // here I have a problem in deleting the *m_b because it's deleted by the first A 
     delete cc; 

Answer 1

Без умных указателей, лучшее, что вы могли бы сделать, это разъединить ваш aa и cc во время разрушения. Но не делайте этого, используйте std::shared_ptr и забыть о подобных головных болей:

// annul pointers to this shared object 
B::detach() { 
    if (m_x) m_x->m_b = NULL; 
    if (m_y) m_y->m_b = NULL; 
} 

A::~A() { 
    // use a temporary pointer, because B::detach will annul the pointers here 
    if (m_b) { 
     B* tmp = m_b; 
     tmp->detach(); 
     delete tmp; 
    } 
} 

Такой код очень плохо. Это недостижимо, классы связаны, и я даже не уверен, что это правильно.