si muove due volte in una sola espressione piena ammessi

Question

Si supponga una ha una funzione con il seguente prototipo

template<typename T>  
std::unique_ptr<T> process_object(std::unique_ptr<T> ptr); 

La funzione può restituire (una versione spostato di) dell'oggetto che è stato passato ad esso, o una completamente diversa oggetto.

È legale C++ utilizzare questa funzione come segue?

std::unique_ptr<Widget> pw(new Widget()); 

pw = process_object(std::move(pw)); 

Se ricordo bene, c'è una regola C/C++ che proibisce modifica di un oggetto più di una volta in una singola espressione completa. Questa regola si applica qui? Se sì, c'è un modo per esprimere questo idioma in modo diverso in una singola riga?

Cosa succede se si sostituisce dal disprezzato std::auto_ptr?

Answer 1

È legale C++ utilizzare questa funzione come segue?

Sì, va bene.

Se ricordo correttamente, esiste una regola C/C++ che vieta di modificare un oggetto più di una volta in una singola espressione completa.

Non proprio. Non è possibile modificare un oggetto più di una volta (o modificarlo e utilizzarne il valore) con accessi non eseguiti.

Questa regola si applica qui?

No. La valutazione dell'argomento della funzione è preceduta dalla chiamata della funzione, che viene sequenziata prima dell'assegnazione. Quindi i due accessi sono sequenziati, e tutto va bene.