Was garantiert die Standardbibliothek für die Selbstbewegung?

Question

Was sagt der C++ 11-Standard zur Selbstbewegungszuweisung in Bezug auf die Standardbibliothek? Um konkreter zu sein, was ist, wenn überhaupt, garantiert, was selfAssign tut?

template<class T> 
std::vector<T> selfAssign(std::vector<T> v) { 
    v = std::move(v); 
    return v; 
} 

Answer 1

17.6.4.9 Funktionsargumente [res.on.arguments]

1 Jede der folgenden gilt für alle Argumente an Funktionen definiert in der C++ Standardbibliothek, sofern nicht ausdrücklich anders angegeben.

...

• Wenn ein Funktionsargument zu einem R-Wert-Referenzparameter bindet, übernehmen die Implementierung kann, dass dieser Parameter auf dieses Argument eine eindeutige Referenz. [Anmerkung: Wenn der Parameter ein generischer Parameter des Formulars T & & ist und ein Wert vom Typ A gebunden ist, bindet das Argument an eine Wertreferenz (14.8.2.1) und ist somit nicht vom vorherigen Satz abgedeckt. - Endnote] [Hinweis: Wenn ein Programm einen Wert von xvalue an eine Bibliotheksfunktion übergibt (z. B. durch Aufruf der Funktion mit dem Argument move (x)), fragt das Programm diese Funktion effektiv an Behandle diesen Wert als temporär. Die Implementierung ist frei, Aliasing-Prüfungen zu optimieren, die möglicherweise benötigt werden, wenn das Argument anlvalue war. -endnote]

So wird die Umsetzung von std::vector<T, A>::operator=(vector&& other) davon ausgehen darf, dass other ein prvalue ist. Und wenn other ein Prvalue ist, ist Self-move-Zuweisung nicht möglich.

Was geschehen ist wahrscheinlich:

v wird in einer Ressource losen Zustand (0 Kapazität) gelassen werden. Wenn v bereits 0 Kapazität hat, dann ist dies ein No-Op.

aktualisieren

Die latest working draft, N4618 deutlich modifiziert wurde, festzustellen, dass in den MoveAssignable Anforderungen der Ausdruck:

t = rv 

(wo rv rvalue ist), t nur der Äquivalenzwert zu sein braucht von rv vor der Zuweisung, wenn t und rv nicht auf dasselbe Objekt verweisen. Und unabhängig, rv Zustand ist nach der Zuweisung nicht angegeben.Es gibt einen zusätzlichen Hinweis für eine weitere Klarstellung:

rv noch die Anforderungen der Bibliothek Komponente erfüllen muss, die ihn verwendet, ob oder ob nicht t und rv auf das gleiche Objekt beziehen.

Answer 2

Nichts wird passieren. Ein intelligenter Zuweisungsoperator könnte sofort zurückkehren, wenn &other == this. Sonst wird es seine Interna sich selbst zuweisen, nichts tun.