Warum kann ich eine Rvalue-Referenz nicht an eine andere Funktion in C++ 11 übergeben?

Question

Ich habe einen Code:

void f(int&& i) { 
    auto lambda = [](int&& j) { (void)j; } 
    lambda(i); 
} 

int main() { 
    f(5); 
} 

Clang ++ gibt einen Fehler: no known conversion from 'int' to 'int &&' for 1st argument

Warum die i seine Art zu int ändert sich, wenn an den lambda() weitergegeben werden?

Answer 1

Es gibt zwei Elemente bei der Arbeit hier i zurück zu rvalue Stimmen:

• Typ: Der Parameter i Typ hat int&& oder „rvalue Verweis auf int ", wobei" rvalue reference "der Name für die &&-Funktion ist, die das Binden von rvalues ​​ an eine Referenz ermöglicht;
• Wertkategorie: Dies ist der Schlüssel. i hat einen Namen und so ist der Ausdruck, der es benennt, ein lvalue, ungeachtet seines Typs oder was der Standardausschuss entschied, diesen Typ zu nennen. :)

_{(Beachten Sie, dass der Ausdruck, die wie i sehen int hat geben, nicht int&&, weil Gründe. Der R-Wert ref verloren, wenn Sie den Parameter verwenden beginnen, es sei denn, Sie so etwas wie std::move verwenden, um Holen Sie es zurück.)}

Answer 2

i ist vom Typ int&&, also vom Typ "rvalue reference to int." Beachten Sie jedoch, dass i selbst ein lvalue ist (weil es einen Namen hat). Und als lvalue kann es nicht an eine "Referenz auf rvalue" gebunden werden.

Um es zu binden, müssen Sie es zurück in einen rvalue, mit std::move() oder std::forward().

Um ein bisschen zu erweitern: Der Typ eines Ausdrucks und seine Wertkategorie sind (weitgehend) unabhängige Konzepte. Der Typ von i ist int&&. Die Wertkategorie von i ist Lvalue.

Answer 3

i ist ein Name, und jedes Objekt, auf das über den Namen zugegriffen wird, ist automatisch ein LValue, obwohl Ihr Parameter als Rvalue-Referenz markiert ist. Sie können mit std::move oder std::forward

void f(int&& i) { 
    auto lambda = [](int&& j) { (void)j; }; 
    lambda(std::move(i)); 
} 

int main() { 
    f(5); 
}