Rvalue-Referenz wird als L-Wert behandelt?

Question

Ich stellte diese Antwort: https://stackoverflow.com/a/28459180/2642059, die den folgenden Code enthält:

void foo(string&& bar){ 
    string* temp = &bar; 

    cout << *temp << " @:" << temp << endl; 
} 

Ist bar ein R-Wert oder ein L-Wert?

Ich frage, weil ich natürlich nicht die Adresse eines rvalue nehmen kann, aber ich kann die Adresse eines rvalue Bezug zu nehmen, wie hier geschehen ist.

Wenn Sie irgendeine Operation an einer rvalue Referenz durchführen können, dass man auf einer L-Wert-Referenz, was der Punkt zwischen den beide mit dem „& &“ statt nur eine „&“ bei der Differenzierung ist?

Answer 1

Ist bar ein R-Wert oder ein L-Wert?

Die Frage beantwortet sich von selbst. Was auch immer einen Namen hat, ist ein Wert ⁽¹⁾. Also bar ist ein Lvalue. Sein Typ ist "rvalue Verweis auf string", aber es ist ein Lvalue dieses Typs.

Wenn Sie es als ein R-Wert behandeln wollen, müssen Sie std::move(), um es anzuwenden.

---

Wenn Sie irgendeine Operation an einer rvalue Referenz durchführen können, dass man auf einer L-Wert-Referenz, was der Punkt zwischen den beide mit dem „& &“ statt nur eine „&“ bei der Differenzierung ist?

Dies hängt von Ihrer Definition von "Ausführen einer Operation" ab. Ein L-Wert-Referenz und ein (benannt) rvalue Referenz sind ziemlich identisch, wie man sie in Ausdrücken verwenden können, aber sie unterscheiden sich viel in dem, was an sie binden können. Lvalues ​​können an lvalue-Referenzen binden, rvalues ​​können an rvalue-Referenzen binden (und alles kann an einen lvalue-Verweis an const gebunden werden). Das heißt, Sie können keinen Rvalue an eine Lvalue-Referenz binden oder umgekehrt.

Reden wir über einen Funktionsparameter von rvalue Referenztyp (wie Ihre bar). Der wichtige Punkt ist nicht, was bar ist, sondern was Sie über den Wert wissen, auf den sich bar bezieht. Da bar eine Rvalue-Referenz ist, wissen Sie sicher, dass, was auch immer daran gebunden ein Rvalue ist. Das bedeutet, dass es zerstört werden muss, wenn der vollständige Ausdruck endet, und Sie können es sicher als einen Rvalue behandeln (indem Sie seine Ressourcen usw. stehlen).

Wenn Sie nicht derjenige, dies zu bar direkt zu tun, sondern wollen nur bar weitergeben müssen, haben Sie zwei Möglichkeiten: Entweder Sie mit bar getan, und dann sollten Sie das nächste sagen, wer es empfängt, es ist an einen rvalue — do std::move(bar) gebunden. Oder Sie müssen mehr Dinge mit bar zu tun, und so wollen Sie nicht, dass jemand zwischendurch seine Ressourcen unter Ihnen zu stehlen, so behandeln sie nur als L-Wert — bar.

Um es zusammenzufassen: Der Unterschied ist nicht in dem, was Sie mit der Referenz tun können, sobald Sie es haben. Der Unterschied ist, was an die Referenz binden kann.

---

⁽¹⁾ Eine gute Faustregel mit kleinen Ausnahmen: Aufzählungen Namen haben, aber sind rvalues. Klassen, Namespaces und Klassenvorlagen haben Namen, sind aber keine Werte.

Answer 2

ist bar ein rvalue oder eine lvalue?

Es ist ein lvalue, wie jeder Ausdruck ist eine Variable, die Namen.

Wenn Sie auf eine rvalue Referenz eine Operation durchführen können, dass man auf eine lvalue Referenz, was der Punkt zwischen den beide mit dem „& &“ statt nur eine „&“ bei der Differenzierung ist?

können Sie nur eine rvalue Referenz mit einem rvalue Ausdruck initialisieren. Sie können also eine temporäre Zeichenfolge an Ihre Funktion übergeben, aber Sie können keine Zeichenfolgenvariable übergeben, ohne explizit von dieser zu wechseln. Dies bedeutet, dass Ihre Funktion davon ausgehen kann, dass das Argument nicht mehr benötigt wird, und sich davon entfernen kann.

std::string variable; 
foo(variable);   // ERROR, can't pass an lvalue 
foo(std::move(variable)); // OK, can explicitly move 
foo("Hello");    // OK, can move from a temporary 

Answer 3

Hier in diesem Fall genannt rvalue Referenzen sind lvalues ​​, während, wenn der Eingangstyp ist konst namens rvalue verweist dann wird es rvalue, hier ist ein einfaches Beispiel :

#include <string> 
#include <iostream> 

void foo(const std::string&& bar) { 
    std::string* temp = &bar; // compile error, can't get address 
    std::cout << *temp << " @:" << temp << std::endl; 
} 

int main() 
{ 
    foo("test"); 
    return 0; 
} 

Hoffe, das ist nützlich.