移動したオブジェクトで何ができますか？

規格は、オブジェクトが移動された後でオブジェクトに対して何ができるかを正確に定義していますか？移動元オブジェクトでできることはそれを破壊することだけだと思っていましたが、それだけでは不十分です。

たとえばswap、標準ライブラリで定義されている関数テンプレートを使用します。

template <typename T>
void swap(T& a, T& b)
{
    T c = std::move(a); // line 1
    a = std::move(b);   // line 2: assignment to moved-from object!
    b = std::move(c);   // line 3: assignment to moved-from object!
}

明らかに、移動元のオブジェクトに割り当てることが可能でなければなりません。そうしないと、2行目と3行目が失敗します。では、移動元オブジェクトで他に何ができるでしょうか？これらの詳細を規格のどこに正確に見つけることができますか？

（ちなみに、なぜ1行目ではT c = std::move(a);なくなのT c(std::move(a));ですか？）

移動元オブジェクトは、指定されていないが有効な状態で存在します。これは、オブジェクトがもう多くのことを実行できない可能性がある一方で、そのすべてのメンバー関数は、定義された動作（operator=定義された状態のすべてのメンバーを含む）を示す必要があり、依然として破壊が必要であることを示唆しています。標準は各UDTに固有であるため、特定の定義はありませんが、標準タイプの仕様を見つけることができる場合があります。コンテナのようなものは比較的明白です—それらはコンテンツを移動するだけで、空のコンテナは明確に定義された有効な状態です。プリミティブは移動元のオブジェクトを変更しません。

補足：T c = std::move(a)moveコンストラクター（またはmoveが指定されていない場合はcopyコンストラクター）が明示的である場合、関数は失敗するためです。

17.6.5.15 [lib.types.movedfrom]

C ++標準ライブラリで定義された型のオブジェクトは、（12.8）から移動される場合があります。移動操作は明示的に指定することも、暗黙的に生成することもできます。特に指定のない限り、そのような移動元のオブジェクトは、有効ですが指定されていない状態に置かれます。

オブジェクトが指定されていない状態にある場合、前提条件のないオブジェクトに対して任意の操作を実行できます。実行したい前提条件を持つ操作がある場合、オブジェクトの未指定状態が前提条件を満たしているかどうかわからないため、その操作を直接実行することはできません。

一般に前提条件を持たない操作の例：

• 破壊
• 割り当て
• 以下のようなconstのオブザーバーget、empty、size

一般に前提条件がある操作の例：

• 逆参照
• pop_back

この回答はここでビデオ形式で表示されます：http : //www.youtube.com/watch?v=vLinb2fgkHk&t=47m10s