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

Question

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

注意：我不想向每个对象添加 bool 成员（标志）来确定是否必须删除 int（在我的情况下，这并不比 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

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

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 引用，而是使用副本。这样你就自然地为你的类提供了你似乎想要的复制语义。

如果你认为你可以制作一个混合体，它要么是非拥有的，要么是拥有的，具体取决于你如何使用它，那么我会说这是你应该避免的糟糕设计。决定你的类是否拥有数据的所有权，然后继续下去。

Answer 2

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

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

如果您想创建对象的副本，因为它引用某个东西，所以您的副本也将引用那个某个东西。

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

事实上，你正在混合这两件事，从而导致可能的问题：思考：

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

Answer 3

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

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() {
   }

};