wird zweimal in einem einzigen vollen Ausdruck zu bewegen erlaubt

Question

man annehmen, hat eine Funktion mit dem folgenden Prototyp

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

Die Funktion (eine verschobene Version), um das Objekt zurückgeben kann, die ihm übergeben wurde, oder eine ganz andere Objekt.

Ist es legal C++, diese Funktion wie folgt zu verwenden?

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

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

Wenn ich mich richtig erinnere, gibt es eine C/C++ Regel, die in einem einzigen vollen Ausdruck ein Objekt mehr als einmal verbieten ändern. Gilt diese Regel hier? Wenn ja, gibt es eine Möglichkeit, dieses Idiom in einer einzigen Zeile anders auszudrücken?

Was passiert, wenn man std::unique_ptr durch den verachteten std::auto_ptr ersetzt?

Answer 1

Ist es legal C++, diese Funktion wie folgt zu verwenden?

Ja, das ist in Ordnung.

Wenn ich mich richtig erinnere, gibt es eine C/C++ - Regel, die das mehrmalige Ändern eines Objekts in einem einzigen vollständigen Ausdruck verbietet.

Nicht ganz. Sie können ein Objekt nicht mehr als einmal ändern (oder es ändern und seinen Wert verwenden) mit nicht-sequenziellen Zugriffen.

Gilt diese Regel hier?

Nein. Die Auswertung des Funktionsarguments erfolgt vor dem Funktionsaufruf, der vor der Zuweisung sequenziert wird. Also sind die zwei Zugriffe sequenziert und alles ist gut.