有没有办法使用预先存在的对象作为 C++ 中第一个对象的子对象来创建对象？

Question

所以，假设我们有 class Parent 和继承自 class Parent 的 class Offspring。据我了解，当我创建一个Offspring 对象时，还会创建一个Parent 对象并与Offspring 对象相关联。问题是，如果我已经创建了一个独立的 Parent 对象，我可以将其用作 Parent 对象，该对象在创建时包含在 Offspring 对象中吗？

即是否可以不在Offspring 对象内创建新的Parent 对象，而使用原始（和独立）代替？只是将原始Parent 对象的数据复制到在Offspring 中创建的对象显然不是我想要的。

Answer 1

这样做是有可能的。如果 Parent 有一个移动构造函数，那么你可以这样写：

class Offspring : public Parent {
  double m_x;
 public:
  Offspring(Parent && p, double x)
      : Parent(std::move(p))
      , m_x(x) 
  { }
}

我认为这是在不做危险和粗略的事情的情况下尽可能接近的。虽然这种技术可能无法避免复制 Parent 的数据，但它可以更有效。例如，如果 Parent 是 std::vector，那么上面的代码将通过从现有向量移动来初始化 Offspring 的基。这将只需要移动 24 字节的数据，而不是向量指向的所有数据。

我认为您可能想阅读以上移动语义的更多内容，看看它如何适合您的课程。

Answer 2

我相信您想要的是能够使用现有的Parent 实例和多个Offspring。我这样说是因为你似乎对复制感到担忧，而这通常不应该被关注。

您可以将Parent 定义为纯接口，并将接口本身的实现定义为表示独立的父级。

struct Parent {
    virtual ~Parent () = default;
    virtual void foo () = 0;
    //...
};

class Mother : public Parent {
public:
    void foo () { /* ... */ }
    //...
};

然后，您的Offspring 可以接受Parent 来委派实施。

class Offspring : public Parent {
    Parent &p_;
public:
    Offspring (Parent &p) : p_(p) {}
    void foo () { p_.foo(); }
    //...
};

所以现在，一个Mother 可以是多个Offspring 的父级。

Mother m;
Offspring o1(m);
Offspring o2(m);