规范说明

复制、移动和析构的语义密切相关，因此如果需要声明其中一个，则很可能需要考虑其他函数。声明任何复制/移动/析构函数，即使是=default或=delete，也会抑制移动构造函数和移动赋值运算符的隐式声明。即使是以=default或=delete的形式声明移动构造函数或移动赋值运算符，仍会导致隐式生成的复制构造函数或隐式生成的复制赋值运算符被定义为已删除的。因此，一旦声明了其中任何一个，其他函数都应该声明，以避免产生不想要的影响，例如将所有潜在移动变成更昂贵的复制，或使类成为仅可移动的。

例如（不好）：

struct M2 { // bad: incomplete set of copy/move/destructor operations
public:
  // ...
  // ... no copy or move operations ...
  ~M2() { delete[] rep; }
private:
  pair<int, int>* rep; 
  // zero-terminated set of pairs
}; 
void use() 
{
  M2 x;
  M2 y;
  // ...
  x = y;
  // the default assignment
  // ...
}

鉴于“特别关注”需要赋予析构函数（在这里，进行解除分配），隐式定义的复制和移动赋值运算符的正确性的可能性很低（在这里，我们会出现双重删除）。

注：这被称为“五个法则”。

注：如果想要默认实现（同时定义另一个函数），则写=default以表明您正在有意为之。如果不想生成默认函数，请使用=delete进行抑制。

例如（好的）：当仅需要声明析构函数以使其虚拟化时，可以将其定义为默认值。

class AbstractBase {
public:
    virtual void foo() = 0;  // at least one abstract method to make the class abstract
    virtual ~AbstractBase() = default;
    // ...
};

在此处仅定义移动操作或仅定义复制操作将具有相同的效果，但为每个特殊成员显式陈述意图，对读者更加明显。

为防止像C.67进行切片，将复制和移动操作定义为受保护的或=delete，并添加克隆

class CloneableBase {
public:
    virtual unique_ptr<CloneableBase> clone() const;
    virtual ~CloneableBase() = default;
    CloneableBase() = default;
    CloneableBase(const CloneableBase&) = delete;
    CloneableBase& operator=(const CloneableBase&) = delete;
    CloneableBase(CloneableBase&&) = delete;
    CloneableBase& operator=(CloneableBase&&) = delete;
    // ... other constructors and functions ...
};

在这里，只定义移动操作或只定义复制操作会产生同样的效果，但是为每个特殊成员明确地说明意图，会使读者更容易理解。

注：编译器对此规则进行了大部分实施，并在理想情况下警告有关任何违规情况。

注：在具有析构函数的类中依赖于隐式生成的复制操作是不建议的。

注：编写这些函数可能容易出现错误。请注意它们的参数类型：

class X {
public:
    // ...
    virtual ~X() = default;               // destructor (virtual if X is meant to be a base class)
    X(const X&) = default;                // copy constructor
    X& operator=(const X&) = default;     // copy assignment
    X(X&&) noexcept = default;            // move constructor
    X& operator=(X&&) noexcept = default; // move assignment
};

轻微的错误（如拼写错误，遗漏常量，使用&而不是&&或遗漏特殊函数）可能导致错误或警告。为避免繁琐和错误的可能性，请尽量遵循零的规则。

实施：（简单）一个类应该对所有复制/移动/析构函数都有一个声明（即使是=delete）。