Was kann ich mit einem verschobenen Objekt tun?

Definiert der Standard genau, was ich mit einem Objekt tun kann, nachdem es entfernt wurde? Früher dachte ich, dass alles, was Sie mit einem verschobenen Objekt tun können, es zerstören soll, aber das würde nicht ausreichen.

Nehmen Sie zum Beispiel die Funktionsvorlage swap wie in der Standardbibliothek definiert:

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!
}

Offensichtlich muss eine Zuweisung auf ausgelagerte Objekte möglich sein, sonst würden die Zeilen 2 und 3 versagen. Was kann ich also sonst noch mit verschobenen Objekten machen? Wo genau finde ich diese Angaben in der Norm?

(Übrigens, warum ist es T c = std::move(a); anstatt T c(std::move(a)); in Zeile 1?)

17.6.5.15 [lib.types.movedfrom]

Objekte von Typen, die in der C++-Standardbibliothek definiert sind, können aus (12.8) verschoben werden. Bewegungsoperationen können explizit angegeben oder implizit generiert werden. Sofern nicht anders angegeben, werden solche ausgelagerten Objekte in einen gültigen, aber nicht spezifizierten Zustand versetzt.

Wenn sich ein Objekt in einem nicht spezifizierten Zustand befindet, können Sie jede Operation für das Objekt ausführen, die keine Vorbedingungen hat. Wenn Sie eine Operation mit Vorbedingungen ausführen möchten, können Sie diese Operation nicht direkt ausführen, da Sie nicht wissen, ob der Status „unspecified“ des Objekts die Vorbedingungen erfüllt.

Beispiele für Operationen, die allgemein keine Voraussetzungen haben:

• Zerstörung
• Abtretung
• const Beobachter wie z get, empty, size

Beispiele für Operationen, die allgemein haben Vorraussetzungen:

• Dereferenzierung
• Pop zurück

Diese Antwort erscheint nun im Videoformat hier: http://www.youtube.com/watch?v=vLinb2fgkHk&t=47m10s

Ausgelagerte Objekte befinden sich in einem nicht spezifizierten, aber gültigen Zustand. Das deutet darauf hin, dass das Objekt zwar nicht mehr viel leisten kann, aber alle seine Mitgliedsfunktionen immer noch ein definiertes Verhalten zeigen sollten – einschließlich operator= – und alle seine Mitglieder in einem definierten Zustand – und es muss immer noch zerstört werden. Der Standard enthält keine spezifischen Definitionen, da er für jeden UDT eindeutig wäre, aber Sie können möglicherweise Spezifikationen für Standardtypen finden. Einige ähnliche Container sind relativ offensichtlich – sie verschieben einfach ihren Inhalt und ein leerer Container ist ein wohldefinierter gültiger Zustand. Primitive ändern das Objekt, aus dem es verschoben wurde, nicht.

Randnotiz: Ich glaube schon T c = std::move(a) Wenn also der Move-Konstruktor (oder der Copy-Konstruktor, wenn kein Move angegeben ist) explizit ist, schlägt die Funktion fehl.