抑制された移動構文/割り当てを持つ型は、引き続き移動可能とみなされますか？

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型&としてそのパラメータを取るコピー代入演算子を、バインドしますrvalue引数に。

MoveAssignableクラスが移動代入演算子を実装している場合、それはまた、譲渡後のRVの値が指定されていないという事実を利用するために移動セマンティクスを実装することができます。

@Curiousが指摘したように、あなたは移動コンストラクタを宣言し、copyableが移動不能にするために、明示的代入演算子deleteを移動することができます。 rvalue式を使用して、deleteの過負荷が選択され、コンパイルが失敗します。