В очередной раз убедился, что мое понимание ссылок C++ оставляет желать... Вот посмотрим простой пример:
void DoString(string&& str) { }
. . .
DoString("I'm an rvalue string");
Все прекрасно компилируется, как и должно. Теперь попробуем так:
string s { "I'm an lvalue string" };
DoString(s);
Ошибка компиляции (как и должно быть):
error C2664: 'void DoString(std::string &&)': cannot convert argument 1 from 'std::string' to 'std::string &&'
note: You cannot bind an lvalue to an rvalue reference
Теперь попробуем сделать чуть сложнее:
string&& rs = string("I'm an rvalue string");
DoString(rs);
Та же самая ошибка компиляции, что и выше! Не могу сконвертировать аргумент из std::string
в std::string &&
блаблабла. Но ведь rs
- это rvalue. И если навести на нее курсор, студия показывает тип std::string &&
. Откуда вылезло lvalue?
Была мысль, что это потому, что rs
- ссылка на x-value, а не на pr-value. Однако функция std::move
тоже возвращает ссылку на x-value, но при этом вызов
DoString(std::move(s));
прекрасно компилируется.
Так что вопросы у меня появились такие:
1) Что происходит при присваивании string&& rs = string("I'm an rvalue string");
?
2) Что такое rs
и каким образом в виде аргумента функции она превращается в lvalue?