Привет, у меня вопрос по std::move и rvalue/lvalue и правилом склейки ссылок:
1) функция принимает T&&, то есть универсальную ссылку
например:
template<class T>
void foo(T&& var) {var = 2;}
правильно ли я понял:
* lvalue всегда останется lvalue (по правилу склейки) и останется ссылочным типом, что очень логично.
* rvalue (или же lvalue засунутое в std::move и закасченое к rvalue) будет по правилу склейки T&&, но в итоге тип T&& будет интерпретироваться как чистый тип T (что как раз меня путает).
2) Если это верно, то я очень сильно удивлен механизмом - что мы кастим lvalue к rvalue через std::move (то есть делаем из него T&&), которая потом интерпритируется как чистый тип T
Пример:
template<class T>
void foo(T&& var) {var = 2;}
int a = 5;
foo(a);
// a = 2 -> что логично так как 'a' становится int& var.
a = 5; // сделали снова отличным от 2.
foo(std::move(a));
// a = 2 снова, но внутри foo 'a' a обрабатывается не как int&& var, а как чистый тип 'int var', но при этом изменение все равно затрагивает 'a' вне функции foo.
