在每个不提供用户定义的类中声明显式默认的移动构造函数是一种好习惯吗？

Question

有相当复杂的（对我来说）rules 定义了何时生成隐式默认的移动构造函数以及何时不生成。我担心的是不会生成默认的移动构造函数。另外我担心我（或其他人）将来修改类，隐式移动构造函数会消失。

有一个"advice" 表示“您始终可以显式调用可以使用= default 自动生成的函数的默认生成（这就是语法的用途）”。现在我问：这是个好主意吗？有什么理由不这样做吗？我想如果没有问题，那么我们就不需要默认的移动构造函数，移动构造函数总是会生成。但既然标准定义了如此严格的规则，这样做可能是有原因的。

Answer 1

考虑以下场景。您有一个可以使用自动生成的移动构造函数和析构函数的类：

class X {
      int i_;
   public:
      X(int i) : i_(i) { }
};

然后，将来，您添加一个成员变量，这需要用户定义的复制构造函数和析构函数：

class X {
      int i_;
      char* buf_;
      size_t n_;
   public:
      X(int i, size_t n) : i_(i), n_(n), buf_(new char[n]) { }
      X(const X& o) : i_(o.i_), n_(o.n_), buf_(new char[o.n_]) { memcpy(buf_, o.buf_, n); }
      ~X() { delete[] buf_; }
};

如果移动构造函数在这里是defaulted，那么新的类版本就会出错。

如果没有defaulted 移动构造函数，根据五规则 修改类就可以了，如果 5 个特殊函数之一需要用户定义，其他的也可能需要用户定义。如果需要，您现在必须手动定义移动构造函数。