Question

我知道有很多关于这个主题的帖子，但我找不到任何完全回答我的问题。

假设我有一个Base类和一个Derived类，我为它实现了CCtor和赋值运算符，如下所示：

class Base {
    char * name;
    ....
    Base(const Base& other) :name(nullptr) { *this = other }
    void operator=(const Base& other) { ... Deep copy of name } 
}


class Derived : public Base {
.... 
    Derived(const Derived& other) { *this = other ; }
    void operator=(const Derived& other) {
        Base::operator=(other);
        .....
    }

现在我对这个设计有一些疑问。

这是适合这种情况的设计吗？
如果我有第三个类，在基类和派生类之间，但它只包含原始类型，我应该在哪里复制它们？例如。使用第二类的默认赋值运算符？建立一个新的？只在第三级复制它们？
我可以类似地在派生类CCtor中调用基类CCtor，而不是赋值运算符。有什么不同？如果我将它们放在两种方法中，它会尝试复制两次值吗？

编辑：只是为了澄清，设计是我在项目中给出的。我有指针，所以我必须使用深层复制。

Answer 1

这是适合这种情况的设计吗？

不，通常不会。更惯用的方法是停止手动管理像char* name这样的内存并使用std::string或其他能做正确事情的类型：

Class Base {
    std::string name;
    ....
    Base(const Base& other) = default;
    Base& operator=(const Base& other) = default;
};

（请注意，赋值运算符应返回对类的引用，而不是void）。

或者将内存管理封装在专门为此目的的类设计中（但std::string已经是那种类型）。

如果你真的真的需要以愚蠢的错误方式做到这一点，那么实现你的复制构造函数进行复制：

    Base(const Base& other) { / * deep copy of name */ }

然后将赋值实现为copy-and-swap：

    Base& operator=(const Base& other)
    {
      Base tmp(other);
      this->swap(tmp);
      return *this;
    }

这意味着你需要一个廉价的非投掷swap(Base&)成员函数。

在任何情况下，派生类型的复制构造函数都很愚蠢。你有一个正确的基类复制构造函数，所以它应该是：

Derived(const Derived& other) : Base(other) { }

分配可以使用基本分配：

Derived& operator=(const Derived& other)
{
   Base::operator=(other);
   return *this;
}

但是手动编写这些是不必要的，你可以默认它的复制操作，无论如何都会做正确的事情：

class Derived : public Base {
public:
    Derived(const Derived&) = default;
    Derived& operator=(const Derived& ) = default;

如果我有一个第三类，在基类和派生类之间，但它只包含基本类型，我在哪里复制它们？例如。使用第二类的默认赋值运算符？建立一个新的？只在第三级复制它们？

您还应该使用= default定义该类的复制构造函数和赋值运算符。一旦你使Base安全地以正确的行为进行复制，组成其他类来使用它是微不足道的。默认行为将是正确的事情。如果您需要对RAII类型无法正确管理的动态分配内存等特殊处理，您只需手动定义这些操作。

我可以类似地在派生类CCtor中调用基类CCtor，而不是赋值运算符。有什么区别？

如果要复制构造，则使用复制构造函数，而不是赋值。使用正确的功能。

在派生类中使用基类Copy CTOR

1 个答案: