Wie konvertiert std::move() L-Werte in R-Werte in C?

Erweitertes Verständnis der Konvertierung von std::move in R-Werte

In C spielt std::move() eine entscheidende Rolle bei der Konvertierung von Ausdrücken zu R-Werten (Rechtswertreferenzen). Die Umsetzung kann jedoch verwirrend sein. Ziel dieses Artikels ist es, ein klares Verständnis der Verschiebungsfunktion und ihres Verhaltens sowohl bei l-Werten als auch bei r-Werten zu vermitteln.

Implementierung von std::move()

Der std Die Funktion ::move(), wie sie in der MSVC-Standardbibliothek implementiert ist, akzeptiert ein R-Wert-Referenzargument (&&) und gibt eine R-Wert-Referenz zurück. Dadurch kann std::move() sowohl L-Werte (Linkwertreferenzen) als auch R-Werte effektiv verarbeiten.

R-Wert-Bindung

Wenn std::move() ist Bei Aufruf mit einem R-Wert, beispielsweise einem temporären Objekt, bindet der Referenzparameter _Arg direkt an den R-Wert. Dies ist unkompliziert, da eine R-Wert-Referenz an einen R-Wert gebunden werden kann.

L-Wert-Bindung

Wenn std::move() mit einem L-Wert aufgerufen wird, wird der _Arg-Referenzparameter verwendet bindet an eine L-Wert-Referenz (Object&). Dies wirft die Frage auf, wie eine R-Wert-Referenz an einen L-Wert gebunden werden kann.

Referenzkollaps

Um dieses Verhalten zu verstehen, müssen wir die Regeln von C 11 für das Referenzkollabieren berücksichtigen . Diese Regeln besagen:

Object & & = Object &
Object & && = Object &
Object && & = Object &
Object && && = Object &&

Gemäß diesen Regeln ist Object& && äquivalent zu Object&, einer einfachen L-Wert-Referenz, die an L-Werte gebunden werden kann.

Wirkung von „remove_reference“.

std::move() verwendet std::remove_reference, um alle vorhandenen zu entfernen Referenzen vom Typ des Arguments, was zu einem Typnamen tr1::_Remove_reference::_Type führt. Dadurch wird sichergestellt, dass der zurückgegebene Wert immer eine R-Wert-Referenz ist, unabhängig von der Art des Arguments.

Vorteile der Implementierung

Die Implementierung von std:: move() bietet mehrere Vorteile:

• Es ermöglicht eine perfekte Weiterleitung, indem sowohl l-Werte als auch r-Werte an die gebunden werden können Argument.
• Es stellt sicher, dass der zurückgegebene Wert immer eine R-Wert-Referenz ist, was für die Bewegungssemantik in C unerlässlich ist.

Schlussfolgerung

Das obige ist der detaillierte Inhalt vonWie konvertiert std::move() L-Werte in R-Werte in C?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!