Hardзначениясемантика

Что такое lvalue, rvalue, xvalue, prvalue, glvalue?

1Постановка

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

2Решение

В C++11 таксономия значений: lvalue — объект с идентичностью, на который можно взять адрес; xvalue (expiring value) — объект с идентичностью, который скоро умрёт (std::move(x)); prvalue — чистое rvalue без идентичности (литерал 42, результат функции по значению).

int a = 10;
int& lref = a;        // a — lvalue
int&& rref = 42;      // 42 — prvalue
int&& moved = std::move(a); // std::move(a) — xvalue
  • glvalue = lvalue ∪ xvalue (имеют идентичность);
  • rvalue = xvalue ∪ prvalue (можно переместить);
  • Ключевое для практики: T&& bind к xvalue и prvalue, что и даёт move-семантику.

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

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

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