在这种情况下，如何正确实现“operator=”和“copy c'tor”？

Question

鉴于BaseClass 和SomeClass 类（实现operator= 和copy c'tor），我编写了以下类：

class DerivedClass : public BaseClass {
 SomeClass* a1;
 SomeClass* a2;
public:
 // constructors go here …
 ~DerivedClass() { delete a1; delete a2;}
 // other functions go here ...
};

我的问题是：我怎样才能实现DerivedClass 类的operator=？我怎样才能实现这个类的copy c'tor？

我想通过以下方式实现operator=：

DerivedClass& operator=(const DerivedClass& d)  {
if (this==&d) return *this;
SomeClass* tmp1 = new SomeClass (*(d.a1));
SomeClass* tmp2 = NULL;
try {
tmp2 = new SomeClass(*(d.a2));
} catch (const std::exception& e) {
delete tmp1;
throw e;
}
delete this->a1;
delete this->a2;
this->a1 = tmp1;
this->a2 = tmp2;
return *this;
}  

但是我不确定解决方案，特别是BaseClass的字段呢？

另外，如何实现DerivedClass的copy c'tor？我可以用operator= 做吗？

Answer 1

我的建议是您不要实现它们，而是选择the rule of zero。这可以很容易地实现，例如std::shared_ptr（如果可以接受a1 和a2 的共享所有权）。

但如果您必须实现自己的复制构造函数和复制赋值运算符，那么您首先需要调用父类构造函数或运算符，然后再进行自己的复制。

对于构造函数，你使用constructor-initializer列表：

DerivedClass(DerivedClass const& other)
    : BaseClass(other), a1(new SomeClass(*other.a1)), a2(new SomeClass(*other.a2))
{}

a1(new SomeClass(*other.a1) 部分使用其复制构造函数创建一个新的SomeClass 对象，并初始化您的成员a1 以指向新对象。

最后一部分也应该是对复制赋值运算符的提示，因为它也可以在那里使用：

DerivedClass& operator=(DerivedClass const& other)
{
    if (this != &other)
    {
        // First let the parent copy itself
        BaseClass::operator=(other);

        // Deep copy of the members
        delete a1;
        a1 = new SomeClass(*other.a1);

        delete a2;
        a2 = new SomeClass(*other.a2);
    }

    return *this;
}