c++ - 为什么 "default"是复制/移动构造函数或析构函数？

Question

C++0x 允许您将某些函数指定为默认函数:

struct A {
  A() = default;          // default ctor
  A(A const&) = default;  // copy ctor
  A(A&&) = default;       // move ctor
  A(Other);               // other ctor

  ~A() = default;         // dtor

  A& operator=(A const&) = default; // copy assignment
  A& operator=(A&&) = default;      // move assignment
};

这些函数的实现与编译器生成它们一样，在您不声明自己的大多数情况下通常会发生这种情况。

如果您声明任何构造函数(上述任何其他构造函数)，则不会生成默认构造函数，因此您可能需要将其默认为“将其恢复”。

但是，除非基类或数据成员排除它们，否则类总是有一个复制和移动构造函数⁠—⁠如果它们被排除在外，则默认实现将不起作用。一个类总是有一个 dtor。

为什么需要显式默认复制构造函数、移动构造函数或析构函数？无论如何，隐式生成的实现不会做同样的事情吗？

Answer 1

您可能需要执行此操作以将他们的访问权限更改为非公开或控制定义他们的翻译单位。

非公开

尽管这些函数通常是公开的，但您可能希望它们是非公开的，同时仍希望使用默认实现:

struct A {
protected:
  ~A();

private:
  A();
  A(A const&);
  A(A&&);
};

// according to N3092, §8.4.2/2, cannot be non-public and defaulted
// in the class definition
A::~A() = default;
A::A() = default;
A::A(A const&) = default;
A::A(A&&) = default;

可以默认构造、复制和移动此类，但只能由 A 的方法和友元来构造。这对工厂很有用，在工厂中构造可能受到更严格的控制。

protected 析构函数是 public-virtual/protected-nonvirtual guideline 的后半部分对于基类:

Guideline #4: A base class destructor should be either public and virtual, or protected and nonvirtual.

定义控件

此外，默认函数可用于维护稳定的二进制接口(interface)，因为您可以控制默认函数的定义位置。 Defaulted 并不意味着内联，就像隐式声明的版本一样。 (在上面的代码中，默认函数必须不在 header 中或添加了内联说明符。)