オブジェクトが "移動"できる理由は、コンストラクタの移動と代入演算子の移動が不足していますか？

Question

http://en.cppreference.com/w/cpp/language/rule_of_three

私は数ヶ月前、C++ 11で を始めていると5のルールを見ています。

だから私は、仮想デストラクタを持つすべてのクラスにコピーコンストラクタ/コピー代入演算子/移動コンストラクタ/移動代入演算子をdefaultキーワードで入れ始めました。

このルールでは、明示的なデストラクタを宣言すると、クラスに暗黙的な移動コンストラクタと移動代入演算子がなくなっていると言われたためです。

だから、gccは、移動コンストラクタと移動代入演算子の不足のために、クラスの下で私に文句を言うつもりだと思います。

しかし、うまくいきます！何が起こった？？

class Interface { 
public: 
    virtual ~Interface() = default; // implicit destructor 
}; 

class ImplA : public Interface { 
public: 
    virtual ~ImplA() = default; // implicit destructor 
}; 

ImplA first; 
ImplA second(first);   // copy constructor, OK. understood it. 
ImplA third(std::move(first)); // move constructor, it's OK. Why? 
second = first;    // copy assignment, OK. understood it. 
second = std::move(first); // move assignment, it's also OK. Why? 

Answer 1

だから私は、gccが移動コンストラクタが不足しているため、クラスを下回ると代入演算子を動かすことを私に文句を言うために起こっていると思います。

必要な操作は、コピーコンストラクタとコピー代入演算子を使用して実行できるためです。 Interfaceには、まだコピーコンストラクタとコピー代入演算子があり、implcitly declaredです。値は常にconst Interface&にバインドすることが可能です。かかるコピーコンストラクタ：

はより正確には、移動コンストラクタと移動代入演算子を提供してもなくて、Interfaceは

クラスは、この タイプの要件を満たすために移動コンストラクタを実装する必要はありません、まだMoveConstructibleですconst T&引数 は、rvalue式をバインドできます。

およびMoveAssignable。

タイプがこのタイプの要件を満たすため に移動代入演算子実装する必要はありません。 は、値またはconst Type&としてそのパラメータを取るコピー代入演算子を、右辺値 引数にバインドします。

---

ところで：あなたは移動のコンストラクタを作成して、明示的に両方のコピーを代入演算子deleteを移動し、操作は失敗します移動した場合。 rvalue式を使用すると、明示的に削除されたオーバーロードが選択され、失敗します。移動コンストラクタまたは移動代入演算子の宣言のために、コピーコンストラクタおよびコピー代入演算子が暗黙的に削除として宣言されているため、左辺式での使用も失敗します。