复制构造函数和组合

Question

我有A类和B类的组合关系，

class A
{
    A(); //default constructor  //EDIT
    A(const A &mA); // copy constructor //EDIT
    virtual ~A();
};


class B
{
B(A *pA); //constructor
B(const B &mB) //copy constructor
virtual ~B(); //EDIT: destructor to eliminate mA and to build the composition
A* mA;
};

我可以这样写复制构造函数吗：

B(const B &mB, A *pA)

我需要它来保持复制对象之间的组合。 这是错的吗？是否存在更好的解决方案？ 谢谢

编辑：我会尝试更好地解释我。我想要对象 mB 和对象 mA 的副本。但是如果在复制构造函数中我写了 mA =mB.mA，我会将地址复制到原始对象 mA。所以我认为我需要一个深层副本而不是一个燕子副本。我的困惑出现了，因为现在，从主开始，我首先复制对象 mA，然后复制 mB。这样做，我想我需要为复制的对象 mA 分配一个外部函数，如

foo(A *pA)

否则，如果我可以做一个 mB 的深拷贝，我就可以解决问题。这叫深拷贝吗？

附： A 和 B 是抽象类

Answer 1

没有。根据定义，复制构造函数不能像您描述的那样具有签名。以下是复制构造函数的一些有效签名：

B(const B &);
B(B &);   // Thanks Oli!

你为什么需要它？您可以通过执行以下操作访问复制构造函数中的 mA 成员（我可能犯了一些语法错误）：

B::B(const B & original)
{
    mA = original.mA;
}

Answer 2

你可能想多了。复制构造函数只需要将所有成员初始化为源对象的相应值，例如像这样：

B(B const & rhs) : mA(rhs.mA) { }

不过，这只是一个微不足道的副本，所以如果没有其他内容，那么最好不要编写任何复制构造函数。

另一方面，如果你想要一个深副本，它可能是这样的：

B(B const & rhs) : mA(::new A(rhs.mA)) { }

但是，其细节取决于类B 对指针mA 的实际所有权策略。根据这些细节，如有必要，不要忘记编写适当的析构函数。

你还应该为你的复制构造函数编写一个匹配的赋值运算符来做一些不平凡的事情，例如：

B & operator=(B const & rhs)
{
    if (this != &rhs)
    {
        A * tmp = ::new A(*rhs.mA);    // need try/catch in general!
        ::delete mA; // OK, no exception occurred if we got here
        mA = tmp;
    }
    return *this;
}