Come possono essere usati gli oggetti spostati?

Question

Dopo lo spostamento di un oggetto, deve essere distruttibile:

T obj; 
func(std::move(obj)); 
// don't use obj and let it be destroyed as normal 

Ma cos'altro può essere fatto con obj? Potresti spostare un altro oggetto in esso?

T obj; 
func(std::move(obj)); 
obj = std::move(other); 

Questo dipendono dal tipo esatto? (Ad esempio, std :: vector potrebbe fornire garanzie specifiche per le quali non è possibile fare affidamento per tutti i T.) È necessario o persino ragionevole che tutti i tipi supportino qualcosa oltre alla distruzione sugli oggetti spostati da?

Answer 1

Sì, è possibile spostare un altro oggetto in esso. std :: swap fa questo.

Answer 2

Questa è la semantica del tipo. Tu decidi. Spetta a te come implementare la mossa.

In generale, lo stato deve essere uguale a quello ottenuto utilizzando il costruttore non parametrico.

Btw. move ha senso solo se si sta memorizzando un blocco dati dietro un puntatore (o qualche altra classe mobile).

Answer 3

Dipende dal codice classe. Se la classe non ha un costruttore di riferimento di rvalue e un operatore di assegnazione, std :: move viene ignorato. std :: move non sposta nulla, consente solo di trattare il suo argomento come riferimento di rvalue, se è disponibile la funzione appropriata.

Scritto correttamente & & costruttore e operatore = deve lasciare l'istanza del parametro in uno stato coerente, come una stringa vuota, e l'oggetto deve essere utilizzabile. Se c'è operatore =, un altro oggetto può essere assegnato correttamente a tale istanza vuota.

Modifica.

Generalmente, std :: mossa dovrebbe essere utilizzato per applicare semantica di movimento verso variabile non rvalue, ma in realtà è:

 
SomeClass::SomeClass(SomeClass&& v) 
{ 
    // Inside of this function, v is not rvalue anymore. But I know that actually 
    // this is rvalue, and use std::move 
    OtherFunction(std::move(v)); 
} 

In questo caso, il requisito mininal a v è che dovrebbe essere in grado morire senza problemi.

Quando std :: move viene utilizzato per la variabile che non è effettivamente un riferimento di valore, in realtà, questa variabile di utilizzabilità potrebbe non essere definita. Per le mie classi personali, garantirei una certa coerenza per questo caso. Per altre classi, dipende dall'implementazione specifica della classe, ma non applicherei std :: move agli oggetti che non sono effettivamente riferimenti di valore. Non so davvero come questo sia definito (e se sia definito) nello standard.

Answer 4

L'attuale bozza di C++ 0x richiede che un oggetto spostato da possa essere distrutto o assegnato a. Se si passa l'oggetto a una funzione nella libreria standard, è tutto ciò che si assume.

Generalmente è considerata una buona pratica garantire che un oggetto spostato da un oggetto "funzionante" del suo tipo soddisfi tutti gli invarianti. Tuttavia, è in uno stato non specificato --- se si tratta di un contenitore, non si conosce quanti elementi ha o che cosa sono, ma si dovrebbe essere in grado di chiamare size() e empty() e interrogarlo.

La bozza corrente non è chiara su ciò che è richiesto dai tipi di libreria standard stessi, e al riguardo c'è una discussione attiva nel comitato del C++.

Answer 5

Come ho finalmente capito dai commenti. Si dovrebbe verificare: http://www.boost.org/doc/libs/1_44_0/libs/concept_check/concept_check.htm

Ciò consentirà di verificare il tipo fornito come parametri modello per concetti (caratteristiche del tipo). Non sono sicuro che ne abbiano già uno per i dispositivi mobili.