包含对其他对象的引用的对象的深层副本

Question

我有一个“sum”类，它包含两个对现有整数的引用（比如说）。我想创建一个深度复制整数的“复制”方法。由于智能指针，我认为我永远不必在我的代码中手动 delete 对象，但我必须在这个解决方案中。此外，对于如此微不足道的任务（我需要重复几节课）来说，它太复杂了。有没有更直接的解决方案？

注意：我不想为每个对象添加一个 bool 成员（标志）以确定是否必须删除整数（在我的情况下，它的开销并不比析构函数中的 std::set 检查开销更好）

#include <set>

struct sum {
   const int &a, &b;
   static std::set<const int*> allocated_ints;

   sum(const int& a, const int&b): a(a), b(b) {}

   sum copy() const {
       sum res(*new const int(a), *new const int(b));
       allocated_ints.insert(&res.a);
       allocated_ints.insert(&res.b);
       return res;
   }

   ~sum() {
       if (allocated_ints.count(&this->a)) {
           delete &this->a;
           delete &this->b;
           allocated_ints.erase(&this->a);
           allocated_ints.erase(&this->b);
       }
   }

};

std::set<const int*> sum::allocated_ints;

Answer 1

我认为你混淆了两个不相容的概念。

如果您通过引用进行初始化，您应该引用其生命周期已经定义并且应该比您的对象更长的现有对象。

如果你想为你的对象创建一个副本，因为它引用了东西，你的副本也将引用那个东西。

如果您想拥有自己的动态提供的对象，您应该为此使用指针，并将它们作为指针获取（并在销毁时删除它们）。然后副本可以深度创建指向对象的副本（或者可以使用引用计数或 shared_ptr 共享它们）。

您实际上是在混合这两种情况，从而导致可能出现的问题：思考：

int main()
{
    const int x=5; //whatever it is
    Foo foo(x);
    // ...
} //danger here! ~Foo() will delete x

Answer 2

引用不会被深度复制，因为它们指向一个对象。因此，您修复的代码应如下所示：

struct sum {
   const int &a, &b;

   sum(const int& a, const int&b): a(a), b(b) {}

   sum copy() const {
       sum res(a,b);
       return res;
   }

   ~sum() {
   }

};

Answer 3

常量的“深层”副本有什么意义？无论如何，常量都将具有相同的值！所以只需复制（即别名）const-references：

struct Foo
{
  const int & n;

  Foo(const int & m) : n(m) { }
  Foo(const Foo & rhs) : n(rhs.n) { }

  Foo copy() const { Foo f(*this); /* ... */ return f; }
  // ...
};

如果您在从具有对局部变量的引用的函数返回副本时担心悬空引用，那么不要让类具有 const 引用，而是副本。这样，您自然而然地为您的班级提供了您似乎想要的复制语义。

如果您认为您可以根据您的使用方式制作一个不拥有或变为拥有的混合体，那么我会说这是您应该避免的糟糕设计。确定您的班级是否拥有数据的所有权，然后继续使用它。