Wird ein Wert in diesem Fall bewegt wird

Question

den folgenden Ausschnitt Betrachten:

class Bar {...}; 
class Foo { 
    public: 
    Foo(const Bar& bar): bar_(bar) {} 
    private: 
    Bar bar_; 
}; 

int main() { 
    Foo foo({...}); // Passing an rvalue Bar object here. 
} 

Frage: wird das Objekt, das ich in den Foo Konstruktor kopiert werden generiert haben, oder wird es verschoben werden? Genauer gesagt, welche der folgenden Aussagen trifft zu?

• Es wird immer kopiert.
• Es wird immer bewegt (ich bin mir ziemlich sicher, dass es nicht der Fall ist).
• Dies ist ein nicht spezifiziertes Verhalten.

Answer 1

Es wird immer kopiert.

Die rvalue Sie erstellen Bindungen an eine Const Lvalue-Referenz. Aber selbst wenn es an eine rvalue-Referenz gebunden war, konstruieren Sie bar_(bar) aus einem lvalue (bar). Die Wertkategorie des Objekts, das an die Referenz gebunden ist, ist strittig, wichtig ist der Werttyp der Referenz selbst. Und wie bereits erwähnt, ist der Ausdruck bar ein Lvalue.

Als allgemeine und etwas grobe Faustregel ist jeder Ausdruck, der ein Name von etwas ist, ein Lvalue.

Wenn Sie beiden Bewegungen und Kopien in einem Konstruktor unterstützen wollen, der Weg nach vorn zu gehen, ist dies:

Foo(Bar bar): bar_(std::move(bar)) {} 

Jetzt bar kann entweder durch eine Bewegung einer Kopie konstruiert werden, abhängig von der Quelle, und Ihr Mitglied wird aus einem Objekt konstruiert, aus dem Sie sicher aussteigen können. Dies zieht natürlich immer einen zusätzlichen Zug nach sich. Wenn Sie es vermeiden möchten, dann sind zwei c'tors erforderlich:

Foo(const Bar& bar): bar_(bar) {} 
Foo(Bar&& bar): bar_(std::move(bar)) {}