复制构造函数和组合

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;
}