Witam !
Oglądałem wideo o uniwersalnej referencji w c++, i był tam przykład
void foo(Bar&& b) {
std::move(b);
}
Było powiedziane ,że trzeba użyć std::move() do konwersji wartości lewostronnej do wartości prawostronnej bo tak naprawę b jest wartością lewostronną.
Czy mógłby mi Ktoś wytłumaczyć dlaczego Bar&& b jest wartością lewostronną skoro typ Bar&& wskazuje na wartość prawostronną ?
Z góry dziękuje !
Jako że niedawno sam się na to nadziałem: https://4programmers.net/Forum/C_i_C++/322368-problem_z_stdfuture_i_qt?p=1565886#id1565886
W poszukiwaniu wyjaśnienia znalazłem coś takiego: https://stackoverflow.com/questions/3106110/what-are-move-semantics
Ten move jest bezsensu w tym miejscu i nic nie robi!
to ma sens:
void foo(Bar &&b)
{
b.doSomething();
if (b.somthing()) {
foo(std::move(b));
} else {
b.doSomething();
}
}
Bar b;
// foo(b); // error r-value expected
foo(std::move(b));
// b is invalid here
https://isocpp.org/blog/2012/11/universal-references-in-c11-scott-meyers
Bar && b nie wskazuje na wartość prawostronną; && oznacza tzw. "rvalue reference", czyli referencję do której możemy przypisać wartość prawostronną.
move(b) to tylko cast i tak naprawdę to samo co (Bar&&)b, więc samo w sobie użyte jako statement absolutnie nic nie robi.