Mediumrvaluemove-semantics

Что такое rvalue reference и чем отличается от lvalue reference?

1Постановка

Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.

2Решение

lvalue reference T& привязывается к именованным объектам с адресом (переменные). rvalue reference T&& (C++11) привязывается к временным объектам (результаты функций, литералы 42, временные std::string("hi")).

void f(std::string& s);     // только lvalue
void f(std::string&& s);    // только rvalue
void f(const std::string& s); // и lvalue, и rvalue (но без модификации)

std::string s = "hi";
f(s);                  // lvalue → string&
f(std::string("hi"));  // rvalue → string&&
f(std::move(s));       // rvalue → string&&

Семантически T&& говорит: объект скоро умрёт, можно забрать ресурсы. Ключевое правило: именованный rvalue reference является lvalue — внутри void g(T&& x) переменная x это lvalue, чтобы передать её дальше как rvalue, нужен std::move(x).

3Как отвечать

  • Сначала уточните условия и ограничения, покажите аналитическое мышление.
  • Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
  • Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡

На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.