在删除两次指针时堆积损坏

Question

两个类A和B类共享指向第三类C的指针，当A或B删除A或B时，它们也称为Delete C。

当仅删除A或B中的任何一个时，就不会观察到问题。 在这种情况下，一个例外是被抛弃了。我专门尝试将C类指针设置为NULL，并进行了无效检查以避免这种特定情况，但是此无效检查不起作用。

在这种情况下，我已经阅读了该共享指针，但我不确定如何正确实施。看来需要更改整个代码库以包含各处的共享_ptr，因为所有C类对象都将更新为shared_ptr。有什么方法可以使用shared_ptr仅在不更改所有代码的情况下存储此指针？

编辑： 我专门删除了C的分配运算符和C的复制构造函数，以避免情况由于复制而具有不同的指针。可以做其他任何事情以防止约翰指向答案的复制

class A{
  C* c;
}
~A(){
  if(C != NULL){
  delete C;
  C = NULL;
 }
}

class B{
 C* c;
}

~B(){
  if(C != NULL){
  delete C;
  C = NULL;
 }
}

Answer 1

a和b具有指向c的单独的副本。因此，将该指针的一个类副本设置为null对另一个指针没有影响，您仍然会获得双重删除。

您基本上有四个选项

1. 决定一个类“拥有”指针，该类将删除它，而另一个则不会。这里的危险是，如果拥有类删除指针，然后非持有类使用指针，那么您将获得另一种错误。

2. 使用指针的共享所有权，因此只有在使用其最后的对象被破坏时，它才会被删除。这样做的简单方法是使用std :: shared_ptr

     #include＆lt; memory＆gt;
   
   A类{
       std :: shared_ptr＆lt; c＆gt; c;
   };
   
   B级{
       std :: shared_ptr＆lt; c＆gt; c;
   };
    

3. 在将指针复制到第二类之前，请克隆。大致喜欢

   的东西

     ac = new C（）;
    bc = new C（*ac）;
    

两个类都获得c对象的单独（但相等）的副本。但这更改了程序的语义，也许您实际上想要a和b共享相同的c对象。

4. 此选项（理查德·克里特（Richard Critten）建议）具有类具有std :: shared_ptr和类 b 具有std :: feek_ptr。这意味着a拥有c对象，当最后一个a对象被销毁时，c对象将也被摧毁。剩下的任何b对象都不会阻止c对象的破坏，但是，b对象可以检查c 对象已被破坏。在代码中，它看起来像这样

     #include＆lt; memory＆gt;
   
   A类
   {
       std :: shared_ptr＆lt; c＆gt; c;
   };
   
   b
   {
       std :: feek_ptr＆lt; c＆gt; c;
   };
   
   c
   {
        C（任何）;
   };
   
   a a;
   b b;
   //创建共享指针
   ac = std :: make_shared＆lt; c＆gt;（whyther）;
   //创建一个较弱的指针，涉及同一C对象
   bc = ac;
   
   //从B中的弱指针创建共享指针
   auto c = bclock（）;
   //检查指针是否有效
   如果（c）
   {
        //与C一起做某事
        c-＆gt; somings（）;
   }
   别的
   {
        // c对象已被破坏
   }