Konstruktor auf abgeleitetem Objekt verschieben

Question

Wenn Sie ein abgeleitetes Objekt mit einem Verschiebungskonstruktor haben und das Basisobjekt auch Verschiebungssemantik hat, wie kann der Verschiebungskonstruktor des Basisobjekts aus dem Konstruktor des abgeleiteten Objekts move aufgerufen werden?

Ich habe versucht, die naheliegendste Sache zuerst:

Derived(Derived&& rval) : Base(rval) 
{ } 

jedoch diese Copykonstruktor des Basisobjekts aufrufen, um am Ende zu sein scheint. Dann habe ich versucht ausdrücklich std::move hier verwendet wird, wie folgt aus:

Derived(Derived&& rval) : Base(std::move(rval)) 
{ } 

Das funktionierte, aber ich bin verwirrt, warum es notwendig ist. Ich dachte, std::move gibt nur eine R-Wert-Referenz. Aber da in diesem Beispiel rval bereits eine rvalue-Referenz ist, sollte der Aufruf an std::move überflüssig sein. Aber wenn ich std::move hier nicht verwende, ruft es nur den Kopierkonstruktor auf. Warum ist der Anruf an std::move notwendig?

Answer 1

rval ist kein Rvalue. Es ist ein Lvalue innerhalb des Körpers des Move-Konstruktors. Deshalb müssen wir std :: move explizit aufrufen.

Siehe this. Die wichtige Anmerkung ist

Hinweis oben, dass das Argument x ist als L-Wert im Inneren der Bewegungsfunktionen behandelt, obwohl es als rvalue Referenz Parameter deklariert ist. Deshalb ist es notwendig zu sagen, move (x) statt nur x, wenn übergibt an die Basisklasse. Diese ist eine wichtige Sicherheitsfunktion der Bewegung Semantik entwickelt, um zu verhindern, versehentlich zweimal von einigen benannte Variable bewegen. Alle Bewegungen erfolgen nur von rvalues, oder mit einem expliziten Cast zu rvalue wie mit std :: move. Wenn Sie einen Namen für die Variable haben, ist ein Lvalue.

Answer 2

Sie sollten wirklich std :: forward (obj) anstelle von std :: move (obj) verwenden. Forward gibt den richtigen rvalue oder lvalue zurück, basierend auf dem was obj ist, während move einen lvalue in einen rvalue umwandelt.