1

有什么方法可以隐式生成仅移动类的移动构造函数?考虑这样一个类:

class moveable_only
{
  unique_ptr<int> p_;
};

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

这不会编译,因为隐式声明的复制构造函数不能复制 p_。(12.8/7)

如果类定义没有显式声明复制构造函数,则隐式声明。如果类定义声明了移动构造函数或移动赋值运算符,则隐式声明的复制构造函数定义为已删除;否则,它被定义为默认值(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 没有用户声明的析构函数,并且

— 移动构造函数不会被隐式定义为已删除。

4

1 回答 1

4

这不会编译,因为隐式声明的复制构造函数不能复制 p_。(12.8/7)

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

除了自己实现或更新编译器之外,没有其他办法。

于 2012-11-21T15:54:04.990 回答