不理解 Stroustup 先生的建议，删除复制默认值并为抽象类 Shape 移动操作

Didn't understand Mr. Stroustup's suggestion to delete the copy default and move operations for the abstract class Shape

本文关键字：默认值 抽象类 Shape 操作 移动 复制 删除 先生 Stroustup 不理解      更新时间：2023-10-16

我试图理解作者在新书（TCPL第4版）中对3.3.4 Suppressing Operations的建议，但没有效果。

摘录自本书

对层次结构中的类使用默认的复制或移动是通常是一场灾难：只给一个指向基地的指针，我们根本不会知道派生类有哪些成员（§3.3.3），所以我们不知道如何复制它们。因此，最好的做法通常是删除默认的复制和移动操作；也就是说，消除为默认值这两种操作的定义：

class Shape {
public:
    Shape(const Shape&) =delete; // no copy operations
    Shape& operator=(const Shape&) =delete;
    Shape(Shape&&) =delete; //no move operations
    Shape& operator=(Shape&&) =delete;
    ~Shape();
};

现在，试图复制Shape的操作将被编译器捕获。如果你需要复制类层次结构中的对象，编写某种克隆功能（§22.2.4）。

例如，下面的代码不使用Shape(const Shape&) = delete;进行编译，因为clone()函数调用Shape的复制构造函数。

#include <iostream>
class Shape
{
    public:
    virtual ~Shape() {}
    Shape() {}
    Shape(const Shape&) {};
    virtual Shape* clone() const = 0;
};
class Circle: public Shape
{
    public:
    Circle(int i) : a(i) {}
    Circle* clone() const { return new Circle(*this); }
    int a;
};
int main()
{
    Shape* p = new Circle(1);
    Shape* q = p->clone();
    std::cout << dynamic_cast<Circle*>(p)->a << std::endl;
    std::cout << dynamic_cast<Circle*>(q)->a << std::endl; 
}

如果你只有一个指向Shape的指针，那么你不可能制作实际实现的副本——它（很可能）会更大，所以你的副本会被"切片"。在您的示例中，Circle将有一个额外的int a；这不是Shape类的一部分——如果你只是简单地复制一个Shape类对象而不知道它是Circle，就会丢失它（多态性的全部意义是，在泛型函数中处理它时，你不应该"知道"什么对象是什么类型）

为了避免由于意外使用之类的东西而导致的问题

*q = *p;

最好"删除"允许你进行的操作员

然而，由于您所描述的情况需要复制构造函数，因此一种解决方案是将其设为protected，以防止使用它的派生类以外的其他东西，并且可以正常工作。

多亏了下面的robson（还有一个晚上的睡眠），解决方案显然是在Circle中创建一个复制构造函数。Shape没有一个并不意味着派生类中不能有一个

class Circle: public Shape
{
    public:
    Circle(int i) : a(i) {}
    Circle(const Circle& other) { a = other.a; }    // Note this line!
    Circle* clone() const { return new Circle(*this); }
    int a;
};

它之所以尝试使用Shape复制构造函数，是因为您自己的类中没有。你应该！

你也可以这样做（正如罗布森解释的那样）：

class Circle: public Shape
{
    public:
    Circle(int i) : a(i) {}
    Circle* clone() const { return new Circle(a); }
    int a;
};

并且根本不需要复制构造函数。这两种解决方案都解决了"您正试图使用已删除的Shape(const Shape &) constructor。一旦您看到它，这一点就很明显了。

他的意思是，由于潜在的对象切片问题，从外部访问它们是不好的。如果您不需要使类可克隆，那么删除就足够了，否则您可以将其保护为仅在clone()及其后续版本中可访问。

相关文章：