隐式生成move构造函数

Question

是否可以隐式生成仅移动类的移动构造函数？ 考虑一个这样的类：

class moveable_only
{
  unique_ptr<int> p_;
};

moveable_only m;
foo(std::move(m));

这不会编译，因为隐式声明的copy构造函数无法复制p_。 （12.8 / 7）

如果类定义未明确声明一个副本构造函数，则将隐式声明一个副本构造函数。 如果类定义声明了move构造函数或move赋值运算符，则隐式声明的copy构造函数将定义为delete； 否则，将其定义为默认值（8.4）。

现在考虑一下：

class moveable_only
{
  unique_ptr<int> p_;

   moveable_only(const moveable_only&);
   moveable_only& operator = (const moveable_only&);
};

moveable_only m;
foo(std::move(m));

由于12.8 / 9，这也无法编译

如果类X的定义未明确声明移动构造函数，则仅当且仅当将隐式声明为默认构造函数。

— X没有用户声明的副本构造函数，

— X没有用户声明的副本分配运算符，

— X没有用户声明的移动分配运算符，

— X没有用户声明的析构函数，并且

— move构造函数不会隐式定义为Delete。

Answer 1

这不会编译，因为隐式声明的copy构造函数无法复制p_。 （12.8 / 7）

不需要复制构造函数。 这不会编译，因为你的编译器似乎并不自动生成一个移动构造函数， 它应该 。

除了自己实现或更新编译器之外，没有其他解决方法。