具有抑制移动构造/分配的类型如何仍被认为是可移动的？

Question

struct copyable { // and movable
  copyable() = default;
  copyable(copyable const&) { /*...*/ };
  copyable& operator=(copyable const&) { /*...*/ return *this; }
};

由于复制构造函数和复制赋值操作函数是显式定义的，这意味着移动构造函数和移动赋值函数不能被编译器隐式定义，因此不允许移动操作。

请问我上面的理解是否正确？

Answer 1

表示移动构造函数和移动赋值函数不能被编译器隐式定义

是的，没错。

因此不允许移动操作。

不，移动操作仍然可以通过复制构造函数和复制赋值操作符执行（尽管这可能不是您期望的情况），因为右值总是可以绑定到const&。

更准确地说，copyable 类仍然是 MoveConstructible 和 MoveAssignable 。

类不必实现移动构造函数来满足这种类型要求：接受 const T& 参数的复制构造函数可以绑定右值表达式。

如果 MoveConstructible 类实现了移动构造函数，它还可以实现移动语义以利用构造后 rv 的值未指定这一事实。

和

该类型不必实现移动赋值运算符来满足此类型要求：通过值或作为 const Type& 获取其参数的复制赋值运算符将绑定到右值参数。

如果 MoveAssignable 类实现了移动赋值运算符，它还可以实现移动语义以利用赋值后 rv 的值未指定这一事实。

正如@Curious 所指出的，您可以显式声明移动构造函数和移动赋值运算符delete 以使copyable 不可移动；然后使用右值表达式，将选择deleteed 重载并且编译将失败。