Cosa posso fare con un oggetto spostato?

Lo standard definisce esattamente cosa posso fare con un oggetto dopo che è stato spostato? Pensavo che tutto ciò che puoi fare con un oggetto spostato è distruggerlo, ma ciò non sarebbe sufficiente.

Ad esempio, prendi il modello di funzione swapcome definito nella libreria standard:

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

Ovviamente, deve essere possibile assegnare agli oggetti spostati, altrimenti le linee 2 e 3 fallirebbero. Quindi cos'altro posso fare con gli oggetti spostati? Dove posso trovare esattamente questi dettagli nello standard?

(A proposito, perché è T c = std::move(a);invece che T c(std::move(a));nella riga 1?)

Gli oggetti spostati esistono in uno stato non specificato, ma valido. Ciò suggerisce che mentre l'oggetto potrebbe non essere più in grado di fare molto, tutte le sue funzioni membro dovrebbero comunque esibire un comportamento definito - incluso operator=- e tutti i suoi membri in uno stato definito - e richiede comunque la distruzione. Lo standard non fornisce definizioni specifiche perché sarebbe unico per ogni UDT, ma potresti essere in grado di trovare specifiche per i tipi standard. Alcuni contenitori simili sono relativamente evidenti: spostano semplicemente il loro contenuto e un contenitore vuoto è uno stato valido ben definito. Le primitive non modificano l'oggetto spostato.

Nota a margine: credo sia T c = std::move(a)che se il costruttore di mosse (o il costruttore di copie se non viene fornito alcun movimento) è esplicito, la funzione fallirà.

17.6.5.15 [lib.types.movedfrom]

Gli oggetti dei tipi definiti nella libreria standard C ++ possono essere spostati da (12.8). Le operazioni di spostamento possono essere specificate in modo esplicito o generate in modo implicito. Se non diversamente specificato, tali oggetti spostati devono essere collocati in uno stato valido ma non specificato.

Quando un oggetto si trova in uno stato non specificato, è possibile eseguire qualsiasi operazione sull'oggetto che non ha precondizioni. Se è presente un'operazione con le condizioni preliminari che si desidera eseguire, non è possibile eseguire direttamente tale operazione poiché non si sa se lo stato non specificato dell'oggetto soddisfa le condizioni preliminari.

Esempi di operazioni che generalmente non hanno precondizioni:

• distruzione
• Incarico
• osservatori const quali get, empty,size

Esempi di operazioni che generalmente hanno precondizioni:

• dereference
• pop_back

Questa risposta ora appare in formato video qui: http://www.youtube.com/watch?v=vLinb2fgkHk&t=47m10s