Warum erstellt C++ nicht standardmäßig rValue-Referenzen?

Question

sagen, dass ich die folgende Funktion

void doWork(Widget && param) // param is an LVALUE of RRef type 
{ 
    Widget store = std::move(param); 
} 

Warum muss ich param zurück zu einem R-Wert mit std::move() werfen müssen? Sollte es nicht offensichtlich sein, dass der Typ param rvalue ist, da er in der Funktionssignatur als R-Wert-Referenz deklariert wurde? Sollte hier nicht automatisch der Move-Konstruktor nach diesem Prinzip aufgerufen werden?

Warum passiert das nicht standardmäßig?

Answer 1

mit Ihrem Design:

void doWork(Widget && param) 
{ 
    Widget store1 = param;  // automatically move param 
    Widget store2 = param;  // boom 

    Widget store_last = param; // boom  
} 

mit aktuellem Design:

void doWork(Widget && param) 
{ 
    Widget store1 = param;    // ok, copy 
    Widget store2 = param;    // ok, copy 

    Widget store_last = std::move(param); // ok, param is moved at its last use 
} 

Der Moral ist hier, dass selbst wenn Sie einen rvalue Bezug haben Sie dafür einen Namen haben, was bedeutet, Sie verwenden können, es mehrmals. Daher können Sie es nicht automatisch verschieben, da Sie es für eine spätere Verwendung benötigen könnten.